(adsbygoogle = window.adsbygoogle || []).push({}); 1. The problem statement, all variables and given/known data

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

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Translating english to predicate logic

**Physics Forums | Science Articles, Homework Help, Discussion**