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
|
P=Q
P Q |
Modus Ponens (MP)
|
|
|
P=Q
~Q ~P |
Modus Tollens (MT)
|
|
|
P=Q
Q=R P=R |
Chain Argument (CA)
|
|
|
PvQ or PvQ
~P ~Q Q P |
Disjunctive Argument (DA)
|
|
|
P&Q or P&Q
P Q |
Simplification (SIM)
|
|
|
P
Q P&Q |
Conjunction (CONJ)
|
|
|
P or Q
PvQ PvQ |
Addition (ADD)
|
|
|
P=Q
R=S PvR QvS |
Constructive Dilemma (CD)
|
|
|
P=Q
R=S ~Qv~s ~Pv~R |
Destructive Dilemma(DD)
|
|
|
P=~~P
|
Double Negation (DN)
|
|
|
(P&Q)=(Q&P)
or (PvQ)=(QvP) |
Commutation (COM)
|
|
|
(P=Q)= (~PvQ)
|
Implication (IMPL)
|
|
|
(P=Q) = (~Q=~P)
|
Contraposition (CONTR)
|
|
|
~(PvQ)= (~Q&~P)
or ~(P&Q) = (~Qv~P) |
DeMorgen's Law (DEM)
|
|
|
[P=(Q=R)] = [(P&Q)=R]
|
Exportation (EXPORT)
|
|
|
[P&(Q&R)] = [(P&Q)&R]
or [Pv(QvR)] = [(PvQ)vR] |
Association (ASSOC)
|
|
|
[P&(QvR)] = [(P&Q)v (P&R)]
or [Pv(Q&R)] = [(PvQ)& (PvR)] |
Distribution (DIST)
|
|
|
(PvP)= P
(P&P)= P |
Tautology (TAUT)
|
