Tabla de resumen de las equivalencias tautológicas

En el siguiente cuadro aparecen todas las equivalencias tautológicas que ya conocemos en forma tanto de leyes como de regla de inferencia. Al presentar las reglas de inferencia hemos preferido utilizar, convencionalmente, las letras mayúsculas A, B, C, etc. para dar a entender de una forma más clara que cualquiera de dichas letras puede ser ocupada por un enunciado atómico, o por uno molecular (es decir, por otra fórmula).

Denominación Ley Regla de inferencia
Doble negación p↔¬(¬p)
  • A
  • ¬(¬A)
Propiedad conmutativa de la conjunción p∧q↔q∧p
  • A∧B
  • B∧A
Propiedad conmutativa de la disyunción p∨q↔q∨p
  • A∨B
  • B∨A
Propiedad asociativa de la conjunción p∧(q∧r)↔(p∧q)∧r
  • A∧(B∧C)
  • (A∧B)∧C
Propiedad asociativa de la disyunción p∨(q∨r)↔(p∨q)∨r
  • A∨(B∨C)
  • (A∨B)∨C
Leyes de DeMorgan ¬(p∧q)↔(¬p)∨(¬q)
  • ¬(A∧B)
  • (¬A)∨(¬B)
¬(p∨q)↔(¬p)∧(¬q)
  • ¬(A∨B)
  • (¬A)∧(¬B)
Definición del implicador p→q↔¬p∨q
  • A→B
  • ¬A∨B
Contrarrecíproco del implicador p→q↔¬q→¬p
  • A→B
  • ¬B→¬A
Definición del coimplicador p↔q↔(p→q)∧(q→p)
  • A↔B
  • (A→B)∧(B→A)