# First order Logic

• Jan 15th 2011, 08:46 PM
nick1978
First order Logic
For the above set:
a)Find an interpretation A of T ,with Domain the set |A|={a,b,c} ,which is model of T.In the interpretation at the constant a is assigned a, at the constant b is assigned b, at the constant c is assigned c.

b)Find an interpretation A of T ,with Domain the set |A|={a,b,c} ,which is NOT model of T.In the interpretation at the constant a is assigned a, at the constant b is assigned b,
at the constant c is assigned c.
Moreover it must be $\prec$a,b $\succ$http://s3.amazonaws.com/answer-board...4312734879.gif $P^A$ and $\prec$b,c $\succ$http://s3.amazonaws.com/answer-board...4312734879.gif $P^A$.

c)Find an interpretation $A_1$ of T ,with Domain the set | $A_1$|={0} ,which is model of T.Find also an interpretation $A_2$of T ,with Domain the set | $A_2$|={0} ,which is NOT model of T. For $A_2$ it must be $\prec$0 $\succ$http://s3.amazonaws.com/answer-board...4312734879.gif $P^_A_2$.
Thank you..

• Jan 16th 2011, 12:46 AM
DrSteve
I'll start you off.

For (a), I believe you can let $P$ be $<$ and let $R$ be $\leq$.
• Jan 16th 2011, 04:41 AM
emakarov
In c) it should probably say, "For $A_2$, it must be $\langle 0,0\rangle\in P^{A_2}$" since P is a binary predicate.