Biconditional Elimination Right
Forward
- Select a biconditional
- Select an available instance of the formula on its left side
- Click "Apply"
Forward, Adding Antecedent as Goal
- Select a biconditional
- Click "Apply"
Preview shown for the Point And Click derivation type in the OLI system
