Results 1 to 2 of 2

Thread: entailment - interpretation

  1. #1
    Dec 2010

    entailment - interpretation

    Hello All

    To prove the following, I have tried resolution with success, but I need to do it using semantics of interpretation; that every interpretation that satisfies the first sentence satisifies the second. I am not sure on how to go about this ....... Your help is extrememly appreciated.

    F(x) iff P(x) or (G(x) and ~N(x))

    G(x) and ~N(x) implies F(x)

    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Dec 2010
    Consider any model
    \mathcal{M} \models \forall x (F(x) \leftrightarrow (P(x) \vee (G(x) \wedge \lnot N(x))))

    Using semantics of satisfaction this means, for any valuation  \mu (x) = v
    \mathcal{M}[\mu (x) = v]} \models F(x) \leftrightarrow (P(x) \vee (G(x) \wedge \lnot N(x)))

    Again by semantics of satisfaction, this means that \mathcal{M}[\mu (x) = v] models a truth table for the logical expression shown (of course, rigorously you have to decompose the semantics of all the logical connectives one by one). If the model interpretation is I, then:
     v\in I(F) iff (  v\in I(P) or (  v\in I(G) and not  v\in I(N) ))

    When the truth table of v\in I(...) for the above expression evaluates to true, you can show that
     v\in I(G) and (not  v\in I(N) ) implies  v\in I(F) also evaluates to true.

    This means
    \mathcal{M}[\mu (x) = v]} \models (G(x) \wedge \lnot N(x)) \rightarrow F(x)

    since the valuation for x was arbitrary
    \mathcal{M} \models \forall x ((G(x) \wedge \lnot N(x)) \rightarrow F(x))
    Last edited by snowtea; Dec 18th 2010 at 08:38 PM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Interpretation of an Integral
    Posted in the Calculus Forum
    Replies: 3
    Last Post: Jul 4th 2011, 09:21 AM
  2. Interpretation
    Posted in the Statistics Forum
    Replies: 4
    Last Post: Apr 26th 2011, 05:57 PM
  3. Interpretation of a Question
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: Feb 21st 2010, 10:28 AM
  4. a matter of interpretation
    Posted in the Calculus Forum
    Replies: 2
    Last Post: Feb 16th 2010, 11:11 AM
  5. Interpretation of Probability
    Posted in the Advanced Statistics Forum
    Replies: 1
    Last Post: Feb 5th 2010, 09:46 AM

Search Tags

/mathhelpforum @mathhelpforum