Question
5. (a) Let L be a first-order language with one two-place predicate symbol P. Write an L sentence varphi so that \langle\{a, b\} ;\{(a, a),(b, b)\}\rangle \vDash \varphi and \langle\{a, b\} ;\{(a, a),(b, a)\}\rangle \not \forall \varphi . ) Let varphi be the sentence Jr(f(f(x))) # f(x)). For each of the following sent
Question image 1Question image 2Question image 3Question image 4Question image 5Question image 6Question image 7Question image 8Question image 9Question image 10Question image 11Question image 12Question image 13Question image 14Question image 15Question image 16