Lógica proposicional
Fórmulas contigentes
Las contradicciones
Son fórmulas que independientemente de la valoración de sus fórmulas atómicas son falsas. Un ejemplo de ello es la proposición:
V | F | F |
F | V | F |
Las tautologías
Son fórmulas que independientemente de la valoración de sus fórmulas atómicas son verdaderas. Un ejemplo de ello es la proposición:
V | F | V |
F | V | V |
Obra publicada con Licencia Creative Commons Reconocimiento Compartir igual 4.0