Besonderhede van voorbeeld: -5585273996129618311

English

The rule makes it possible to introduce a biconditional statement into a logical proof.

Spanish

En otras palabras, esta regla permite introducir un enunciado bicondicional en una prueba lógica.