Pages that link to "Provable by Gentzen Proof System iff Negation has Closed Tableau/Formula"
Jump to navigation
Jump to search
The following pages link to Provable by Gentzen Proof System iff Negation has Closed Tableau/Formula:
Displayed 3 items.
- Provable by Gentzen Proof System iff Negation has Closed Tableau (transclusion) (← links)
- Provable by Gentzen Proof System iff Negation has Closed Tableau/Set of Formulas (← links)
- Rule of Distribution/Disjunction Distributes over Conjunction/Left Distributive/Formulation 2/Forward Implication/Proof 1 (← links)