El método de prueba para los teoremas de “Si y sólo si” se encuentra en la ley(P↔C)⇔((P→C)∧(C→P)). De ahí que para probar una de...El método de prueba para los teoremas de “Si y sólo si” se encuentra en la ley(P↔C)⇔((P→C)∧(C→P)). De ahí que para probar una declaración de “Si y sólo si” se debe probar una declaración de “si.
