- Shuffle
Toggle OnToggle Off
- Alphabetize
Toggle OnToggle Off
- Front First
Toggle OnToggle Off
- Both Sides
Toggle OnToggle Off
Front
How to study your flashcards.
Right/Left arrow keys: Navigate between flashcards.right arrow keyleft arrow key
Up/Down arrow keys: Flip the card between the front and back.down keyup key
H key: Show hint (3rd side).h key
![]()
PLAY BUTTON
![]()
PLAY BUTTON
![]()
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)
|