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