Results 1 to 3 of 3

Thread: First order Logic

  1. #1
    Newbie
    Joined
    Dec 2010
    Posts
    15

    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 $\displaystyle \prec$a,b$\displaystyle \succ$$\displaystyle P^A$ and$\displaystyle \prec$b,c$\displaystyle \succ$$\displaystyle P^A$.

    c)Find an interpretation$\displaystyle A_1$ of T ,with Domain the set |$\displaystyle A_1$|={0} ,which is model of T.Find also an interpretation $\displaystyle A_2$of T ,with Domain the set |$\displaystyle A_2$|={0} ,which is NOT model of T. For $\displaystyle A_2$ it must be$\displaystyle \prec$0$\displaystyle \succ$$\displaystyle P^_A_2$.
    Thank you..


    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Nov 2010
    From
    Staten Island, NY
    Posts
    451
    Thanks
    2
    I'll start you off.

    For (a), I believe you can let $\displaystyle P$ be $\displaystyle <$ and let $\displaystyle R$ be $\displaystyle \leq$.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,577
    Thanks
    790
    In c) it should probably say, "For $\displaystyle A_2$, it must be $\displaystyle \langle 0,0\rangle\in P^{A_2}$" since P is a binary predicate.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. First order logic
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: Nov 16th 2011, 08:41 AM
  2. First Order Logic help with corrections.
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: Feb 22nd 2011, 01:51 PM
  3. First order logic
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: Feb 10th 2011, 07:10 AM
  4. First order Logic!
    Posted in the Discrete Math Forum
    Replies: 9
    Last Post: Jan 3rd 2011, 10:55 AM
  5. Indescribability and n-order logic
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: Oct 26th 2010, 11:46 PM

Search Tags


/mathhelpforum @mathhelpforum