Can I read Teoremas y Deducciones en Lógica Proposicional on EtoBox?

Teoremas y Deducciones en Lógica Proposicional by Efaniz Martinez is a document available to read on EtoBox.

What is Teoremas y Deducciones en Lógica Proposicional about?

El documento presenta fundamentos de la lógica proposicional, incluyendo reglas de deducción y propiedades del cálculo proposicional de Kleene. Se discuten teoremas y proposiciones que demuestran cómo se pueden derivar ciertas fórmulas y se incluyen ejemplos de deducciones. Además, se plantean ejercicios para reforzar la comprensión de los conceptos expuestos.

Author

Efaniz Martinez

Language

ES