Argumentos y Pruebas en Lógica

Argumento

• Lista de fórmulas.• La última es la conclusión.• Las demás son las premisas, hipótesis,

suposiciones.• Ejemplo:

1. P R2. R3. P

Argumentos válidos

• Distinguir un argumento válido de uno que no lo es.

• Procedimiento: tabla de verdad, renglones críticos.

• Ejemplo:1. P R2. R3. P

Ejemplos

• Indique cuales opciones contienen argumentos invalidos:

1. p q, ~q ~p 2. p q, p ∨ ~q, p r, r 3. p ~q ∧ r, q p, q ∨ p, r 4. p q, ~p, ~q

Formas de argumentos válidos• Modus Ponens

1. P Q2. P3. Q

• Modus Tollens1. P Q2. ~Q3. ~P

Identificar MP, MT

• Ejemplo 1– Si no se descompone mi carro, es muy bueno para

carretera.– Se descompuso mi carro.

• Ejemplo 2– Tengo carro nuevo– Solo los carros nuevos no se descomponen

Otras formas válidas

– Silogismo: • pq, qr, pr

– Simplificación Conjuntiva: • pq, p

– Amplificación Disyuntiva: • p, pq

Otras formas válidas

Silogismo Disyuntivo: pq, ~p, q

División en casos: pq, pr, qr, r

Falacias

• Malos argumentos comunes– Si la ciudad de México es una metrópoli, debe

haber grandes edificios. Efectivamente, en México hay grandes edificios, por tanto es una metrópoli.

– Si te portas bien, te llevaré al cine. No te portaste bien, por lo tanto no te llevaré al cine.

Ejemplo

• Determine si el siguiente es un argumento válido o una falacia, y cual es:

– Si voy al cine, no acabaré la tarea. Si no termino la tarea, me irá mal en el examen. Por lo tanto, si voy al cine, me irá mal en el examen.

Ejemplos

• Si este número es mayor que 2, su cuadrado será mayor que 4. Pero este número no es mayor que 2. Por lo tanto su cuadrado no es mayor que 4.

• Sandra conoce tanto COBOL como C. Por lo tanto Sandra conoce C.

• Este número es racional o es irracional. Pero se puede probar que no es racional. Por lo tanto este número es irracional.

Ejemplos

• Si al menos uno de estos dos números es divisible entre 6, entonces su producto es divisible entre 6 también. Pero ninguno de estos números es divisible entre 6. Por lo tanto, su producto no es divisible entre 6.

• Sólo hay arcoiris cuando llueve con sol. Pero ahora no llueve con sol. Por lo tanto no puede haber arcoiris.

Argumentos compuestos

• Las conclusiones de un argumento pueden ser usados como premisas de otro.

• Asi se pueden hacer “deducciones” o “pruebas” de varios pasos para justificar una conclusión

Ejemplo

• Premisas:– H1: p

– H2: p ~q

– H3: ~q ~rConclusión:C: ~r

1. p…………H1

2. p ~q…. H2

3. ~q ……….Modus ponens aplicado en 1. y 2.

4. ~q ~r…H3

5. ~r ……….Modus ponens aplicado en 3. y 4.

H1: p

H2: p ~q

H3: ~q ~r

C: ~r

Ejemplo

Ejemplo

• Premisas:– H1: p r

– H2: r s

– H3: t ~s

– H4: ~t u

– H5: ~u

Conclusión:C: ~p

H1: p rH2: r sH3: t ~sH4: ~t uH5: ~u C: ~p

1. ~u…………. H5

2. ~t u …….. H4

4. t ~s ………H3

3. ~t ………….Silogismo disjuntivo con 1. y 2.

5. ~s ………... Silogismo disjuntivo con 3. y 4.

7. ~r ………… Modus tollens con 5. y 6.6. r s ……... H2

8. p r …….. H1

9. ~p ……….. Modus tollens con 7. y 8.

Ejemplo

Resumen de reglas

• P Q, P, Q (modus ponens)

• P Q, ~Q, ~P (modus tollens)

• P, P Q (amplific. disyuntiva)

• P Q, P (simplif. conjuntiva)

• P, Q, P Q (conjunción)

• P Q, ~Q, P (silogismo disyunt.)

• P Q, Q R, P R (silogismo)

• P Q, P R, Q R, R (casos)

Llenar los blancos…• P1 : p q, P2 : ¬p s, C: q s∨ ∨ ∨

• 1 _______________ hipótesis 1 • 2. ¬p → q _____________• 3. ¬p s hip∨ ótesis 2 • 4. s ¬p ______________∨• 5. ¬s → ¬p _____________• 6. ___________ silogismo hip. con 5 y 2 • 7. ¬ (¬s) q equiv. de implicaci∨ ón en 6 • 8. s q ley doble negaci∨ ón en 7

Opciones:

• 1. ¬s −→ q • 2. propiedades conmutativas en 3 • 3. equiv. de implicación en 1 • 4. p q ∨• 5. equiv. de implicación en 4

Argumento válido y pruebas

• No es lo mismo que un argumento sea válido a que exista una prueba

• : es deducible de .– Se verifica con una prueba

• : es consecuencia de – Se verifica con tablas de verdad en CP

Ejemplo

• Probar que: p q, ¬p s |= q s∨ ∨ ∨

• Probar que: p q, ¬p s |- q s (ya se hizo)∨ ∨ ∨