Rule of Top-Introduction/Tableau Form
Jump to navigation
Jump to search
Proof Rule
In a tableau proof, the Rule of Top-Introduction is invoked as follows:
| Pool: | Empty | ||||||||
| Formula: | $\top$ | ||||||||
| Description: | Rule of Top-Introduction | ||||||||
| Depends on: | Nothing | ||||||||
| Discharged Assumptions: | None | ||||||||
| Abbreviation: | $\top \II$ |