+ Rules for classical propositional logic Introduction rules Elimination rules This table follows the custom of using Greek letters as schemata, which may range over any formulas, rather than only over atomic propositions. The name of a rule is given to the right of its formula tree. For instance, the first introduction rule is named , which is short for "conjunction introduction".
+ Rules for classical propositional logic Introduction rules Elimination ru.les This table follows the custom of using Greek letters as schemata, which may range over any formulas, rather than only over atomic propositions The name of a rule is given to the right of its formula tree. For instance, the first introduction rule is named , which is short for "conjunction introduction".