ARGUMENTOS, DEDUCCIONES O RAZONAMIENTOS Un argumento o razonamiento es un conjunto de frmulas denominadas premisas P 1 , P 2 , P 3 , . . . . .

, P n y supuestas siempre verdaderas y otra frmula llamada conclusin Q , cuya verdadad se sigue de la verdad de las premisas. Se simboliza de cualquiera de las siguientes fromas:

P1 P2 P1, P2, P3, . . . . . , Pn Q

o

P1, P2, P3, . . . . . , Pn Q

P3 Pn Q

Un argumento se reconoce como vlido (deduccin correcta), cuando no existe el caso de que la conclusin sea falsa y las premisas verdaderas. Si se diera el caso mencionado el argumento es no vlido, o como se dice una falacia

Ejemplo 1. (Regla de separacin "Modus ponens")

P2 Q P1 P1: P2: Q: pq p q p V F F q F V F pq V F V V
No existe el caso en que siendo las premisas verdaderas

V V

la conclusin sea falsa

Nota. La validez de un argumeto no depende de los valores de verdad ni del contenido de las afirmaciones que aparecen en l, sino de la forma particular en que se estructura. EJERCICIOS Ejercicio 1. Determinar la validez de los siguientes argumentos comparando su estructura con la estudiada en el ejemplo 1 Si el 6 es un nmero par, entonces es divisible entre 2. El 6 es un nmero par Por lo tanto es divisible entre 2 Si el nmero 7 es par, entonces es divisible entre 2 El siete es un nmero par Por lo tanto es divisible entre 2 Si las vacas vuelan, tenemos que usar sombreros grandes Las vacas no vuelan Por lo tanto, no tenemos que usar sombreros grandes

Ejercicio 2. En el caso de que alguno de los razonamientos del ejercicio 1 no corresponda a la estructura validada, verificar mediante una tabla si la nueva estructura es vlida o no. Ejercicio 3. (Regla de silogismo) Analiza la validez del siguiente razonamiento Si un hombre es soltero, es infeliz Si un hombre es infelz, entonces muere pronto Si un hombre es soltero, entonces muere pronto Ejercicio 4 (Regla del Modus tollens) Cuando piensas negativamente, Tus metas se escapan Pero t alcanzas tus metas Por lo tanto, piensas positivamente

Ahora bien, las proposiciones P 1 , P 2 , . . . . . , P n son simultaneamente verdaderas, siempre y cuando

P 1 P 2 . . . P n es verdadera. As el argumento P 1 , P 2 , P 3 , . . . . . , P n Q es vlido si y solo si Q es verdadera cuando P 1 P 2 . . . P n es verdadera, o de manera equivalente si la frmula asociada al argumento P 1 P 2 . . . P n Q es una tautologa.
Ejercicio 5. Demostrar si los siguientes razonamientos son vlidos, empleando la frmula asociada

p q, q p
Argumento

es lo mismo que p

q q p
Frmula asociada

p q, q p

p q, p r, q s r s
Una vez terminados los ejercicios, realiza una lista de los argumentos vlidos. Estos y otros que se presentan a continuacin se denominan reglas del razonamiento natural y los emplearemos para validar razonamientos mas complejos.

REGLAS DEL CLCULO NATURAL

CONJUNCION ELIMINACION CONJUNCION INTRODUCCION DISYUNCION INTRODUCCION

AB A

A B AB
SILOGISMO IDENTIDAD CARGA DE PREMISA

A AB

AB BC AC
CONMUTATIVA

A A

A BA

ASOCIATIVA

DISTRIBUTIVA

AB BA
CONMUTATIVA

A B C A B C
ASOCIATIVA

A B C A B A C
DISTRIBUTIVA

AB BA
IDEMPOTENCIA

A B C A B C
IDEMPOTENCIA

A B C A B A C
ABSORCIN ABSORCIN

AA A
MODUS PONENS

AA A
MODUS TOLLENS

A A B A A B A
CONTRARECPROCA

AB A B
DOBLE NEGACIN

AB B A
CONTRADICCIN

AB B A

TOLLENDO PONENS

A A

A A B

AB B A

IMPLICACION/DISYUNCION

LEY DE MORGAN

LEY DE MORGAN

AB AB

A B A B
DILEMA

A B A B

AB AC BD CD
INTRODUCCION () ELIMINACIN

()

ELIMINACIN ()

AB BA AB

AB AB

AB BA

EJEMPLOS DE ARGUMENTOS Y PROCEDIMIENTOS DEMOSTRATIVOS

1. Bicondicional o doble implicacin

Un lquido es un cido si y solo si colorea de azul el papel tornasol rojo. Un lquido colorea de azul el papel tornasol rojo si y solo si contiene iones de hidrgeno libres. Por tanto, Un lquido es un cido si y solo si contiene iones de hidrgeno libres.

2. Dilema o Silogismo disyuntivo:

O Juan y Jos tienen la misma edad, o Juan es mayor que Jos. Si Juan y Jos tienen la misma edad, entonces Pedro y juan no tienen la misma edad. Si Juan es mayor que Jos, entonces Juan es mayor que mara. Por lo tanto, o Pedro y Juan no tienen la misma edad o Juan es mayor que Mara.

3. Morgan Modus tollens

Si juan cometi el crimen, es que no estaba en el apartamento de la vctima o sali antes de las 11. Si sali antes de las 11, entonces el portero lo vi. l estaba en el apartamento y el portero no lo vi. Por lo tanto, Juan no cometi el crimen

4. Introduccin de la disyuncin qt qr r ts

5. Premisa auxiliar pq r s r t su pu 6. Demostracin indirecta t s sp f t s e sf pm t em 7. El siguiente razonamiento no es vlido, dar una asignacin de valores de verdad que demuestre su invalidez p q q rp r PRCTICA
Determinar la validez de los siguientes razonamientos empleando las reglas derivadas del clculo natural:

1. P1 :Si hago mis tareas, aprendo la leccin P2 :Si no tengo que salir hoy da, entonces hago mis tareas P3 :No aprendo la leccin a menos que quiera estudiar P4 :Si no quiero aplazarme, necesariamente no tengo que salir hoy da P5 :Pero no voy ha estudiar. Q :Me vale!!, me aplazo 2. P1 :Una de dos: o x es menor que z, o bien x es igual a z P2 : Si x es igual a z, necesariamente z no es igual a 5 P3 :Si x no es igual a 4, entonces no ocurre que x sea menor que z y z sea igual a 5 P4 : Pero, z es igual a 5 Q : Luego x es igual a 4 3. P1 : O la lgica es dificil o no le gusta a muchos estudiantes P2 : Si la matemtica es fcil, entonces la lgica no es dificil Q : Si a muchos estudiantes les gusta la lgica, la matemtica no es fcil 4. P1 :Si Cristina est en lo cierto, entonces Marcos est equivocado P2 :Si Marcos est equivocado, entonces Pablo tambin est equivocado P3 :Si Pablo est equivocado, entonces las mujeres son ms inteligentes P4 :Las mujeres no son ms inteligentes o estos hombres son tontos P5 :Cristina est en lo cierto Q : Estos hombres son tontos

5. p r Teorema de Leibniz q s p q r s 6. p q r r q s t s t p 7. P1 :Todo nmero entero o es primo o es compuesto P2 :Si es compuesto, es un producto de factores primos, y si es un producto de factores primos es divisible por ellos P3 :Pero si el nmero entero es primo, no es compuesto aunque es divisible por si mismo y por la unidad,sinembargo
tambin es divisible por nmeros primos.

Q :Por consiguiente, todo nmero entero es divisible por nmeros primos. 8. p q, q r s , p r s 9. p q r, q r, r s p s 10. p q r , t, p q s t , p r s x 5 x y x 3 z 2 z x y 1 x y z 2 11. x 5 x 3 z x x 4 y 1 x 3 z 2 x 4 x 1 x 1 x 1 x 1 x 1 12. y 3 y 3 y 3 y x y 3 y x y x x 1 13. Si no ocurre que si un objeto flota en el agua entonces es menos denso que el agua; entonces se puede caminar
sobre el agua. Si un objeto es menos denso que el agua, entonces puede desplazar una cantidad de agua igual a su propio peso. Si puede desplazar una cantidad de agua igual a su propoio peso, entonces el objeto flotar en el agua. Pero no se puede caminar sobre el agua. Por tanto, un objeto flotar en el agua si y solo s es menos denso que el agua.

14. P 1 : z y x P 2 : v y x P 3 : z v u t P 4 : u s t r P 5 : p s q r P 6 : y x Q : p q 15. P 1 : p q s r P 2 : p t u s P 3 : p t Q : r u 16. Cul de las siguientes proposiciones: aJuan es amigo de Pepe b Pepe llega tarde

Es una consecuencia lgica del conjunto de premisas descrito abajo?: No llueve y, sin embargo, hace sol Si no llueve, hace sol slo si la partida es el viernes y, o Juan es amigo de Pepe o Pepe no llega tarde. O Juan es amigo de Pepe y Pepe llega tarde, o hace sol. No ocurre que la partida sea el viernes haciendo sol, a menos que llueva o Juan sea amigo de Pepe.

17. Demuestra la validez de los siguientes razonamientos por la demostracin indirecta (reduccin al absurdo) pq rp
a.

x 1 x 1 x 1 x 1 x 1
b.

z y x v y x z v u t
c.

r s r t ts qu

y 3 y 3 y 3 y x y 3 y x y x x 1

u s t r p s q r y x p q

18. Formalizar el siguiente argumento y empleando el mtodo de deduccin natural responder y demostrar las
preguntas propuestas: Si alguien bebe whisky, no conduce auto Si no conduce auto, no provoca accidentes No bebe cerveza a menos que provoque un accidente Bebe whisky a. Es consecuencia lgica de las premisas anteriores que bebi cerveza ? b. Y, La afirmacin de que no provoca accidentes?

19. Demostrar que el siguiente argumento no es vlido, empleando los supuestos valores de verdad de las premisas y
conclusin

p qr q p s r ps 20. Demostrar, empleando los supuestos valores de verdad de las premisas y conclusin, que Un nio recibe un
caramelo, solo si llora no es una consecuencia lgica del conjunto de premisas: El nio no llora, pero se re. Si no llora, re solo si tiene un juguete. No ocurre que tenga un juguete rindose, a menos que reciba un caramelo.

21. Determinar la validez de los siguientes razonamientos: a. P 1 : a c d P 2 : b c d P 3 : m n a b P 4 : m s P 5 : n r P 6 : p s q r P7 : c d Q : p q b. (Sugerencia: Traduce al lenguaje formal empleando solo 4 proposiciones)
Si una persona siempre se gua por su sentido de obligacin, entonces deber quitarse algunos placeres de la vida, y si esa persona est guiada solo por sus intereses, su concepto de amistad dejar mucho que desear. Las personas siempre estn guiadas por su sentido de obligacin o solo por sus intereses. Si una persona siempre est guiada por su sentido de la obligacin, entonces entender adecuadamente el concepto de amistad. Y si est guiada solo por sus intereses, entonces no dejar ningn placer sin probar. Por lo tanto, una persona deber quitarse algunos placeres de la vida, si tiene claro el concepto de amistad