Is There a User-Friendly Program for Creating Truth Trees?

blalien
Messages
31
Reaction score
0
I'm looking for a simple program that will create truth trees for me. You see graphics like this (http://upload.wikimedia.org/wikipedia/en/thumb/a/ad/Partially_built_tableau.svg/200px-Partially_built_tableau.svg.png) all the time, but I can't believe anybody would be fiddling around on MS Paint or one of those excessively complicated flow chart programs. Any recommendations? Free is always good.
 
Physics news on Phys.org
I don't see that it's too complicated to make such graphs with basic vector graphics editor like http://www.inkscape.org/" .
 
Last edited by a moderator:
Dot

Try dot/GraphViz.
 
Image looks like it was made in microsoft visio to me
 

Thread 'Roulette wheel physics and probability'

Hi all, I've been a roulette player for more than 10 years (although I took time off here and there) and it's only now that I'm trying to understand the physics of the game. Basically my strategy in roulette is to divide the wheel roughly into two halves (let's call them A and B). My theory is that in roulette there will invariably be variance. In other words, if A comes up 5 times in a row, B will be due to come up soon. However I have been proven wrong many times, and I have seen some...
View full post »
Thread 'Detail of Diagonalization Lemma'

Thread 'Detail of Diagonalization Lemma'

The following is more or less taken from page 6 of C. Smorynski's "Self-Reference and Modal Logic". (Springer, 1985) (I couldn't get raised brackets to indicate codification (Gödel numbering), so I use a box. The overline is assigning a name. The detail I would like clarification on is in the second step in the last line, where we have an m-overlined, and we substitute the expression for m. Are we saying that the name of a coded term is the same as the coded term? Thanks in advance.
View full post »

Similar threads

Java What are the differences between creating graphical programs in Java and C#?
Replies
3
Views
3K
Which Software Can Create Vector Graphics Like These?
Replies
9
Views
2K
Comp Sci Turning a Java program into an applet
Replies
5
Views
3K
Kerbal Space Program - Rocket Design Basics
Replies
2
Views
9K
Need program for roman numerals
Replies
2
Views
8K
Why Linux? Not so sure as I used to be
Replies
12
Views
6K
Requesting suggestions for languages, libraries, and architectures for parallel (and sometimes non parallel) numerical and scientific computations
Replies
8
Views
4K
Model Pulley: Understanding System Physics
Replies
27
Views
10K
Surface roughness in 2D sinusoidal corrugation
Replies
1
Views
4K
Mathematica This Week's Finds in Mathematical Physics (Week 225)
Replies
1
Views
2K

Hot Threads

Recent Insights

Back
Top