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
Modus Ponens (M.P)
|
P -> Q
P /:. Q |
|
Modus Tollens (M.T)
|
A -> B
~B /:. ~a |
|
1.) A -> B
V1 |
A /:. B
|
|
1.) A -> B
v2 |
~B /:. A
|
|
Hypothetical Syllogism (H.S)
|
A -> B
B -> y /:. a -> y |
|
1.) A -> B
2.) B -> Y |
/:. A -> Y
|
|
Disjunctive Syllogism (D.S)
|
A V B
~a /:. B |
|
1.) A V B
|
~A /:. B
|
|
Constructive Dilemma (C.D)
|
(A -> B) & (Y -> X)
A V Y /:. B V X |
|
1.) (A -> B) & (Y -> X)
2.) A V Y |
/:. B V X
|
|
Absorption (ABS)
|
A -> B
/:. a -> (A&B) |
|
1.) A -> B
V3 |
/:. a -> (A&B)
|
|
Simplification (Simp)
|
A & B
/:. A |
|
1.) A & B
|
/:. A
|
|
Conjunction (Conj)
|
1.)A
2.)B /:. A &B |
|
1.)A
2.)B |
/:. A & B
|
|
Addition (Add)
|
A
/:. A V B |
|
1.) A
|
/:. A V B
|