Lógica proposicional
Contenidos
Conceptos básicos
¿Qué es el Cálculo Proposicional Clásico (CPC)? => es un sistema simbólico de la Lógica Clásica.
El CPC sigue estos principios:
- Bivalencia: cada fórmula recibe dos valores absolutos (verdadero o falso).
- No-contradicción: dada una fórmula y su negación, una de ellas es falsa.
- Tercero excluido: dada una fórmula y su negación, una de ellas es verdadera.
- Identidad: si una fórmula es verdadera, entonces es verdadera.
Obra publicada con Licencia Creative Commons Reconocimiento Compartir igual 4.0