Results 1 to 2 of 2

Thread: Looking for software that helps

  1. #1
    Apr 2010

    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; Apr 12th 2010 at 12:49 PM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Oct 2009
    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: Jun 11th 2011, 08:16 PM
  2. Helps solving 4x5
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Apr 13th 2010, 06:02 PM
  3. Differential Equations helps
    Posted in the Differential Equations Forum
    Replies: 6
    Last Post: Nov 28th 2009, 08:04 PM
  4. Replies: 13
    Last Post: Oct 31st 2008, 05:20 AM
  5. Need helps with series.
    Posted in the Math Topics Forum
    Replies: 8
    Last Post: Aug 30th 2008, 02:05 PM

Search Tags

/mathhelpforum @mathhelpforum