Results 1 to 1 of 1

Math Help - formal proof

  1. #1
    Newbie
    Joined
    Oct 2007
    From
    Moldova
    Posts
    15

    [SOLVED]formal proof

    Help me please to find a solution for the last formula in exercise 12.8. from "Introduction to mathematical logic" by A.Church. Here it is:
    Prove as theorem of \mathrm{P_{\mathrm{W}}} without making use of the fourth axiom f\supset p:
    [p\supset r]\supset[[[p\supset q]\supset r]\supset r].
    Last edited by andrei; April 18th 2009 at 04:12 AM. Reason: solved
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Formal proof
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: September 18th 2011, 01:05 PM
  2. Formal Proof
    Posted in the Geometry Forum
    Replies: 1
    Last Post: May 30th 2011, 02:12 PM
  3. formal proof of set
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: March 6th 2010, 11:36 PM
  4. Formal proof
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: June 14th 2009, 11:19 PM
  5. Formal Proof
    Posted in the Calculus Forum
    Replies: 0
    Last Post: November 12th 2008, 03:43 PM

Search Tags


/mathhelpforum @mathhelpforum