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
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).