1. ## express using quatifiers

I'm not entirely sure if this is posted in the right place so i'm sorry if its not.

Let the predicates M, T and C be defined by
M(x, y) means x has sent y an email message
T (x, y) means x has telephoned y
C(x) means x is a student

Express each of the following using quantifiers

a) No student has telephoned John
b) Some students have been sent an email by Graham.
c) There are two students who have telephoned one another
d) There is at least one student who has either telephoned or emailed every other student
student.
e) Every student has either been sent an email message or had a telephone call from some other student.

Ok so I have tried to do this but I have no idea if I'm right.

(¬ means 'not', A means 'For All' E means 'There exists')
for part a I get something like this

T(¬EC(x),John)

but my friend got

¬Ex, C(x) ^ (y = John => T(x,y))

not sure im doing this right?

2. Hello djmccabie
Originally Posted by djmccabie
I'm not entirely sure if this is posted in the right place so i'm sorry if its not.

Let the predicates M, T and C be defined by
M(x, y) means x has sent y an email message
T (x, y) means x has telephoned y
C(x) means x is a student

Express each of the following using quantifiers

a) No student has telephoned John
b) Some students have been sent an email by Graham.
c) There are two students who have telephoned one another
d) There is at least one student who has either telephoned or emailed every other student
student.
e) Every student has either been sent an email message or had a telephone call from some other student.

Ok so I have tried to do this but I have no idea if I'm right.

(¬ means 'not', A means 'For All' E means 'There exists')
for part a I get something like this

T(¬EC(x),John)

but my friend got

¬Ex, C(x) ^ (y = John => T(x,y))

not sure im doing this right?
Your friend is nearer the answer than you. I should write (a) as
$\neg\exists\, x\, [C(x) \land T(x,\text{John})]$
(b) Re-write this as: There exists an $x$ such that $x$ is a student, and Graham has sent $x$ an email. So
$\exists\,x\,[C(x) \land M(\text{Graham},x)]$
(c) Re-write as: There exists an $x$, there exists a $y$ such that $x$ is a student and $y$ is a student and $x$ has telephoned $y$ and $y$ has telephoned $x$. So
$\exists\,x\,\exists\,y\,[C(x) \land C(y) \land ...]$. Can you complete?
(d) Re-write as: There exists an $x$ such that for all $y$, $x$ is a student and if $y$ is a student then ( $x$ has telephoned $y$ or $x$ has emailed $y$). Can you complete?

(e) For all $x$, there exists a $y$ such that $y$ is a student and if $x$ is a student then ( $y$ has emailed $x$ or $y$ has telephoned $x$). Can you complete?

3. Originally Posted by djmccabie
I'm not entirely sure if this is posted in the right place so i'm sorry if its not.

Let the predicates M, T and C be defined by
M(x, y) means x has sent y an email message
T (x, y) means x has telephoned y
C(x) means x is a student

Express each of the following using quantifiers

a) No student has telephoned John
b) Some students have been sent an email by Graham.
c) There are two students who have telephoned one another
d) There is at least one student who has either telephoned or emailed every other student
student.
e) Every student has either been sent an email message or had a telephone call from some other student.

Ok so I have tried to do this but I have no idea if I'm right.

(¬ means 'not', A means 'For All' E means 'There exists')
for part a I get something like this

T(¬EC(x),John)

but my friend got

¬Ex, C(x) ^ (y = John => T(x,y))

not sure im doing this right?

Your friend is right: you cannot quantify inside the predicate T

Tonio