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;
16 Cards in this Set
- Front
- Back
|
Indempotence |
(P\/P) <--> P (P/\P) <-->P |
|
|
Associativity |
[(P/\Q)\/R] <--> [P\/(Q\/R)] [(P/\Q)/\R] <--> [P/\(Q/\R)] |
|
|
Commutativity |
(P\/Q) <--> (Q\/P) (P/\Q) <--> (Q/\P) |
|
|
Distributivity (\/ over /\) |
[P/\(Q\/R)] <--> [(P/\Q) \/ (P/\R)] [P\/(Q/\R)] <--> [(P/\Q) \/ (P/\R)] |
|
|
Law of Excluded middle |
[P\/(--P)] <--> T |
|
|
Law of contradiction |
P/\(--P) <--> F |
|
|
Law double negation |
--(--P) ↔ P |
|
|
Law of simplification |
[(PΛQ) → P] ↔ T [(PΛQ) → Q] ↔ T |
|
|
Law of addition |
[P→(PvQ) ↔ T |
|
|
Domination |
(PvT) ↔ T (PΛF) ↔ F |
|
|
Identity |
(PvF) ↔ P (PΛT) ↔ P |
|
|
De'Morgans laws |
[ --(PvQ)] ↔ [(--P) Λ (--Q)] [ --(PΛQ)] ↔ [(--P) V (--Q)] |
|
|
Distributivity (/\ over \/) |
[P v (QΛR)] ↔ [(PvQ) Λ (PvR)] [(PΛQ) v R] ↔ [(PvR) Λ (R v Q)] |
|
|
Modus podens |
[PΛ(P→Q)] → Q |
|
|
Implication |
(P→Q) ↔ [--(PΛ(--Q))] ↔ [(--P) v Q] |
|
|
Negation of implication |
[--(P→Q)] ↔ [PΛ(--Q)] |
