Basic Rules
| Intro | Elim | |
 |
 |
  |
 |
  |
 |
 |
 |
 |
 |
 |
 |
 |
 |
|
 |
 |
  |
 |
 |
 |
 |
 |
 |
 |
 |
 |
Derived Rules
 |
 |
 |
 |
 |
 |
 |
|
 |
 |
 |
|
 |
 |
 |
 |
 |
 |
| Other derived rules... | |
Making Assumptions
Changing Scope