Identity Introduction

How to apply =I

1. Select =I from the Intro Rules menu in the ToolBox.
   Show me
2. Select the text area in the instantiation pane of the ToolBox and enter the identity you want to derive using the keyboard. Recall that this identity must have the same term as both arguments of the identity predicate.
   Show me
3. Click on the Apply Rule button in the ToolBox.
   Show me

Troubleshooting

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