Krisley Farias Combinación de los enunciados

Tautología: son todos verdaderos

CI. 29.992.832

Fórmulas Proposicionales Fórmula bien formada que Se clasifican en Contradicción Los resultados son falsos
tiene un valor de verdad

Indeterminación Resultados son verdaderos y

falsos al mismo tiempo.
fórmula bien formada que no tiene
Fórmulas atómicas
una estructura formal más profunda. Se produce cuando se combina el adverbio no con la presencia de
Doble Negación otros elementos que tienen también sentido negativo.

Es aquel cuya premisa mayor establece una disyunción exclusiva, de manera que los
formadas combinando las fórmulas atómicas Silogismo Disyuntivo dos miembros no pueden ser simultáneamente verdaderos, ni simultáneamente falsos
Fórmulas moleculares
usando las constantes lógicas

Permite reemplazar una expresión con otra si Silogismo Hipotetico Es una regla de inferencia válida
Fórmulas Equivalentes
ambas generan la misma tabla de verdad.
Modus Tollendo Tollens Si P implica Q, y Q no es cierto, entonces P no es cierto

Modus Ponendo Ponens Si P implica Q; y si P es verdad; eliminación del "o", abreviado ∨E

Modus Tollendo Ponens
entonces Q también es verdad
Leyes de Equivalencia Leyes de Morgan Leyes de Distribución Leyes de Conmutación Leyes de Asociación
﹁(p∧q)≡﹁p∨﹁q ﹁(p∨q)≡﹁p∧﹁q
p∨(q∧r)≡(p∨q)∧(p∨r) p∧(q∨r)≡(p∧q)∨(p∧r) p∨q≡q∨p p∧q≡q∧p (p∨q)∨r≡p∨(q∨r) (p∧q)∧r≡p∧(q∧r)

Leyes de la lógica El principio de identidad (“A” = “A”)

El de razón suficiente (Para cada proposición P, si P es cierta,
El de contradicción (“A” no es igual a “no A”) entonces hay una explicación suficiente de por qué "P es cierta“)

El de tercero excluido (A es B o no B”)