Created
September 6, 2012 09:21
-
-
Save aji/3653621 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 1. A given | |
| 2. ~A | B given | |
| 3. A & (~A | B) what is this called? conjunction of previous statements? | |
| 4. (A & ~A) | (A & B) distributive law | |
| 5. A & B eliminating contradiction from disjunction | |
| 6. B what is this called? unzipping a conjunction? | |
| what is the name for this whole process? | |
| A & (~A | B) -> B |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment