A new learning aid to teach
the fundamentals of logic and proof...
A new aid to critical thinking and logical analysis...
"Well conceived, carefully planned and remarkable in its pedagogy and content."
–Brendan Kelly Ph.D., Ed.D.,
Emeritus Professor of Mathematics and Mathematics
Education, OISE/University of Toronto
"What impressed me most about this teaching software is that it seems to focus
on ensuring that logic (FOPL) is stripped to its bare essentials, and these
simplest concepts are taught very thoroughly indeed, with full cross
referencing between practice and theory."
– Stephen Simmons, Clinical Director, National Health Service, UK
"A better tool for learning about proofs in the way that mathematicians usually do them."
–Norman Megill, Author of "Metamath"
-
Last build date: 2007-06-12
-
Download and install in under 30 seconds (with high-speed connection)
What is DC Proof?
-
PC-based freeware (software free for individual use – enquire about multi-user site licences)
-
An aid to critical thinking using the methods of formal logic and proof
-
Enables user to write formal arguments and proofs using convenient pull-down menus of the rules of logic and set theory, each line verified as it is entered
Features
-
Includes fully interactive, self-study tutorial that can serve as an introduction to symbolic logic and set theory at the high school, college or university levels (view table of contents and excerpt)
-
Color-coded variables indicate at a glance what kind of generalizations can be made, and when conclusions may be drawn
-
View proofs at various levels of detail – highlights and conclusions only, or full detail
-
Insert comments into the text of proofs for enhanced readability
