Results 1 to 6 of 6

Math Help - Proof

  1. #1
    Newbie
    Joined
    Dec 2009
    Posts
    7

    Proof

    [IMG]file:///C:/Users/user/AppData/Local/Temp/moz-screenshot.jpg[/IMG]Can you help how to establish the validity of the argument? (proof steps)
    Attached Thumbnails Attached Thumbnails Proof-proof1.jpg  
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,501
    Thanks
    765
    I am not sure it is valid. Consider the case when all variables except u are true and u is false.

    And in general, what does one mean by "establish the validity of the argument"? There are so many ways to do it, from truth tables to formal proofs, and it completely depends on what instructor's plans for the course are. How were similar exercises solved in the past?

    In fact, everybody knows what "and", "or", "not" and "implies" mean. So, even without knowing much technical details, you can try to come up with informal argument that either validates or invalidates the conclusion. Wrapping this informal argument into a form required by the course is often completely straightforward.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Dec 2009
    Posts
    7
    is it true ?
    Attached Thumbnails Attached Thumbnails Proof-steps.jpg  
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,501
    Thanks
    765
    That would be a valid solution provided you know two things: what rule is used at each step and where the mistake is in the problem statement in the original post.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Newbie
    Joined
    Dec 2009
    Posts
    7
    anybody can help please
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,501
    Thanks
    765
    First, look at 8) in the solution. This is an assumption that came directly from the problem statement. However, there is a small difference

    As I said, with this correction (in the problem statement) I believe the solution is correct. However, to claim that one knows the solution, I think one needs to be able to justify every step from 1 to 12. So, take a list of inference rules that you used in the course (or look at this Wikipedia page) and try to guess which rule is used in every step and to which formulas from previous steps it is applied. For starters, you can identify where the initial assumptions are used. E.g., as I said, assumption #3 (with a correction) is used in step 8. If you can't figure out which rule is used in some particular step, post here the rules and formulas for steps that you have figured out and the number of the problem step.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 15
    Last Post: June 8th 2011, 11:13 AM
  2. Replies: 5
    Last Post: October 19th 2010, 10:50 AM
  3. Replies: 0
    Last Post: June 29th 2010, 08:48 AM
  4. [SOLVED] direct proof and proof by contradiction
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: February 27th 2010, 10:07 PM
  5. proof that the proof that .999_ = 1 is not a proof (version)
    Posted in the Advanced Applied Math Forum
    Replies: 4
    Last Post: April 14th 2008, 04:07 PM

Search Tags


/mathhelpforum @mathhelpforum