Professor Kate Poirier, Spring 2017

Test #1 Solutions Question 6a

6a. Determine the argument form of the above argument.

Notation: W(x): x is willing to prevent evil

A(x): x is able to prevent evil

P(x): x prevents evil

I(x): x is impotent

M(x): x is malevolent

E(x): x exists.

S stands for Superman.

Let’s write the givens:

1: (A(S) ∧ W(S)) → P(S)

2. ¬A(S) → I(S)

3. ¬W(S) → M(S)

4. ¬P(S)

5. E(S) → (¬M(S) ∧ ¬I(S))

6. ¬A(S) ∨ ¬W(S)

7. M(S) ∨ I(S)

8. ¬(¬M(S) ∧ ¬I(S))

9. ¬E(S)

1 Comment

  1. lilli

    I got this so far

    a=superman is able to prevent evil

    b= superman is impotent

    c=superman is willing to prevent evil

    d=superman is malevolent

    e= superman exsists

    f= superman prevents evil

    argument form=

    (a∧c)→f

    ¬a→b

    ¬c→d

    ¬f

    e→¬b∧¬d

    ___________________

    :.¬e

    what do your steps 6 through 8 achieve? sorry if this is a dumb question but how did you arrive at those steps?

Leave a Reply

Your email address will not be published. Required fields are marked *