Guía de reposición de Lógica simbólica

No saldrás a jugar si no estudias y no haces la tarea. Ni has hecho la tarea ni has estudiado.

¿Que puedo concluir?

• Harás la tarea

• Estudiarás

• Saldrás a jugar

• No saldrás a jugar.

Todos los lados de un cuadrado son iguales.

¿Qué podemos concluir?

• Todos los lados de un cuadrado son iguales.

• No es cierto que todos los lados de un cuadrado no son iguales.

• No son iguales los lados de un cuadrado.

• Los cuadrados no tienen lados iguales

Si no hay carbono y no hay oxígeno y no hay nitrógeno y no hay hidrógeno, entonces no hay vida. Hay vida.

¿Qué podemos concluir?

• No hay carbono y no hay oxígeno y no hay nitrógeno y no hay hidrógeno.

• Hay vida.

• Hay carbono y hay oxígeno y hay nitrógeno y hay hidrógeno

• No hay vida.

Honduras es un país empobrecido por la corrupción o por la guerra. No es un país empobrecido por la guerra.

¿Qué puedo concluir?

• Honduras es un país empobrecido por la corrupción.

• Honduras es un país empobrecido por la guerra.

• Honduras no es un país empobrecido.

• En Honduras no hay corrupción.

Se utiliza para transformar conjunciones en disyunciones, y a la inversa.

• Modus Tollendo Ponens

• Silogismo hipotético

• Leyes de De Morgan

• Adjunción

A partir de dos fórmulas condicionales, donde el consecuente de la primera es el antecedente de la segunda, se obtiene una condicional formada por el antecedente de la primera y el consecuente de la segunda.

• Modus Ponendo Ponens

• Silogismo Hipotético

• Modus Tollendo Tollens

• Modus Tollendo Ponens

¿Qué se obtiene si aplicamos leyes de De Morgan a la siguiente proposición?

¬¬ S ⋀ ¬T

• $¬\left(¬S\ \wedge\ T\right)$

• $¬\left(¬S\ \vee\ T\right)$

• $¬S\ \vee\ T$

• $¬¬\left(S\ \vee\ ¬T\right)$

Es cuando al hacer un análisis en tablas de verdad todos los resultados son verdaderos.

• Tautología

• Indeterminación

• Contradicción

• Falsificación

Si tengo una condicional entre dos proposiciones y se niega el consecuente.

¿Qué debo concluir?

• El consecuente

• La negación del antecedente

• El antecedente

• La negación del consecuente

Si se aprueba el nuevo código penal, va a haber más impunidad. Si va a haber más impunidad los corruptos seguirán robando y no irán presos.

¿Qué podemos concluir?

• Si se aprueba el nuevo código penal los corruptos seguirán robando y no irán presos. Por MPP

• Si se aprueba el nuevo código penal los corruptos seguirán robando y no irán presos. Por SH

• Si se aprueba el nuevo código penal, va a haber más impunidad. Por SH

• Si va a haber más impunidad los corruptos seguirán robando y no irán presos. Por MTT