Saltar la navegación

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:

  1. Bivalencia: cada fórmula recibe dos valores absolutos (verdadero o falso).
  2. No-contradicción: dada una fórmula y su negación, una de ellas es falsa.
  3. Tercero excluido: dada una fórmula y su negación, una de ellas es verdadera.
  4. Identidad: si una fórmula es verdadera, entonces es verdadera.