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;
3 Cards in this Set
- Front
- Back
Identity Elimination
|
1. SameRow(a,a)
2. b=a __ 3. b = b (=Intro) 4. a = b (=Elim 3,2) 5. SameRow (b,a) (=Elim1,4) |
|
Distribution
|
A ^ (B ∨ C) <=> (A ^ B) ∨ (A ^ C)
A ∨ (B ^ C) <=> (A ∨ B) ^ (A ∨ C) |
|
Proof by Contradiction
|
For any sentence "¬S", assume "S" and achieve contradiction
|