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;
18 Cards in this Set
- Front
- Back
Modens Ponens
(MP) |
P>Q
P ---- Q |
|
MODENS TOLLENS
(MT) |
P>Q
~Q ---- ~P |
|
HYPOTHETICAL SYLLOGISM
(HS) |
P > Q
Q > R P > R |
|
DISJUNCTIVE SYLLOGISM
(DS) |
P v Q
~P ------ Q |
|
Constructive Dilemma
(CD) |
(P > Q) • (R > S)
P v R Q v S |
|
Simplification
(Simp) |
P • Q
P |
|
Conjunction
(Conj) |
P
Q P • Q |
|
Addition
(Add) |
P
P v Q |
|
De Morgan’s rule (DM)
|
~(P•Q)::(~Pv~Q)
~(PvQ)::(~P•~Q) |
|
Commutativity (Com)
|
(P v Q) :: (Q v P)
(P • Q) :: (Q • P) |
|
Associativity
(Assoc) |
[Pv(QvR)] :: [(PvQ)vR]
[P•(Q•R)] :: [(P•Q)•R] |
|
Distribution
(Dist) |
[P•(QvR)]::[(P•Q)v(P•R)]
[Pv(Q•R)]::[(PvQ)•(PvR)] |
|
Double Negation
(DN) |
P :: ~~P
|
|
Transposition
(Trans) |
(P>Q)::(~Q>~P)
|
|
Material Implication
(Impl) |
(P > Q) :: (~P v Q)
|
|
Material Equivalence
(Equiv) |
(P=Q)::[(P>Q)•(Q>P)]
(P=Q)::[(P•Q)v(~P•~Q)] |
|
Exposition
(Exp) |
[(P•Q)>R]::[P>(Q>R)]
|
|
Tautology
(Taut) |
P :: (P v P)
P :: (P • P) |