GUÍA DE LÓGICA.

1. ¿Cuáles son los tipos de tabla de verdad?

 Tautología (todas verdaderas)
 Contradictoria (todas falsas)
 Contingencia (mezcla de verdaderas y falsas)
2. ¿Cuáles son los pasos para construir una tabla de verdad?
 Primer paso: se aplica la fórmula 2n, en donde “n” es el número de premisas diferentes
de la proposición. Esto nos servirá para saber cuántas filas necesitaremos en nuestra
tabla.
 Segundo paso: colocamos las premisas de nuestra proposición en orden alfabético. Si
una de las premisas se encuentra negada, primero se coloca afirmada y luego con la
negación.
 Tercer paso: para comenzar a resolver nuestra tabla, tenemos una regla que nos dice
que en la primera columna la mitad de las casillas será verdadera y la otra mitad será
falsa. En las demás columnas será verdadera la mitad de la mitad de las columnas
anteriores.
Para resolver casillas donde se encuentren dos o más premisas, nos auxiliamos de las
casillas que contienen esas premisas de forma individual, utilizando los valores de verdad
(conjunción, disyunción, condicional, bicondicional y negación).
3. ¿Qué es el MODUS PONENDO PONENS?
Es el método que nos dice que cuando afirmamos el antecedente de una proposición, afirmamos
el consecuente de la misma.
4. ¿Qué es el MODUS TOLLENDO TOLLENS?
Es el método que nos dice que, negando el consecuente de una proposición, podemos negar al
antecedente de esta.
5. ¿Qué es el MODUS TOLLENDO PONENS?
Es la regla que nos dice que, negando cualquier miembro de una proposición, se afirma el otro
miembro.
6. ¿Qué nos permite el método de la adjunción?
Nos permite pasar de las dos premisas a la conclusión.
7. ¿Qué nos permite el método de la simplificación?
Nos permite pasar de una conjunción a cada una de las dos partes que están unidas por “^”.
8. ¿En dónde se aplica cada uno de los métodos mencionados anteriormente?
 El MODUS PONENDO PONENS y el MODUS TOLLENDO TOLLENS se aplican a las
condicionales.
 El MODUS TOLLENDO PONENS se aplica a las disyunciones.
 La adjunción y la simplificación se aplican a las conjunciones.