Effective: 2004-02-15 New Beta release with the following updates: 1. Added Alt-key shortcuts for menus 2. Reorganized Logic menu 3. Revised User Manual -...
One user has written to me to suggest: "A big feature could be to allow any propositional calculus lemma to be used as new axioms. Eg. The tutorial proves...
Effective: 2004-03-03 New Beta release for DC Proof 1.0 with the following updates: 1. Added industry standard Ctrl-key shortcuts for Undo, Redo, Cut, Copy,...
Question received by e-mail today: How stable and safe do you think the current version is? My reply: Quite stable. Today's release had only minor changes, as...
I received this question a few days ago: I have a question on DCProof; is there a way to make definitions (for example, define how will a predicate or a...
Effective: 2004-03-07 New Beta release for DC Proof 1.0 with the following updates: 1. Fixed error message in the Premise Rule that pointed to the wrong line...
... one ... This approach isn't convenient for the developments I am intending to use. Let me give you an example: I want to prove (or check out) all the...
... be ... the ... click ... old ... copy ... to ... leave ... intending ... have ... this ... copy ... In this particular case, I do have the defintion of 0...
Effective: 2004-03-11 New Beta release for DC Proof 1.0 with the following update: 1. Fixed error in Find form that did not properly process special character,...
If you downloaded DC Proof yesterday, you may have the wrong version -- one that still contains a bug in Find form. To ensure you have the correct version,...
Effective: March 17, 2004 4:30PM EST New beta release including: 1. Change to enable use of Copy and Find functions at any point in processing, the only...
The definition of 0 was just a simple example. I am dealing right now with Bayesian Networks. I know that DCProof isn't intended for this kind of applications,...
Raphael, Would you please give me an example of a formal defintion that you have found to be problematic. Is it a question of notation? Dan ... now ... kind ...
... now ... kind ... of ... you, ... [snip] Definitions such as I provide for group theory -- with modifications if desired -- can easily be put in a file,...
Maybe I'm not making myself clear enough. Forget about group theory and 0, and suppose I have a new operator, which is no more than a closed funcion, I want to...
I have a new petition or suggestion on improvement. Suppose I want to prove that a<b => b>a Given your definitions of '<' and '>', there is a point in the...
... different ... absolute ... GIVING ... I understood that the group theoretic 0 was just an example. I mentioned it again only to show that it could be...
The Set Operations option on the Set menu does not work at all. There may sometimes be a problem parsing the set intersection (&&) and set union (||) operators...
Effective: March 20, 2004 1:45 AM New beta release including fix of bugs in Set Operations option of Sets menu, and other modules that did not recognize set...
How can I use XOR or an equivalent function in DCProof? I could not find it. An equivalent can be written as A XOR B = [A | B ] & ~ [ A & B ] One could use...
michaelg_lew
mglewis@...
Mar 23, 2004 10:40 pm
25
Mike, You cannot define your own logical operators in DC Proof. You can, however, define symmetric difference -- the set theoretic equivalent of XOR. To get an...
Dan might have a different point of view in this case, but he mostly chooses to implement features corresponding to basic teaching of logic as he observes,...
Currently the Cases rule corresponds to: [P | Q] & [[P => R] & [Q => R]] => R However this can be generalised to: [P | Q] & [[P => R] & [Q => S]] => R | S And...
Here are the promised definitions of symmetric difference (delta) as promised: www.dcproof.com/delta.proof (DC Proof format) www.dcproof.com/delta.html...
I will implement an XOR operator. Any suggestions for notation? I don't want to use "XOR" or "xor" because these are currently interpreted as a proposition and...
... And interesting possibility, but does this really come up that often? I'm sure there are hundreds of PC theorems I could implement. For pedagogical...
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.
