Page 1 of 1
= Problem 7.2. Let L = {c,f, A} with one constant symbol, one one-place function symbol and one two-place predicate symb
Posted: Thu May 12, 2022 9:50 am
by answerhappygod
- Problem 7 2 Let L C F A With One Constant Symbol One One Place Function Symbol And One Two Place Predicate Symb 1 (60.48 KiB) Viewed 26 times
= Problem 7.2. Let L = {c,f, A} with one constant symbol, one one-place function symbol and one two-place predicate symbol, and let the structure M be given by 1. |M| = {1,2,3} 2. M = 3 = = = 3. FM(1) = 2, FM (2) = 3, FM (3) = 2 4. AM = {(1,2), (2,3),(3,3)} = (a) Let s(v) = 1 for all variables v. Find out whether - v M,5 + 3x (A(f(x),c) → Vy (A(y,x) V A(f(), x))) Explain why or why not. (b) Give a different structure and variable assignment in which the formula is not satisfied.