Page 2 of 2 FirstFirst 12
Results 16 to 18 of 18

Math Help - NEW QUESTION about Fitch

  1. #16
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,417
    Thanks
    718

    Re: NEW QUESTION about Fitch

    Quote Originally Posted by rai009 View Post
    Given (p∧q), use the Fitch system to prove (p∨q)
    This is a little trickier and requires the use of negation elimination, which is properly called double-negation elimination. It is easier to derive (p ∨ q) if you can derive (A ∨A) for any formula A. But assuming this is not done, we proceed as follows.

    Assume (p ∨ q). From this in the end we will derive a contradiction and thus (p ∨ q), and then use double-negation elimination to derive (p ∨ q). Now assume p and q. Then p ∧ q, which contradicts (p ∧ q). Therefore, p, which implies (p ∨ q). This in turn contradicts (p ∨ q), so we conclude q. Then we repeat by deriving (p ∨ q), which again contradicts (p ∨ q). Thus, (p ∨ q) and (p ∨ q).
    Follow Math Help Forum on Facebook and Google+

  2. #17
    Newbie
    Joined
    Oct 2012
    From
    Bangladesh
    Posts
    9

    Re: NEW QUESTION about Fitch

    Thanks for the help but i can't show contradiction as i mentioned before my program doesn't allow contradiction introduction.....how do i do it without using contradiction introduction rule?
    Follow Math Help Forum on Facebook and Google+

  3. #18
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,417
    Thanks
    718

    Re: NEW QUESTION about Fitch

    You can read the word "contradiction" informally. In the description in post #16, contradiction is derived from A and ~A for some formula A, and this contradiction is immediately used to close one of the open assumption and derive the negation of that assumption. In your case, you derive the negation of the assumption directly from A and ~A.
    Follow Math Help Forum on Facebook and Google+

Page 2 of 2 FirstFirst 12

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. 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
  5. Formal proof (using Fitch Format) with an OR
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: June 29th 2010, 02:06 AM

Search Tags


/mathhelpforum @mathhelpforum