Reading...
Play button
Play button
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
|
MP
|
Modus Ponens
P->Q, P:.Q |
|
|
MT
|
MODUS TONENS
P->Q, ~P:.~Q |
|
|
DS
|
DISJUNCTIVE SYLLOGYSM
PVQ, ~P:.Q |
|
|
HS
|
P->Q, Q->R :. P->R
|
|
|
CD
|
PvQ, P->R, Q->S :. RvS
|
|
|
Simp
|
P.Q :. P
|
|
|
Add
|
P :. PvQ
|
|
|
HS
|
P->Q, Q->R :. P->R
|
|
|
CD
|
PvQ, P->R, Q->S :. RvS
|
|
|
Simp
|
P.Q :. P
|
|
|
Add
|
P :. PvQ
|
|
|
DeM
|
1. ~(E.D) -> ~Ev~D
2. ~(EvD) -> ~E.~D |
|
|
DN
|
~~A :. A
|
|
|
ME
|
A<->B
1. (A->B) . (B->A) 2. (A.B) v (~B.~A) |
|
|
AS
|
(AvB)vC = Av(BvC)
|
|
|
RE
|
BvB or B.B
|
|
|
MI
|
A->B = ~AvB
|
|
|
Dist
|
(P.Q) v (P.R) :. P.(QvR)
|
