PHIL3 QUIZ

May 16, 2021

#1. Write a valid, unsound, deductive argument, using natural language.

#2. Write a valid, sound, deductive argument, using natural language.

For the following arguments, state the rule of inference by which the conclusion follows from its premise or premises. Please provide a brief explanation of how you arrived at your answer.

#3. (P1): (D v E) • (F v G)

? D v E

#4. (P1): H ? I

? (H ? I) v (H ? ~I)

For the following proofs, please state the justification for each statement that is not a premise.

#5.

1. (E v F) • (G v H)

2. (E ? G) • (F ? H)

3. ~G

? H

4. E v F

5. G v H

6. H

#6.

1. I ? J

2. J ? K

3. L ? M

4. I v L

? K v M

5. I ? K

6. (I ? K) • (L ? M)

7. K v M

For the following arguments, please construct a formal proof. Please provide a brief explanation for each of your proofs (maybe a few sentences).

#7.

(P1): G

(P2): H

? (G • H) v I

#8.

(P1): J ? K

(P2): J

? K v L

#9.

(P1): A v (B ? A)

(P2): ~A • C

? ~B

#10.

(P1): (K • L) ? M

(P2): K ? L

? K ? [(K • L) • M]