Results 1 to 8 of 8

Math Help - How to convert with Fitch ~A v B to A -> B ?

  1. #1
    Junior Member
    Joined
    Oct 2009
    Posts
    31

    How to convert with Fitch ~A v B to A -> B ?

    How, using the Fitch format, do I transform something of the form

    ~A V B
    to
    A -> B ?

    Is it possible at all?

    Thanks
    Last edited by devouredelysium; June 29th 2010 at 01:00 AM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,617
    Thanks
    1581
    Awards
    1
    Quote Originally Posted by devouredelysium View Post
    How, using the Fitch format, do I transform something of the form

    ~A V B
    to
    A -> B ?

    I want to be able to use Modus Ponens, as I have something of the form
    1. A
    2. ~A V B
    and I pretend to conclude B. That would be easy having ~A V B in the form A -> B.
    What is Fitch format?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Oct 2009
    Posts
    31
    It's a system used in Language, proof and logic. Something like this:
    How to convert with Fitch ~A v B to A -> B ?-fig1.png
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,617
    Thanks
    1581
    Awards
    1
    Quote Originally Posted by devouredelysium View Post
    It's a system used in Language, proof and logic. Something like this:Click image for larger version. 

Name:	fig1.png 
Views:	31 
Size:	10.2 KB 
ID:	18037
    Thank you for that answer.
    But I must tell how idiosyncratic, course specific, and nonstandard I find it.
    It seems to me that this goes with a particular textbook, maybe computer science?
    I hope you find someone here who is familiar with this approach.
    But again, it does seem to me to be out of the mainstream.
    I hope someone here can help you.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Junior Member
    Joined
    Oct 2009
    Posts
    31
    Yes, it is used in Computer Science courses. It's a shame that not everyone uses the same system, as then it is harder to find people that can help you with answers to your questions .

    Now, back on topic!
    Follow Math Help Forum on Facebook and Google+

  6. #6
    A Plied Mathematician
    Joined
    Jun 2010
    From
    CT, USA
    Posts
    6,318
    Thanks
    4
    Awards
    2
    Well, you definitely need to assume \neg A\vee B. And then, since you are trying to prove A\to B, I would assume A as starting a subproof. Then, it seems to me, you should try \vee elimination on the assumption. Remember: that you can derive anything from a contradiction is a powerful tool! Often, you get a contradiction, and you can simply jump to your conclusion immediately in the current subproof.

    Reply to Plato: I don't know how widespread Fitch is; it certainly seems all the rage at Stanford. It was the method I was taught at Virginia Tech (of course, the prof I had came from Stanford, so perhaps that explains that). The Barwise and Etchemendy book Language, Proof, and Logic uses Fitch in conjunction with the natural deduction rules.

    I like the natural deduction rules, because they are an incredibly well-organized way of remembering your inference rules. It compares very well with Copi's however many rules he has. Each symbol has its introduction and elimination rule, and that's really all you have to remember.

    Taken together, Fitch and natural deduction rules are a very powerful, easy-to-use system, in my opinion.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Junior Member
    Joined
    Oct 2009
    Posts
    31
    Thanks. Now not only did I prove A -> B from ~A v B , as the opposite, ~A v B from A -> B!
    Follow Math Help Forum on Facebook and Google+

  8. #8
    A Plied Mathematician
    Joined
    Jun 2010
    From
    CT, USA
    Posts
    6,318
    Thanks
    4
    Awards
    2
    Excellent! Have a good one.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 9
    Last Post: December 10th 2011, 01:23 PM
  2. Derivation using Fitch
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: October 23rd 2011, 03:07 AM
  3. Abstract reasoning/natural deduction with Fitch
    Posted in the Discrete Math Forum
    Replies: 10
    Last Post: October 19th 2011, 12:37 PM
  4. Formal proof (using Fitch Format) with an OR
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: June 29th 2010, 02:06 AM
  5. Can someone help me convert these two?
    Posted in the Pre-Calculus Forum
    Replies: 2
    Last Post: July 16th 2008, 07:59 PM

Search Tags


/mathhelpforum @mathhelpforum