LEYES DEL LGEBRA DE PROPOSICIONES:

Definicin:
Son Equivalencias Lgicas que nos permiten reducir esquemas moleculares complejos y
expresarlos en forma ms sencilla.
Tambin son llamadas leyes lgicas, y representan formas proposicionales en la que si
se sustituyen sus variables por los enunciados correspondiente el resultado ser una
proposicin lgicamente verdadera.
Con fundamento en el contenido de la definicin de ley lgica se evidencia la relacin
de est con las tautologas: toda tautologa es una ley lgica.

Las leyes de la algebra de proposiciones son equivalencias

lgicas que se pueden demostrar con el desarrollo de las
tablas de verdad del bicondicional. Las leyes del algebra de
proposiciones son las siguientes: