Principio de Dualidad: si P y Q son dos proposiciones lógicamente equivalentes que contienen sólo los conectiv, y escribiremos Ps lógicos not, or, and entonces los duales de ambas proposiciones también son equivalentes entre sí.