Content deleted Content added
No edit summary |
|||
Line 1:
{{Transformation rules}}
{{Redirect|Material equivalence}}
In [[propositional calculus|propositional logic]], '''biconditional introduction''' is a [[validity|valid]] [[rule of inference]]. It makes it possible to introduce a [[logical biconditional|biconditional]] into a [[formal proof|logical proof]]. If the statement that ''A implies B'' and also the statement that ''B implies A'' both appear in a proof, then one may introduce the statement ''A [[if and only if]] B'' or formally, ''(A ↔ B)''.
| |||