Biconditional Elimination/Also known as
Jump to navigation
Jump to search
Theorem
Some sources refer to the Biconditional Elimination as the rule of Biconditional-Conditional.
Some sources refer to the Biconditional Elimination as the rule of Biconditional-Conditional.