Machine-translated by Google. Questions are authored in English.
Top

Discussion

The correct symbolization of the following proposition is :

Statement : Authors and poets are intelligent and successful.

  • A.(x)[(Ax . Px) ⊃ (Ix . Sx)]
  • B.(x)[(Ax . Px) ⊃ (Ix ∨ Sx)]
  • C.(x)[(Ax . Px) . (Ix . Sx)]
  • D.(x)[(Ax ∨ Px) ⊃ (Ix . Sx)]

Answer: D

The correct symbolization is (x)[(Ax ∨ Px) ⊃ (Ix . Sx)].

'Authors and poets are intelligent and successful' says that anyone who is an author, and anyone who is a poet, is both intelligent and successful. So the condition is a disjunction: for every x, if x is an author or x is a poet, then x is intelligent and x is successful.

Using Ax . Px in the antecedent (options A and B) would restrict the claim to people who are both authors and poets. Option B also weakens the predicate to 'intelligent or successful', and option C, with a dot in place of the horseshoe, claims that everything is an author, a poet, intelligent and successful.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.