1. (?X)(?y)(?z)[(Pxy • Pyz) ? Pxz]

Q23: 1. (?x)(?y){Pf(x,y) ? [Pf(x,x) • Pf(y,y)]}<br>2. a=f(d,b)<br>3.

Q24: 1. (∀x)[Ex ⊃ (∀y)(Fy • Gxy)]<br>2. (∃x)(Ex

Q25: (∃x)[Px • (∃y)(Qy • y=x)] ⊃ (∃x)(Px

Q26: 1. (∃x)(∃y){Gx • Gy • x≠y

Q27: Translate each sentence into predicate logic, using

Q29: select the best translation into predicate logic,

Q30: provide a conterexample in a finite domain

Q31: consider the following domain, assignment of

Q32: provide a conterexample in a finite domain

Q33: (∃x)(∃y)(Axy • x=y) ⊃ (∃x)Axx<br>-Which of