For each of the following sentences, select the best translation into predicate logic, using the given constants and predicates.
-Some yellow birds both chirp and sing.
A) (∃x)[(Yx • Bx) • (Cx • Sx)]
B) (∃x)(Yx • Bx) • Sx
C) (∃x)(Sx • Bx) • Yx
D) (∃x)[(Yx • Bx) ⊃ (Cx • Sx)]
E) (∃x)[(Yx • Bx) ⊃ (Cx ⊃ Sx)]

Question

Quizplus · Accepted Answer

The sentence states that there exists some yellow birds that both chirp and sing. Therefore, we need to use existential quantifier (∃x) and combine the predicates Yx, Bx, Cx, Sx using conjunction (∧). This is exactly what option A does. Option B only says that there exists some yellow birds that chirp and there exist some birds that sing. Option C says that there exists some birds that sing and chirp and some yellow birds. Option D and Option E use material implication wrongly.

For Each of the Following Sentences, Select the Best Translation