Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
19 Cards in this Set
- Front
- Back
Modus Ponens(M.P.)
|
p>q, p, th q
|
|
Modus Tollens (M.T.)
|
p>q, ~q th ~p
|
|
Hypothetical Syllogism(H.S.)
|
p>q, q>r, th p>r
|
|
Disjunctive Syllogism (D.S.)
|
pvq, ~p, th q
|
|
Constructive Dilemma (C.D.)
|
(p>q) o (r>s), pvr, th qvs
|
|
Absortion (Abs.)
|
p>q, th p>(poq)
|
|
Simplification (Simp.)
|
poq th p
|
|
Conjunction (conj.)
|
p, q, th poq
|
|
Addition (Add.)
|
p, th pvq
|
|
De Morgan's Theorems (De M)
|
~(poq) = (~pv~q)
~(pvq) = (~po~q) |
|
Commutation (Com.)
|
(pvq)=(qvp)
(poq)=(qop) |
|
Association (Assoc)
|
[p v (qvr)] = [(pvq) v r]
[po (qor)]= [(poq) o r] |
|
Distribution (Dist.)
|
[po (qvr)]= [(poq) v (por)]
[p v (qor)] = [(pvq) o (pvr)] |
|
Double Negation (D.N.)
|
p=~~p
|
|
Transposition (Trans)
|
(p>q)= (~q>~p)
|
|
Material Implication(Impl.)
|
(p>q)= (~pvq)
|
|
material Equvalence (Equiv)
|
(p=q) = [(p>q)o(q>p)]
(p=q)= [(poq) v (~po~q)] |
|
Exportation (Exp)
|
[(poq)>r]=[p>(q>r)]
|
|
Tautology (Taut)
|
p= (pvp)
p=(pop) |