MFCS Relations 1
MFCS Relations 1
Implications
I1 P∧Q ⇒P Simplification
I2 P∨Q⇒Q ,,
I3 P ⇒P∨Q Addition
I4 Q⇒P∨Q ,,
I5 7P ⇒ P → Q
I6 Q⇒P →Q
I7 7(P → Q) ⇒ P
I8 7(P → Q) ⇒ 7Q
I9 P, Q ⇒ P ∧ Q
I10 7P, P ∨ Q ⇒ Q Disjunctive Syllogism
I11 P,P → Q ⇒ Q Modus Ponens
I12 7Q,P → Q ⇒ 7P Modus Tollens
I13 P → Q, Q → R ⇒ P → R Hypothetical Syllogism
I14 P ∨ Q ,P → R, Q → R ⇒ R Dilemma
Equivalences