Un tratamiento algebraico de la Lógica proposicional

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.