User talk:Dfeuer/Factor Principles/Disjunction on Right/Formulation 1/Proof 4

I thought it had been made clear that this is not the preferred way of creating proofs (if you are still writing, use Template:Inuse in the future, or even better, use preview until you're ready). Also, please include the $p,q,r$ columns for ease of reference (especially $r$ is a bit hidden). &mdash; Lord_Farin (talk) 09:13, 1 March 2013 (UTC)

Will move this to your user space in 30 minutes unless you reply. &mdash; Lord_Farin (talk) 09:13, 1 March 2013 (UTC)


 * Well, I moved it, but since I've lost admin privileges you'll have to clean up the mess I left behind. --Dfeuer (talk) 09:19, 1 March 2013 (UTC)


 * Also, I have no idea what you mean about columns. I copied the format from the proof of Constructive Dilemma. --Dfeuer (talk) 09:20, 1 March 2013 (UTC)


 * There appears to be nothing structurally wrong with this proof - it looks perfectly adequate to me. Apart from a rogue  tag that is. I do however endorse LF's suggestion that a proof which is half-written get saved in user space until ready to be published. I appreciate that your style is for frequent saving of work-in-progress, but be aware that this has adverse consequences on the database (each of the interim versions soaks up disk space for a start) so you might want to work on your interim versions using an off-line code development environment. --prime mover (talk) 09:51, 1 March 2013 (UTC)


 * The proof is not flawed, but since the third variable $r$ occurs only relatively far to the right, I thought it could be a good idea to include columns stating the valuations of $p,q,r$ explicitly at the left. 't Was a suggestion that I thought could improve the readability. See the pages discussing the method of truth tables. &mdash; Lord_Farin (talk) 10:05, 1 March 2013 (UTC)


 * As for the disk space: IIRC the whole "diff" approach has the nice benefit of only storing the successive differences between edits. This greatly reduces the amount of duplicated material, so that DB size is not really a problem. 't Is just a general courtesy to other contributors to not save an article 30 times intermediately (so as to not flush the Recent Changes), but e.g. five edits each adding a substantial amount of characters are not a problem. CDE can help sometimes, because it has more options and features than a textarea in one's browser. &mdash; Lord_Farin (talk) 10:12, 1 March 2013 (UTC)