Carlos F.

asked • 10/10/20

logic translation

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

Question: There is someone who is suspicious of anyone who is suspicious of everyone

Example: If a person is suspicious of themself, then everyone is suspicious of them. Answer: Ax(Sxx->AySyx)

The Question is really tricky and im struggling understanding it.

1 Expert Answer


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.