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,...
Hi, Thanks for the suggestions. Below, you will find some suggestions to help you achieve at least some of the functionality you are looking for, using the...
Dan Christensen
dchris@...
Jun 8, 2005 8:43 pm
108
Dan, Thanks for the response to my wishlist, will respond to that over the weekend. Haven't quite gotten the hang of DCProof yet, and am stuck on a proof that...
There is a much easier way. See below. Dan Prove: (~A=>~B)=>(B=>A) Suppose... 1 ~A => ~B Premise 2 ~~B => ~~A Contra, 1 3 B => ~~A Rem DNeg, 2 4 B => A Rem...
Hi Dan, The problem with your proof is that it uses Contra, which is effectively the thing being proved. I agree that CASES should work. NB a workaround: if...
Mark Hurd
mhurd@...
Jun 11, 2005 1:58 pm
111
... Dan, thanks, I didn't realize you had a contrapositive rule as one of the primitives, it will certainly help in some circumstances. Anyway, I wasn't really...
... effectively the ... Imply-And to ... Then if ... Have just fixed this bug. Uploading now -- slow line. Here is the proof using Arbitrary Or Not rule the...
Effective Immediately New release of DC Proof 1.0 dated 2005-06-11 includes: 1. Fix to bug in Case Rule that, in some cases, would not recognize valid...
(Reply e-mailed to me from iquine -- my reply to this to follow) ... Gen' button invokes Universal Generalization, etc.<< Understood, but the tool bar still...
... Gen' ... a ... convenient (for ... I forgot to mention that DC Proof makes extensive use of CTRL, ALT and F key sequences, though not for all commands....
Effective Immediately New release of DC Proof 1.0 dated 2005-06-20 includes: 1. Change to Delete All References (F3) that will, in some cases, reduce the...
Dear Members, Following is a proof using the SUM operator for an arbritary number of constants: http://www.dcproof.com/SUMconstants.proof (DC Proof format) ...
Effective immeidately... New version of DC Proof 1.0 dated 2005-08-5 includes 1. New shortcuts for SUM and PROD operators (on Numbers menu) 2. Minor bug fixes,...
Dear members, I received the following proof from Mark Hurd. Using the new SUM shortcut, he proved that x + x^2 + x^3 + ... + x^k = x*((x^k-1)/(x-1)) for x>1 ...
Effective immediately... New release of DC Proof 1.0 dated 2005-8-8 includes: 1. Improved graphics (screen shots) in tutorial and user guide. 2. Larger fonts...
Effective immediately New release of DC Proof 1.0 dated 2005-12-10 Includes: 1. Fixed definition of pairwise intersection generated by Set Operations option. ...
Effective Immediately New Release of DC Proof 1.0 Includes: 1. Fixed bug in Universal Specification form that caused the form to close in response to some...
Dear members, Here is another, considerably simpler approach to working with real numbers in DC Proof. Rather than constructing the reals starting with Peano's...
Effective Immediately New Release of DC Proof 1.0 dated 2006-02-07 Includes: 1. Changed colour of system generated comments on main screen and in HTML output...
Effectively Immediately New release of DC Proof 1.0 dated 2006-02-15 includes: 1. Fixed bug in Subset Rule that could lead to invalid proofs as a result of...
Here are the axioms for the real numbers that users of DC Proof may find useful for doing proofs in real analysis (calculus). I will include it in the Samples...
Effective Immediately New Release of DC Proof 1.0 Dated 2006-02-22 Includes: 1. Fixed bug in Subset Rule that would sometimes insert brackets improperly....
Effective Immediately New Release of DC Proof 1.0 includes: 1. Warning on Premise Rule that lists existential variables (those introduced by Existential...
Effectively Immediately New release of DC Proof 1.0 dated 2006-03-10 includes: 1. In insert mode, after Undoing a change, cursor now properly reset at insert...
Effective Immediately New Release of DC Proof 1.0 dated 2006-03-20 includes: 1. Added Reset button to Substitution Form. 2. When closing a Premise Block...
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.
