# Translating statements into symbolic logic?

Suppose we have the following open statements on x:

$\ S(x)$ means that "x is a student"

$\ P(x)$ means that "x likes pizza"

$\ L(x,y)$ means that "x loves y"

$\ K(x,y)$ means that "x knows y"

How would we write the following statements?

1. All students like pizza
2. Everyone has somebody who loves them
3. Only students like pizza
4. All love is mutual
5. Everyone likes pizza or everyone is a student
6. I know someone who knows someone who knows Ariana Grande
7. Everyone who knows Ariana Grande loves her

Whats mainly confusing me is the separation of these variables. Some with 1 and the other "connectors" with 2. How would I properly answer these?

$$\forall x \exists y L(y,x)$$
• @Mitchell Yes, that first one is correct. The 'all love is mutual' means that if $x$ loves $y$, then $y$ loves $x$. Why don't you post your attempts for all these, and then you can get some feedback ... – Bram28 Jun 22 '17 at 21:23
• Also, use mathjax. $\forall x~(S(x)\to P(x))$ is written $\forall x~(S(x)\to P(x))$ and $\forall x~\exists y~L(y,x)$ is $\forall x~\exists y~L(y,x)$ – Graham Kemp Jun 23 '17 at 1:04