Effective immediately New release of DC Proof 1.0 includes: 1. Revisions to Example 1 in Tutorial that should help those not already familiar with logical...
For more advanced users, the following proof is the first step toward constructing the real numbers in DC Proof: http://www.dcproof.com/ConstructAddn.proof...
See inline... ... From Mark Hurd, http://www.dcproof.com/AddCommutative.proof http://www.dcproof.com/AddCommutative.html Thanks yet again, Mark! ... of ... at ...
From Mark Hurd, http://www.dcproof.com/AddCancellable.proof http://www.dcproof.com/AddCancellable.html Thanks again, Mark. To summarize this thread, we have...
Advancing toward our goal of constructing the real numbers in DC Proof, we have already constructed and established the essential properties of the ADD...
Effective immediately. New release of DC Proof 1.0 including: 1. Fixed bug in Existential Generalization (E Gen) Rule that, in some cases, failed to detect if...
On October 19, 2004, Mark Hurd wrote: Here's ConstructMultiply1 complete (except for some comments) and MultiplyUnique (with no comments). Regards, Mark Hurd,...
Effective immediately. New release of DC Proof 1.0 (dated 2004-11-06) including: 1. Fixed bug that caused overflow condition when opening very long proofs....
Effective Immediately New release of DC Proof 1.0 includes: 1. New Text Size option on View menu. 2. Spaces now inserted around epsilon character for enhanced ...
Effective Immediately New release of DC Proof 1.0 dated 2004-11-20 includes: 1. New Text Size option on View menu now applies not only to proof text on the...
Here's the Integers constructed, and unique, and Add on Integers as a function. I'm now adding a definition of zero and one to show x+0=x and x+(y+1)=(x+y)+1. ...
Effective Immediately New release of DC Proof 1.0 includes: 1. Fixed bug that, in some cases, failed to update a proof or incorrectly returned a parser error...
Effective 2004-12-06 (Apologies for the delayed notice) New relase of DC Proof 1.0 includes 1. Bug fix for Find (F8) command, that sometimes incorrectly ...
... The format of the proof in the first reply to this question was a bit confusing. In the plain text of these postings, it's hard to tell comments from the...
Hi there Thanks very much could any one plz solve this in DC proof now it's important for me to Know the solution now at this moment there exist x (C(x)&E(x))&...
... Is this for a school assignment? I will give you a hint. This can be proven in 11 lines in DC Proof. For the first 4 lines, use the following rules (in...
Effective immediately New Release of DC Proof 1.0 includes: 1. Minor revisions to section on Set Theory in User Reference Guide. 2. Added proof file to...
Further to today's release of DC Proof 1.0, here are the proof files for the Axiom of Choice mentioned in the notice: http://www.dcproof.com/Choice.html (HTML...
Effective immediately New release of DC Proof 1.0 includes: 1. Fixed bug that, in some cases, did not set colours of free variables correctly, i.e. did not...
Effective Immediately New release of DC Proof 1.0, dated 2005-04-24 (See Help/About) Includes corrections to user documentation. Thanks again to Mark Hurd for...
Effective Immediately New release of DC Proof 1.0 (dated 2005-05-17) includes: 1. Fixed minor bug in mouse-click processing. Occassionally, cursor data would...
Effective Immediately New release of DC Proof 1.0, dated 2005-05-22 Includes: 1. Fixed bug in Make HTML File option that would occassionally drop symbols "<"...
Wish list/suggested enhancements/silly ideas, from the point of view of someone who has just started using DC Proof 1) Hot Keys for the most common functions,...
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
