Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Mathematical Logic, Interpretation, Satisfiable, Consequence relation

  1. Jan 29, 2012 #1
    Theorem : let A be a set of formulas, a be a formula

    For all A and all a,

    Every interpretation which is a model of A is also a model of a iff
    not (Sat A) U {~a}

    Proof

    Every interpretation which is a model of A is also a model of a
    iff(1) there is no interpretation which is a model of A but not a model of a
    iff(2) there is no interpretation which is model of A U {~a}
    iff(3) not (Sat A) U {~a}

    i dont understand on the iff(2), it seems to assume that "but" is "union"(U)

    this is from ebbinghaus mathematical logic, this is my first time reading mathematical logic books, i've been noticing that much of the proof are using argument(english) rather than formal language. Furthermore like for example iff(1). i can tell how => goes, but rather now i am still trying to accept the <= part. HELP !!
    Edit: ok i already get the <= part in iff(1), but still dont know what happen on iff(2)
    Edit(2):
    the statement "Every interpretation which is a model of A is also a model of a"

    let B be arbitrary interpretation

    is the statement equivalent to "B is a model of A iff B is a model of a"?
    or "B is a model of A => B is a model of a"?
     
    Last edited: Jan 29, 2012
  2. jcsd
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted



Similar Discussions: Mathematical Logic, Interpretation, Satisfiable, Consequence relation
Loading...