Identity Elimination

How to apply =E

1. Select =E from the Elim Rules menu in the ToolBox.
   Show me
2. Select the formula in which you want to replace a term with its equivalent in the Fitch.
   Show me
3. Select the identity in the Fitch.
   Show me
4. Select the text area in the instantiation pane of the ToolBox and enter the formula you want to derive using the keyboard.
   Show me
5. Click on the Apply Rule button in the ToolBox.
   Show me

Troubleshooting

If you're having trouble applying =E, click on the statement below that best describes the problem you're having.