Equivalencias en Lógica Proposicional

Hola chicos, acá les dejo una lista de equivalencias útiles en lógica de proposiciones.

-Involución: – (-p) óp

-Idempotencia: (p ^ p)óp *

-Asociatividad: (p ^ q) ^ róp ^ (q ^ r) *

-Conmutatividad: (p ^ q)ó(q ^ p) *

-Caracterización de la Implicación: (P => q) ó -p  v  q

-Simplificación: (p ^ q) óp

-Adición: p óp v q

-Conjunción con una Tautología: p ^ T ó p

-Disyunción con una Tautología: p v T ó T

-Conjunción con una Contradicción: p ^ C óC

-Disyunción con una Contradicción: p v C óp

-Leyes de De Morgan: - (p ^ q) ó -p v -q  y  - (p v q) ó -p ^ -q

*También son válidas para la disyunción.