L
Name this symbol: ~
What is not?
Name this symbol: V
What is or?
This symbol looks like a horseshoe
What is if... then...?
O (dot)
What is and/but?
This symbol has three lines
What is if and only if?
if p then q
p
therefore q
What is modus ponens?
if p then q
not q
therefore not p
What is Modus Tollens
if p then q and if r then s
p or r
therefore q or s
p
q
Therefore p and q
Conjunction
p and q
therefore p
What is Simplification?
if p then q
if q then r
therefore if p then r
What is hypothetical syllogism?
p or q
not p
therefore q
What is Disjunctive Syllogism?
if p then q
therefore if p then p and q
What is Absorption?
p
therefore p or q
What it Addition?
~(p and q) if and only if (~p V ~q)
~(p V q) if and only if (~p and ~q)
What is De Morgan's Theorems?
[p and(q V r)] if and only if [(p and q) V (p and r)]
[p V (q and r)] if and only if [(p V q) and (p V r)]
What is Distribution?
(p V q) if and only if (q V p)
(p and q) if and only if (q and p)
What is Commutation?
[p V (q V r)] if and only if [(p V q) V r]
[ p and (q and r) ] if and only if [(p and q) and r]
What is Association?
p if and only if ~~p
(if p then q) if and only if (if ~q then ~p)
What is Transposition?
(if p then q) if and only if (~p V q)
(p if and only if q) if and only if [(if p then q) and (if q then p)]
(p if and only if q) if and only if [(p and q) V (~p and ~q)]
Material Equivalence
[if (p and q) then r] if and only if [ if p then (if q then r)]
What is Exportation?
p if and only if (p V p)
p if and only if (p and p)
What is tautology?
A sentence with a truth value
What is a proposition?