Rule of Top-Introduction/Tableau Form

From ProofWiki
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$