Linked from

The 2 pages that link to Biconditional introduction, each with the reason it gives.

• Conditional proofCompared with: It requires two conditional proofs, one in each direction.

• Conjunction introductionCompared with: It requires two conditional proofs rather than two propositions as direct premises.