Quantified Logic Translation
Using the given the symbolization key, translate the following sentences.
|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.|
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.