use the following translation key to write the sentences below in FF.
a: one
b: two
c: three
f(x): the successor of x
g(x,y): the sum of x and y
Nx: x is a number
Dxy: x is divisible by y
Gxy: x is greater than y
-If the sum of the successors of any two numbers is divisible by three then the sum of two and the sum of those two numbers is divisible by three.
Correct Answer:
Verified
Q285: use the following translation key to write
Q286: use the following translation key to write
Q287: use the following translation key to write
Q288: use the following translation key to write
Q289: use the following translation key to write
Q291: 1. (?x)(?y)f(x,y)=f(y,x)
2. (?x)f(x,o)=o / (?x)f(o,x)=o
Q292: 1. (?x)(?y)(Bxy ? Dyx)
2. (?x)Bxf(x) / (?x)Df(x)x
Q293: 1. (?x){Ax ? [Bx • Bf(x)]}
2. ?Bf(f(e))
Q294: 1. (?x)(?y){Pf(x,y) ? [Pf(x,x) • Pf(y,y)]}
2. a=f(d,b)
3.
Q295: 1. (?x)(?y)[f(x)=y ? (Pax • Qay)]
2. ?Pab
Unlock this Answer For Free Now!
View this answer and more for free by performing one of the following actions
Scan the QR code to install the App and get 2 free unlocks
Unlock quizzes for free by uploading documents