
First order Logic
http://s3.amazonaws.com/answerboard...7750315397.gif
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 a,b http://s3.amazonaws.com/answerboard...4312734879.gif and b,c http://s3.amazonaws.com/answerboard...4312734879.gif .
c)Find an interpretation of T ,with Domain the set  ={0} ,which is model of T.Find also an interpretation of T ,with Domain the set  ={0} ,which is NOT model of T. For it must be 0 http://s3.amazonaws.com/answerboard...4312734879.gif .
Thank you..

I'll start you off.
For (a), I believe you can let be and let be .

In c) it should probably say, "For , it must be " since P is a binary predicate.