- 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
23 Cards in this Set
- Front
- Back
|
Equivalence (p ↔ q)
|
(p → q ) ˄ (q → p)
|
|
Implication (p → q)
|
(¬p ∨ q)
|
|
De Morgan's Law ¬(p ∧ q)
|
(¬p ∨ ¬q)
|
|
De Morgan's Law ¬(p ∨ q)
|
(¬p ∧ ¬q)
|
|
Double Negation ¬¬p
|
p
|
|
Distributivity p ∧ (q ∨ r)
|
(p ∧ q) ∨ (p ∧ r)
|
|
Distributivity p ∨ (q ∧ r)
|
(p ∨ q) ∧ (p ∨ r)
|
|
Commutativity (p ∧ q)
|
(q ∧ p)
|
|
Commutativity (p ∧ q)
|
(q ∨ p)
|
|
Associativity p ∧ (q ∧ r)
|
(p ∧ q) ∧ r
|
|
Associativity p ∨ (q ∨ r)
|
(p ∨ q) ∨ r
|
|
Idempotence (p ∧ p)
|
p
|
|
Idempotence (p ∨ p)
|
p
|
|
Absorption p ∧ (p ∨ q)
|
p
|
|
Absorption p ∧ (p ∨ q)
|
p
|
|
Excluded Middle (p ∨ ¬p)
|
⊥
|
|
Contradiction (p ∧ ¬p)
|
⊥
|
|
T - Simplification (T∧ p) ↔ p
|
p
|
|
T - Simplification (T ∨ p)
|
T
|
|
T - Simplification ¬T
|
⊥
|
|
⊥ - Simplification (⊥ ∧ p)
|
⊥
|
|
⊥ - Simplification (⊥ ∨ p)
|
p
|
|
⊥ - Simplification ¬⊥ ↔
|
T
|
