Leyes del Algebra de las Proposiciones.

Las llamadas leyes lógicas o principios lógicos vienen a ser formas proposicionales tautológicas de carácter general y que a partir de estas se pueden generar otras tautológicas.

Leyes de Indepotencia.

Leyes Asociativa

Leyes Conmutativas

Ley de Identidad

Leyes de Complementación

Leyes de Morgan

Leyes Distributivas

Leyes de absorción.

Leyes del Condicional

Leyes del Bicondiconal