Vamos a enumerar las principales leyes lógicas que nos permiten trabajar sobre expresiones complejas con varias proposiciones. Básicamente son leyes que rigen la Lógica Proposicional. Las enumeramos agrupadas según el número de proposiciones, añadiendo un último bloque con las condicionales.

La lista de leyes está basada en el primer capítulo del libro «Lenguaje matemático: conjuntos y números» de los autores Miguel Delgado Pineda y María José Muñoz Bouzo.