Page 2 of 2 FirstFirst 12
Results 16 to 17 of 17
Like Tree8Thanks

Math Help - Fitch :(

  1. #16
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,527
    Thanks
    773

    Re: Fitch :(

    Quote Originally Posted by R2013 View Post
    1. ~(p & q) Premise
    2. ~(~p | ~q) Assumption
    3. ~p Assumption
    4. ~p | ~q Or Introduction: 3
    Then you derive a contradiction from 4 and 2 and thus derive p from 3. In the same way, you derive q, and so p & q. And this contradicts 1, so from 2 you derive ~p | ~q.

    Quote Originally Posted by R2013 View Post
    I don't have the necessary background in discrete mathematics .. so is there a specific textbook or site you can recommend also so I can understand better and learn?
    I have not been following textbooks, unfortunately. The only book on general introduction to discrete mathematics I know is the one I used several years ago: Kenneth H. Rosen, Discrete mathematics and its applications. It is pretty good. I would search on Amazon for textbooks with good reviews. Also, you can search for discrete math textbooks used in universities (in Google, use "site:edu" to search only the .edu domain).

    For natural deduction (of which Fitch calculus is one possible notation), you can look at references on Wikipedia. I also found this post on Lambda the Ultimate blog. I personally would lean to expositions by computer scientists rather than philosophers. In particular, I like Frank Pfenning's lecture notes.
    Thanks from R2013
    Follow Math Help Forum on Facebook and Google+

  2. #17
    Newbie
    Joined
    Oct 2013
    From
    Canada
    Posts
    2
    Thanks
    1

    Re: Fitch :(

    Thank you so much .. that truly did help a lot.
    I will try your suggestion for books and wikepedia as well.
    That indeed was a great help!!
    Thanks again and have a lovely weekend
    Thanks from emakarov
    Follow Math Help Forum on Facebook and Google+

Page 2 of 2 FirstFirst 12

Similar Math Help Forum Discussions

  1. Problem with Fitch
    Posted in the Discrete Math Forum
    Replies: 8
    Last Post: October 27th 2013, 06:53 AM
  2. Abercrombie and Fitch to Make Yourself COOL
    Posted in the New Users Forum
    Replies: 0
    Last Post: February 20th 2013, 09:20 PM
  3. NEW QUESTION about Fitch
    Posted in the Discrete Math Forum
    Replies: 17
    Last Post: October 19th 2012, 05:56 AM
  4. Derivation using Fitch
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: October 23rd 2011, 03:07 AM
  5. How to convert with Fitch ~A v B to A -> B ?
    Posted in the Discrete Math Forum
    Replies: 7
    Last Post: June 30th 2010, 03:45 AM

/mathhelpforum @mathhelpforum