DC Proof 1.0 Download

DC Proof 1.0 Description

"An aid to critical thinking using the methods of formal logic and proof"

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 you can free download DC Proof 1.0 now.

DC Proof 1.0 Keywords

DC Proof 1.0 Related Software

• DC++ Acceleration Patch
  DC++ Acceleration Patch is a useful add-on for DC++ p2p client.
• 100 Proof Cocktail Planner
  100 Proof Cocktail Planner is an interactive, easy-to-use planner that helps ...
• ColorBurst X·Proof
  A PostScript Level 3 compatible RIP for Digital Proofing
• SilverFast DC Pro
  SilverFast DC Pro - Digital Camera Software creates brilliant images
• SilverFast DC Pro (Mac)
  SilverFast DC Pro - Bildoptimierung von digitalen Kameradaten
• DC Proof
  An aid to critical thinking using the methods of formal logic and proof