Carlos F.

asked • 10/10/20

Quantified Logic Translation

Using the given the symbolization key, translate the following sentences.

UD: people
Bx: x is a baker.
Jx: x is a judge.
Px: x can make pâte à choux.
Ux: x lives under the sea.
Sxy: x is suspicious of y.
m: Mel
n: Nadiya
p: Paul
  1. Some people are suspicious of everyone.
  2. Mel is suspicious of everyone who is suspicious of her.
  3. If a person is suspicious of themself, then everyone is suspicious of them.

Carlos F.

There is someone who is suspicious of anyone who is suspicious of everyone. (forgot that one, but you don't have to answer it)


1 Expert Answer


Carlos F.

would 3 look somewhat like this: Ax(Sxx->AySyx) or could you tell me where im going wrong here


Still looking for help? Get the right answer, fast.

Ask a question for free

Get a free answer to a quick problem.
Most questions answered within 4 hours.


Find an Online Tutor Now

Choose an expert and meet online. No packages or subscriptions, pay only for the time you need.