TAUTOLOGA

Las tautologas son identidades lgicas que siempre sern verdaderas, no son
solo un til objeto en la lgica son usadas primordialmente para pruebas
sentenciales, desempean un papel fundamental en los procesos de la deduccin
dentro de esta lgica (sentencial).
Ejemplo:
La expresin (p ^ q) (p v r) es una tautologa.

CONTRADICCIN
Si una proposicin compuesta es falsa para todas las asignaciones entonces es
una contradiccin. 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)