- #1
maxsthekat
- 55
- 0
Homework Statement
I've been given a problem: "C(x,y) is x and y have chatted over the internet. The domain is students in a class. Express there are two students who combined have chatted with all of the students in the class".2. The attempt at a solution
I think this is the correct answer, but I'm not certain.
[tex]\exists x,y \forall z (C(x,z) \wedge \neg C(y,z)) \vee (C(y,z) \wedge \neg C(x,z)) \vee (C(x,z) \wedge C(y,z))[/tex]
The part I'm uncertain about is the last statement, C(x,z) ^ C(y,z). I think this states there exists an x and y, where x has spoken with z and y has spoken with z, but I could also see this as saying there is an x that has spoken with all z and there is a y that has spoken with all z.
Would anyone be willing to double check my work?
Thanks! :)
-Max
Last edited: