Tarea 1: Aplicacin de las leyes de inferencia.

Distribucin DISTR

Se aplican cuando se tienen dos conectivos diferentes: conjuncion-disyuncion o

bien disyuncion-conjuncion. Distribuye a la proposicin fuera del parntesis con
las que estn dentro de este.
[( ) ^ ] [( ^ ) ( ^ )
[( ^ ) )] [( ) ^ ( )
Exportacin EXP

Cambia de conectivo de conjuncin a condicional cuando el antecedente es

una conjuncin, y los agrupa de diferente manera al dejar el primer conjuntivo
como antecedente de toda la preposicin y pasar el segundo conjuntivo al
consecuente de la proposicin como parte de otra condicional.
[( ^ ) ] [ ( )]

Por contraposicin: Permite permutar los trminos de cualquier

Proposicin, pero con la condicin de anteponer una negativa a cada una
de las Proposiciones.

Ejemplos:
Todo espaol es europeo, Ningn no europeo es espaol.
Algunos americanos no son brasileos, Algunos no brasileos son
americanos.
Todo justo es prudente, Todo no prudente es no justo.
Ningn Mamfero es inmortal, Todo inmortal es no Mamfero.

https://argumentosdevalides.wordpress.com/
http://jhmurua.blogspot.com.co/2010/10/inferencias.html
 A. Estudiar en la modalidad a Distancia en la UNAD es una metodologa educativa
que realmente forma profesionales competentes, pues se debe ser muy
disciplinado con los hbitos de estudio adquiridos para cumplir con las actividades
acadmicas, pero con la ventaja de que al usar las tecnologas facilita la
comunicacin entre los diferentes protagonistas del proceso de formacin
acadmico. Carolina se ha esforzado por mantener un slido hbito de estudio,
pero hay momentos en que el cansancio la vence, el siguiente relato es algo que
le ocurri un da: Si me mandas la gua de actividades por mensajera interna del
curso, entonces terminar de realizar las demostraciones. Si no me mandas la gua
de actividades por mensajera interna, me ir a la cama temprano. Y si me voy a
la cama temprano, me levantar descansada. Por lo tanto, si no acabo de realizar
las demostraciones, me levantar descansada. (Gmez, 2015)

SOLUCION
Declaracin de las proposiciones simples,
p: me mandas la gua de actividades por mensajera interna del curso.
q: terminar de realizar las demostraciones.
r: me ir a la cama temprano.
s: me levantar descansada.
Expresin formal del razonamiento:
[( ) ( ) ( )] ( )
1 Premisa 1
2 Premisa 2
3 Premisa 3

Conclusin

Supongamos que la conclusin es falsa

:
:

V F F

Es decir que el valor de verdad de es falso y valor de verdad de es

falso.

Lo cual para que la premisa 3 sea verdadera el valor de verdad de es

falso, entonces

F V F
Ahora para que la premisa 2 se verdadera necesariamente el valor de
verdad de es verdadero lo cual

F V F
Finalmente llegamos a un absurdo porque se haba definido que el valor
de verdad de es verdadero y el valor de verdad de es falso, lo cual

V F F

B. Johanna est planteando una situacin problmica para su ensayo del curso de
Matemticas financiera de la UNAD, para lo cual hace la siguiente cita bibliogrfica: Si
hay una situacin de crisis econmica, el ndice de natalidad disminuye. Si avanza la
medicina, las expectativas de vida sern mayores. Si el ndice de natalidad disminuye y
las expectativas de vida se hacen mayores, entonces la sociedad ir envejeciendo
rpidamente. La crisis econmica es un hecho y los avances en la medicina son
constantes. Luego, la sociedad envejecer con rapidez. (Gmez, 2015).1
 SOLUCIN

La estructura del enunciado corresponde a un razonamiento Inductivo.

PREMISAS
PREMISA 1: Si hay una situacin de crisis econmica, el ndice de Natalia disminuye.
PREMISA 2: Si avanza la medicina, las expectativas de vida sern mayores.
PREMISA 3: Si el ndice de natalidad disminuye y las expectativas de vida sehacen
mayores, entonces la sociedad ir envejeciendo rpidamente.
PREMISA 4: La crisis econmica es un hecho y los avances en la medicina son
constantes
CONCLUSIN
La sociedad envejecer con rapidez.

Identificacin de las proposiciones simples:

p: Hay una situacin de crisis econmica.
q: El ndice de natalidad disminuye.
r: Avanza la medicina.
s: Las expectativas de vida se hacen mayores.t: La sociedad envejece rpidamente.
CONCLUSIN
Premisas en lenguaje simblico:
PREMISA 1:

PREMISA 2:

PREMISA 3: ( )

PREMISA 4:
CONCLUSIN: t
 [[( ) ( )] [( ) ] ( )]

La anterior tabla nos arroja una tautologa, entonces el razonamiento es vlido, pero
obtenemos una contradiccin.
Toda contradiccin es la negacin de una tautologa, y toda tautologa es la negacin de
una contradiccin. Siguiendo la muestra anterior, al negar la contradiccin obtenemos
una tautologa:

Reglas de inferencia
1 Premisa 1
2 Premisa 2
3 ( ) Premisa 3
4

Conclusin
5 Simplificacin en 4
6 Simplificacin en 4
7 Ponendo Ponens en 5 y 1
8 Ponendo Ponens en 6 y 2
9 Adjuncin 7 y 8

La reduccin al absurdo demuestra la falsedad de una afirmacin deduciendo de ella alguna

contradiccin.

Tarea 4: Creatividad en la proposicin de situaciones de la vida cotidiana.

(( )( )()) ( )

El grupo colaborativo debe convertir el anterior argumento en lenguaje natural

de tal forma que la informacin o el mensaje que deseen expresar tenga sentido
lgico (Es decir deben hacer lo contrario de la tarea 2 y 3, ya que las anteriores
tareas, se presentaban en lenguaje natural y el propsito es convertirlo en
lenguaje simblico).

Finalmente, deben demostrar que el anterior argumento es vlido a travs de:

Uso de las tablas de verdad.

Uso de las leyes de inferencia.
Uso del mtodo de reduccin al absurdo.
Uso del simulador Truth Table.
p = estudiar

q = aprobar

r = salir de copas

s = quedarse sin vacaciones

Si estudio apruebo

Si no salgo de copas estudio

Apruebo o me quedo sin vacaciones

Luego si no apruebo me quedo sin vacaciones



y de eso se deduce

==>

A eso se reduce todo el argumento.

La demostracin es que si se cumpliera

entonces tanto como son falsas luego

es falsa

con lo cual

sera verdadero y falso a la vez y sera absurdo.

(( > )&(~ > )&( + )) > (~ > )

https://es.scribd.com/doc/290673720/57-TrabajoColaborativo-Tres-2
https://es.scribd.com/doc/291600233/320-TrabajoColaborativoUno
http://boardreader.com/ lgica matematicas