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 ∴q |
|
Modus Tollens (M.T.)
|
p⊃q
~q ∴p |
|
Hypothetical Syllogism (H.S.)
|
p⊃q
q⊃r ∴p⊃r |
|
Disjunctive syllogism (D.S.)
|
p∨q
~p ∴q |
|
Constructive Dilemma (C.D.)
|
(p⊃q) ・(r ⊃s)
p∨r ∴q∨s |
|
Absorption (Abs.)
|
p⊃q
∴p⊃(p・q) |
|
Simplification (Simp.)
|
p・q
∴p |
|
Conjunction (Conj.)
|
p
q ∴p・q |
|
Addition (Add.)
|
p
∴p∨q |
|
De Morgan's Theorems (De M)
|
~(p・q) ≡ (~p∨~q)
~(p∨q) ≡ (~p・~q) |
|
Commutation (Com.)
|
(p∨q) ≡ (q∨p)
(p・q) ≡ (q・p) |
|
Association (Assoc.)
|
[p∨(q∨r)] ≡ [(p∨q)∨r]
[p・(q・r)] ≡ [(p・q)・r] |
|
Distribution (Dist.)
|
[p・(q∨r)] ≡ [(p・q)∨(p・r)]
[p∨(q・r)] ≡ [(p∨q) ・(p∨r)] |
|
Double Negation (D.N.)
|
p ≡ ~~p
|
|
Transposition (Travs.)
|
(p⊃q) ≡ (~q⊃~p)
|
|
Material Implication (Impl.)
|
(p⊃q) ≡ (~p∨q)
|
|
Material Equivalence (Equiv.)
|
(p ≡ q) ≡ [(p⊃q)・(q⊃p)]
(p ≡ q) ≡ [(p・q)∨(~p・~q)] |
|
Exportation (Exp.)
|
[(p・q)⊃r] ≡ [p ⊃(q⊃r)]
|
|
Tautology(Taut.)
|
p ≡ (p∨p)
p ≡ (p・p) |