Can I read Signos en Lógica Proposicional on EtoBox?

Signos en Lógica Proposicional by Rafael Oberto Casanova Chacin is a document available to read on EtoBox.

What is Signos en Lógica Proposicional about?

Este documento presenta una introducción al cálculo proposicional. Explica que el cálculo opera símbolos de acuerdo con unas reglas. Define el vocabulario, las reglas de formación y las reglas de interpretación. Describe los diferentes signos proposicionales como la negación, conjunción, disyunción, implicación y equivalencia. Finalmente, explica que las reglas de formación establecen qué fórmulas son bien formadas y las reglas de interpretación asignan valores de verdad a las fórmulas.

Author

Rafael Oberto Casanova Chacin

Language

ES