Cálculo Proposicional

En la lógica matemática, el cálculo proposicional es un sistema formal en el cual las fórmulas de un lenguaje (natural o formal) pueden reinterpretarse y representar proposiciones y se le llama cálculo por consistir de un grupo de axiomas y reglas de inferencia que nos permiten derivar determinadas fórmulas.

En este apartado encontrarás material relacionado, como apuntes del autor del libro en el que nos basamos, así como las notas que usamos en la clase—El despliegue puede tardar por el tamaño grande del archivo.