Category:Factor Principles
Jump to navigation
Jump to search
This category contains pages concerning Factor Principles:
Conjunction on Right
Formulation 1
- $p \implies q \vdash \paren {p \land r} \implies \paren {q \land r}$
Formulation 2
- $\vdash \paren {p \implies q} \implies \paren {\paren {p \land r} \implies \paren {q \land r} }$
Conjunction on Left
Formulation 1
- $p \implies q \vdash \paren {r \land p} \implies \paren {r \land q}$
Formulation 2
- $\vdash \paren {p \implies q} \implies \paren {\paren {r \land p} \implies \paren {r \land q} }$
Disjunction on Right
Formulation 1
- $p \implies q \vdash \paren {p \lor r} \implies \paren {q \lor r}$
Formulation 2
- $\vdash \paren {p \implies q} \implies \paren {\paren {p \lor r} \implies \paren {q \lor r} }$
Disjunction on Left
Formulation 1
- $p \implies q \vdash \paren {r \lor p} \implies \paren {r \lor q}$
Formulation 2
- $\vdash \paren {p \implies q} \implies \paren {\paren {r \lor p} \implies \paren {r \lor q} }$
Pages in category "Factor Principles"
The following 24 pages are in this category, out of 24 total.
F
- Factor Principles
- Factor Principles/Conjunction on Left
- Factor Principles/Conjunction on Left/Formulation 1
- Factor Principles/Conjunction on Left/Formulation 1/Proof 1
- Factor Principles/Conjunction on Left/Formulation 1/Proof 2
- Factor Principles/Conjunction on Left/Formulation 2
- Factor Principles/Conjunction on Right
- Factor Principles/Conjunction on Right/Formulation 1
- Factor Principles/Conjunction on Right/Formulation 1/Proof 1
- Factor Principles/Conjunction on Right/Formulation 1/Proof 2
- Factor Principles/Conjunction on Right/Formulation 1/Proof by Truth Table
- Factor Principles/Conjunction on Right/Formulation 2
- Factor Principles/Disjunction on Left
- Factor Principles/Disjunction on Left/Formulation 1
- Factor Principles/Disjunction on Left/Formulation 1/Proof 1
- Factor Principles/Disjunction on Left/Formulation 1/Proof 2
- Factor Principles/Disjunction on Left/Formulation 2
- Factor Principles/Disjunction on Right
- Factor Principles/Disjunction on Right/Formulation 1
- Factor Principles/Disjunction on Right/Formulation 1/Proof 1
- Factor Principles/Disjunction on Right/Formulation 1/Proof 2
- Factor Principles/Disjunction on Right/Formulation 1/Proof 3
- Factor Principles/Disjunction on Right/Formulation 1/Proof 4
- Factor Principles/Disjunction on Right/Formulation 2