Justification for Deducing Biconditionality

[iconoclass]

Let us say that I want to prove the biconditional a ↔ b. At some point in proof, I show a → b, and at some other

Comments

[just_you_wait]

"Biconditional Introduction"