Pages that link to "Definition:Gentzen Proof System/Instance 1/Alpha-Rule"
Jump to navigation
Jump to search
The following pages link to Definition:Gentzen Proof System/Instance 1/Alpha-Rule:
Displayed 7 items.
- Rule of Commutation/Disjunction/Formulation 2/Forward Implication (← links)
- Rule of Distribution/Disjunction Distributes over Conjunction/Left Distributive/Formulation 2/Forward Implication (← 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)
- Definition:Gentzen Proof System/Instance 1 (transclusion) (← links)
- Definition:Gentzen Proof System/Instance 1/Beta-Rule (← links)
- Definition:Gentzen Proof System/Instance 1/Alpha-Rule/Notation (← links)