Un tratamiento algebraico de la Lógica proposicional
DOI:
https://doi.org/10.15381/tesis.v10i11.18678Palabras clave:
Lógica proposicional, Interpretación algebraica, Álgebra de Boole, Reducción algebraicaResumen
Se traduce el lenguaje lógico proposicional a un lenguaje algebraico. Para ello establece dos correspondencias fundamentales, la que existe entre la verdad (V) y el cero (0) y la que relaciona la falsedad (F) con el uno (1). Estas correspondencias establecen el equivalente algebraico de cada uno de los operadores de la lógica proposicional y, a su vez, permiten reducir por medios algebraicos cualquier fórmula de lógica proposicional. Si la fórmula en cuestión es tautológica, su versión algebraica es reductible a 0; si la fórmula es contradictoria, su versión algebraica es reductible a 1 y si la fórmula es contingente, su versión algebraica no se reduce ni a 0 ni a 1, sino a una expresión de menor extensión que admite entre los valores de su matriz algebraica por lo menos un 0 y por lo menos un 1.
Descargas
Publicado
Número
Sección
Licencia
Derechos de autor 2017 Miguel Ángel Merma Mora
![Creative Commons License](http://i.creativecommons.org/l/by/4.0/88x31.png)
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.
LOS AUTORES RETIENEN SUS DERECHOS:
a. Los autores retienen sus derechos de marca y patente, y también sobre cualquier proceso o procedimiento descrito en el artículo.
b. Los autores retienen el derecho de compartir, copiar, distribuir, ejecutar y comunicar públicamente el artículo publicado en la revista Tesis (Lima) (por ejemplo, colocarlo en un repositorio institucional o publicarlo en un libro), con un reconocimiento de su publicación inicial en la revista Tesis (Lima).
c. Los autores retienen el derecho a hacer una posterior publicación de su trabajo, de utilizar el artículo o cualquier parte de aquel (por ejemplo: una compilación de sus trabajos, notas para conferencias, tesis, o para un libro), siempre que indiquen la fuente de publicación (autores del trabajo, revista, volumen, numero y fecha).