Hi, I am looking to turn three sentences into symbolic language using predicate logic.
First statements
E(x) and A(x,y) are two predicates, where E(x) means "x lives in Paris" and A(x,y) means "x is a friend of y", where x and y are variables representing inhabitants of France.
- There is one person in Paris who is friends with all inhabitants of Paris.
- Pierre does not live in Paris, but he is friends with a resident of Paris.
Second statement
T(x,y) and P(x,y) are two binary predicates, where T(x,y) means "x has the same size as y" and P(x,y) means "x is heavier then y".
- There is one person who is the same height as Olivier, and who is heavier than anyone who is the same height as Olivier.
First statements
E(x) and A(x,y) are two predicates, where E(x) means "x lives in Paris" and A(x,y) means "x is a friend of y", where x and y are variables representing inhabitants of France.
- There is one person in Paris who is friends with all inhabitants of Paris.
- Pierre does not live in Paris, but he is friends with a resident of Paris.
Second statement
T(x,y) and P(x,y) are two binary predicates, where T(x,y) means "x has the same size as y" and P(x,y) means "x is heavier then y".
- There is one person who is the same height as Olivier, and who is heavier than anyone who is the same height as Olivier.