Biconditional Elimination/Also known as

Theorem

Some sources refer to the Biconditional Elimination as the rule of Biconditional-Conditional.

This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.