1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Quetion about proofs.

  1. Oct 2, 2006 #1
    I'm reading Introduction to Mathematical Logic gy by Vilnis Detlovs and Karlis Podnieks, and I'm confused about proofs.

    In the book, it says that to prove directly you should find ways to substitute the hypoethesis formula(s) into one of the axiom schemas so that other formulas will be implied, with the goal of ultimately leading to the conclusion which one wishes to prove.

    However, I'm a bit unsure about what types of substitutions are allowed. For instance, take the following axiom schema, "L2":

    A -> (B -> C) -> (A -> B) -> (A -> C)

    Can I substitute the same letter in a hypoethesis formula for more than one letter in the schema? For instance:

    Hypothesis: A -> (A -> C)

    Conclusion: (A -> A) -> (A -> C) (L2)

    Where the A from the hypothesis is substituted for A and B (consistently) in the axiom schema.

    Is this "valid" (to use the word imprecisely)?

  2. jcsd
  3. Oct 2, 2006 #2


    User Avatar
    Science Advisor
    Homework Helper

    Does it say anywhere that A and B have to be different?
  4. Oct 2, 2006 #3
    No, and I assumed that I could substitute a single letter twice. It phrases the axioms, as "[some formula including A B and C] for any formulas A, B, and C." It doesn't say anything like "for any unique formulas....".

    If you have any experience with formal languages, do you think it would be paranoid to assume that I'm doing my proofs incorrectly because I'm substituting the same letter twice?
  5. Oct 2, 2006 #4


    User Avatar
    Science Advisor
    Homework Helper

    If it says "for any formulas A, B, and C" then A and B can indeed be the same. So yes, you are being paranoid ;).
  6. Oct 3, 2006 #5
    Heh, thanks. :)
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Similar Threads for Quetion proofs Date
Logic behind a proof Apr 19, 2018
Proof about equality. Apr 15, 2018
Proof of minimum polynomial Apr 12, 2018
Few Quetions need help :P Mar 14, 2012
Can you help me to set up the quetion please Feb 1, 2010