Results 1 to 2 of 2

Math Help - Looking for software that helps

  1. #1
    Newbie
    Joined
    Apr 2010
    Posts
    23

    Question Looking for software that helps

    my first thread of this folder
    is their a software that makes logic proofs..aka box proofs... easier to understand.....
    i.e. the
    and intro n elim
    or intro n elim
    implies intro n elim
    double negation intro n elim
    negation intro n elim etc

    thanks in advance
    Last edited by npm1; April 12th 2010 at 12:49 PM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,513
    Thanks
    769
    I also am not sure what box proofs are. There are many programs (proof assistants) that can prove theorems with your guidance. I am using one called Coq, and it uses words like intro and elim, but I am not sure in the same sense as you do.

    There are also some visual programs to teach proofs, such as "Tarski World" by Jon Barwise and another author.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Solving for R2 (or X if that helps)
    Posted in the Algebra Forum
    Replies: 3
    Last Post: June 11th 2011, 08:16 PM
  2. Helps solving 4x5
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: April 13th 2010, 06:02 PM
  3. Differential Equations helps
    Posted in the Differential Equations Forum
    Replies: 6
    Last Post: November 28th 2009, 08:04 PM
  4. Replies: 13
    Last Post: October 31st 2008, 05:20 AM
  5. Need helps with series.
    Posted in the Math Topics Forum
    Replies: 8
    Last Post: August 30th 2008, 02:05 PM

Search Tags


/mathhelpforum @mathhelpforum