Logical Operators
Which Logical Operator is represented by a dot?
What is a conjunction.
p > q p .: q
What is Modes Ponens (M.P)
p v q ~p .: q
What is Disjunctive Syllogism (D.S)
~(p * q) = (~p v ~q)
~(p v q) = (~p * ~q)
What is De Morgan's Theorems (De M.)
[p v (q v r)] = [(p v q) v r]
[p * (q * r)] = [(p * q) * r]
What is Association (Assoc.)
Which logical operator is represented by a "v"
What is a disjunction.
p > q ~q .: ~p
What is Modes Tollens (M.T.)
(p > q) * (r > s) p v r .: q v s
What is a Constructive Dilemma (C.D)
(p v q) = (q v p)
(p * q) = (q * p)
What is Commutation (Com.)
(p > q) = (~q > ~p)
What is Transposition (Trans.)
Which logical operator is represented by the horseshoe?
What is a conditional.
p > q q > r .: p > r
What is a Hypothetical Syllogism (H.S)
p .: p v q
What is Addition (Add.)
p = ~~p
What is Double Negation (D.N.)
(p > q) = (~p v ~q)
What is Material Implication (Impl.)
Which logical operator is read as "and"
What is a conjunction
p q .: p*q
What is a Conjunction (Conj.)
p * q .: p
What is Simplification (Simp.)
p = ( p v p)
p = (p * p)
What is Tautology (Taut.)
(p=q) = [(p > q) * (q > p)]
(p=q) = [(p * q) v (~p * ~q)]
Which logical operator is read as if/then
What is a conditional
p > q .: p > (p*q)
What is Absorption (Abs.)
Please tell me the syllogism for Modus Ponens
p > q p .: q
[(p * q) > r] = [p > (q > r)]
What is Exportation (Exp.)
[p * (q v r)] = [(p * q) v (p * r)]
[p v (q * r)] = [(p v q) * (p v r)]
What is Distribution (Dist.)