Conditional, if p, then q; p→q, Converse, if q, then p; q→p, Inverse, if not p, then not q; ~p→~q, Contrapositive, if not q, then not p; ~q→~p, ⋃, union, disjunction, or, ⋂, intersection, conjunction, and, Hypothesis, statement following "if", Conclusion, statement following "then", Law of Detachment, If p→q is a true conditional statement and p is true, then q is true., Law of Syllogism, If p→q and q→r are true conditional statements, then p→r is true., Counterexample, specific case for which a conjecture is false, ∴p, therefore p

Logic

af
Trykke
Integrere

Rangliste

Visuel stil

Indstillinger

Skift skabelon

Gendan automatisk gemt: ?