Hi,
Teachers here may be interested some educational software I have
developed to teach the fundamentals of logic and proof. It enables
students to construct logical arguments and proofs using convenient
pull-down menus of rules and axioms.
A fully functional download is available for your evaluation at my
website http://www.dcproof.com
The download includes a self-study
tutorial in logic and elementary set theory (excerpt at my website).
Dan
