Results 1 to 2 of 2

Math Help - Proof System questions (Logic)

  1. #1
    Newbie
    Joined
    Nov 2008
    Posts
    18

    Proof System questions (Logic)

    So, I got two questions that I'm not sure how to approach

    1. Give an example of a proof system with no theorems other than its logical axioms
    2. Give an example of a proof system which does not satisfy the Soundness Theorem. Prove your example is correct.

    If anyone can give a direction that will be great. Thanks in advance.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Newbie
    Joined
    Nov 2008
    Posts
    18
    Nevermind. I got it.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Logic-System Of Inference
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: October 30th 2010, 02:44 PM
  2. Logic (L system)
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: October 8th 2010, 01:49 AM
  3. Proof in axiomatic system (Prop. logic)
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: October 3rd 2010, 12:12 PM
  4. 2 simple proof questions, logic related
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: September 10th 2009, 08:16 PM
  5. Predicate logic (2 Questions)
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: January 19th 2009, 05:58 PM

Search Tags


/mathhelpforum @mathhelpforum