| Natural Deduction Quiz: there are 5 proofs on the quiz, and each is worth 1.25 point. Please complete each proof to demonstate validity. |
| Name: Type your name here *No name = no credit |
| 1 | | | Copy and paste symbols into your proof where necessary: | | | | These are the only symbols you will need to complete all of the proofs. |
| 1. N → (J → P) | | | → | ∼ | ∨ |
| 2. (J → P) → (N → J) |
| 3. N / P |
| | | | | Instructions |
| | | | Complete the proofs in the cells below each argument. Use one cell for each step in the proof, and be sure to notate the inference using premise numbers and argument form names (e.g., MP, MT, DS, HS). | | | | When you complete the quiz, save this file to your computer (somewhere you can easily locate it) and upload the file to our course iLearn page by 11:55pm on 6/26. |
| 2 | | | Copy and paste symbols into this proof where necessary: |
| 1. G → [∼ O → (G → D)] | | | → | ∼ | ∨ |
| 2. O ∨ G |
| 3. ∼ O / D |
| 3 | | | Copy and paste symbols into this proof where necessary: |
| 1. ∼ M ∨ (B ∨ ∼ T) | | | → | ∼ | ∨ |
| 2. B → W |
| 3. M |
| 4. ∼ W / ∼ T |
| 4 | | | Copy and paste symbols into this proof where necessary: |
| 1. ∼ G → (G ∨ ∼ A) | | | → | ∼ | ∨ |
| 2. ∼ A → (C → A) |
| 3. ∼ G / ∼ C |
| 5 | | | Copy and paste symbols into this proof where necessary: |
| 1. (B → ∼ M) → (T → ∼ S) | | | → | ∼ | ∨ |
| 2. B → K |
| 3. K → ∼ M |
| 4. ∼ S → N / T → N |
Jim_Ak
natural_deduction_quiz.xlsx
