Bertie3 and Twootie 2.1 help learn symbolic Logic
Please, can anybody make portable these two, free and open source programs? They are needed by many students of symbolic Logic all around.
- BERTIE3 is a proof checker for natural deduction in sentential and predicate logic.
- TWOOTIE 2.1 is a tool for exploring truth trees in sentential and predicate logic.
Both programs ran originally under DOS, and worked fine under Windows untill Windows-XP. Thereafter, they only run under DOSBox (available as a portableapp), although some configuration is needed.
- Read more about Bertie3 and Twootie 2.1 help learn symbolic Logic
- 2 comments
- Log in or register to post comments