Software to construct Truth Trees, formal logic?

May 19, 2009 by admin · 1 Comment
Filed under: Mathematics 
construction tools
kathryngammons asked:


I’m wondering if there is a program or plug-in for Microsoft word that will aide me in the construction of truth - trees used in Formal Logic. I’m not looking for a program to SOLVE the problems, just give me tools to help build the tree so it is orderly and uses the symbols that I wish.

Tags: , ,

Comments

One Response to “Software to construct Truth Trees, formal logic?”
  1. jim_thompson5910 says:
    May 21, 2009 at 2:18 am

    Check out this site:

    and it will make truth tables of the expressions you enter

    For trees take a look at:

    and it will not only construct the tree, but it will show you if the argument is valid or not

Speak Your Mind

Tell us what you're thinking...