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) |
|
| Propiedad conmutativa de la conjunción | p∧q↔q∧p |
|
| Propiedad conmutativa de la disyunción | p∨q↔q∨p |
|
| Propiedad asociativa de la conjunción | p∧(q∧r)↔(p∧q)∧r |
|
| Propiedad asociativa de la disyunción | p∨(q∨r)↔(p∨q)∨r |
|
| Leyes de DeMorgan | ¬(p∧q)↔(¬p)∨(¬q) |
|
| ¬(p∨q)↔(¬p)∧(¬q) |
|
|
| Definición del implicador | p→q↔¬p∨q |
|
| Contrarrecíproco del implicador | p→q↔¬q→¬p |
|
| Definición del coimplicador | p↔q↔(p→q)∧(q→p) |
|