Results 1 to 2 of 2

Math Help - translation to relational symbol sets (From "Mathematical Logic" Ebbinghaus, et al)

  1. #1
    Newbie
    Joined
    Sep 2010
    Posts
    6

    translation to relational symbol sets (From "Mathematical Logic" Ebbinghaus, et al)

    if anyone has the book "Mathematical Logic" by Ebbinghaus, Flum and Thomas, I'd like to check if the pf of thm 1.3 on pg 117 is correct. I don't think it is. In the pf of part (a)we're not told anything about possible S-formulas where constant symbols appear. The pf of equivalence would be completely non-trivial when we have to deal with such formulas. Can someone tell me why it is that this case isn't treated?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Newbie
    Joined
    Sep 2010
    Posts
    6
    The stipulation that term-reduced formulas will suffice still allows for constants to show up in S-formulas.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 1
    Last Post: September 16th 2011, 02:08 AM
  2. Replies: 4
    Last Post: June 3rd 2011, 09:46 AM
  3. Replies: 1
    Last Post: October 25th 2010, 05:45 AM
  4. logic: expressing "or" in terms of "implies not"
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: September 29th 2007, 07:55 AM

Search Tags


/mathhelpforum @mathhelpforum