Question

Indicate the option that corresponds to negating it: ∀x∀y, enrolled(x, y), where x is a student at champlain college and y is a degree group of answer choices

1) ∃x∀y, enrolled(x, y), where x is a student at champlain college and y is a degree
2) ∃y∀x, enrolled(x, y), where x is a student at champlain college and y is a degree
3) ∃x∀y, enrolled(x, y)
4) ∃y∀x, enrolled(x, y), where x is a student at champlain college and y is a degree
5) none of the alternatives is correct
6) all of the alternatives are correct

Answer 1

The option that corresponds to negating the statement ∀x∀y, enrolled(x, y), where x is a student at Champlain College and y is a degree group is 4) ∃y∀x, ∉enrolled(x, y), where x is a student at Champlain College and y is a degree.

Step-by-step explanation:

The option that corresponds to negating the statement ∀x∀y, enrolled(x, y), where x is a student at Champlain College and y is a degree group is 4) ∃y∀x, ∉enrolled(x, y), where x is a student at Champlain College and y is a degree. This option introduces the negation symbol (∉) and changes the order of the variables ∀x and ∀y to ∃y and ∀x.