Writing a sentence using predicates

27 Views Asked by At
  • I(x) = "x is a person"
  • T(x,y) = "x is smarter than y"
  • M(x) = "x is a mathematician"
  • A(x) = "x can calculate"

I need to write two sentences using these:

  • a) Every person who can calculate is smarter than every person who can't
  • b) Every person, who is smarter than someone who can calculate, is smarter than some mathematicians.

I was able to write previous ones, but I'm having trouble with these.

1

There are 1 best solutions below

0
On

For (a), $\phi_1 = \forall x \forall y (I(x) \land I(y) \land A(x) \land \lnot A(y) \implies T(x,y))$.

And for (b), $\phi_2 = \forall x (\exists y (I(x) \land T(x,y) \land A(y) )\implies \exists z (M(z) \land T(x,z)))$.