- PORTADA
- Introducción
- Unidad I. Lógica de Proposiciones
- Unidad II. Lógica de Predicados
- Unidad III. Programación Lógica
- Unidad IV. Álgebra de Boole y Circuitos Lógicos
- Evaluación General
- Glosario
- Referencias bibliográficas
- Créditos
1.3.3.2 Contradicciones
|
Son aquellas formulas que son falsas para cualquier valoracion de los simbolos proposicionales que contiene.[3]
*A es una contradicción, si es falsa para todas las combinaciones de valores de las variables que ocurren en A.
Un ejemplo sencillo es la conjunción p ˄ ¬p:
|