Biconditional Introduction/Also known as
Jump to navigation
Jump to search
Proof Rule
Some sources refer to the Biconditional Introduction as the rule of Conditional-Biconditional.
Some sources refer to the Biconditional Introduction as the rule of Conditional-Biconditional.