Results 1 to 4 of 4

Math Help - Box proofs

  1. #1
    Newbie
    Joined
    Apr 2010
    Posts
    23

    Exclamation Box proofs

    is their a software that makes learning and making them easier
    thanx in advance
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,710
    Thanks
    1640
    Awards
    1
    Quote Originally Posted by npm1 View Post
    is their a software that makes learning and making them easier
    What is a box proof?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Apr 2010
    Posts
    23
    logical proofs
    i.e. premisses...assumptions and conclusion...etc
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,540
    Thanks
    780
    Do you mean Fitch-style calculus, or "flag notation"? It is a variant of Natural Deduction. Otherwise, basically all styles of logical proof have premises, assumptions and conclusions.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. proofs
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: March 2nd 2010, 03:54 AM
  2. lim sup and lim inf proofs
    Posted in the Differential Geometry Forum
    Replies: 6
    Last Post: February 24th 2010, 07:02 PM
  3. More Proofs
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: February 13th 2008, 07:05 PM
  4. Proofs
    Posted in the Calculus Forum
    Replies: 1
    Last Post: February 3rd 2008, 04:23 AM
  5. Replies: 3
    Last Post: October 6th 2007, 02:01 PM

Search Tags


/mathhelpforum @mathhelpforum