Let the domain be the set of courses. Let C(x) denote that x is a CS...

Transcribed Image Text:

Let the domain be the set of courses. Let C(x) denote that x is a CS course, /(x) that x is interesting, and H(x,y) denote that x is harder than y. Then the sentence "Some CS class is harder than all interesting classes." is best expressed as 3xy [C(x) → H(x,y) ^l(y)] x [(x) (y) → H(x,y)] Vxy [C(x)→ H(x,y) ^ (y)] 3x Vy [C(x) (y) → H(x,y)] Vy3x [C(x) (y) → H(x,y)] Vxy [C(x) (y) → H(x,y)] Let the domain be the set of courses. Let C(x) denote that x is a CS course, /(x) that x is interesting, and H(x,y) denote that x is harder than y. Then the sentence "Some CS class is harder than all interesting classes." is best expressed as 3xy [C(x) → H(x,y) ^l(y)] x [(x) (y) → H(x,y)] Vxy [C(x)→ H(x,y) ^ (y)] 3x Vy [C(x) (y) → H(x,y)] Vy3x [C(x) (y) → H(x,y)] Vxy [C(x) (y) → H(x,y)]

Answer rating: 100% (QA)

The detailed answer for the above question is provided below Answer ... View the full answer