Tautología

Las tautologías son identidades lógicas que siempre serán verdaderas, no son solo un útil objeto en la lógica son usadas primordialmente para pruebas sentenciales, desempeñan un papel fundamental en los procesos de la deducción dentro de esta lógica (sentencial).
Ejemplo:
La expresión ‘(p ^ q) → (p v r)’ es una tautología.

Contradicción

Si una proposición compuesta es falsa para todas las asignaciones entonces es una contradicción. Son formulas sentencialmente contra-validas o de tercer grado. Ejemplo:
P ∧ ¬P (se lee: P y no P). Su tabla de verdad es la siguiente.

Contingencia

Se utilizan para hacer circuitos de control y automatismo, surgen cuando en dos proposiciones, su equivalencia es verdadera y falsa a la vez. Ejemplo:
A^(BVC)

About these ads