Recordemos que dadas dos proposiciones lógicas formula_11 y formula_12, entonces formula_13 es cierta exactamente cuando lo es formula_14 (es decir, formula_11 y formula_12 son proposiciones equivalentes).