Academic Integrity: tutoring, explanations, and feedback — we don’t complete graded work or submit on a student’s behalf.

1. In the domain of all movies, let Vx) be the predicate \"x is violent\". Write

ID: 3701872 • Letter: 1

Question

1. In the domain of all movies, let Vx) be the predicate "x is violent". Write the following statements in the symbols of predicate logic. (a) Some movies are violent. b) Some movies are not violent. (c) No movies are violent. (d) All movies are violent. 2. In the domain of all books, consider the following predicates. Translate the following statements in predicate logic into ordinary English. 3. In the domain of nonzero integers, let be the predicate "x/y is an integer". Determine wheter the following statements are true or false, and explay why 4. Let the following predicates be given. The domain is all people (a) Write the following statement in predicate logic. There is at least one rude child. (b) Formally negate your statement from part (a). (c) Write the English translation of your negated statement.

Explanation / Answer

¬? ? ?

Answer 1)

(a) Some movies are violent

? x V(x)

use existential quantifier ?

(b) Some movies are not violent

? x ¬V(x)

use existential quantifier ?

(c) No movies are violent

? x ¬V(x)

use universal quantifier ?

(d) All movies are violent

? x V(x)

use universal quantifier ?