On Wed, Mar 18, 2009 at 08:09:10PM +0100, Francisco Vila wrote: > 2009/3/18 Graham Percival <gra...@percival-music.ca>: > > That's the fun thing about logical implication. A false premise > > logically implies any conclusion, even impossible ones. > > Yes but I'd call it begging the question, a fallacy > > http://en.wikipedia.org/wiki/Petitio_principii
No; begging the question would be p -> p. (or q -> q) p = "I have written source code (in the past few weeks) for lilypond" q = "My source code is copyrightable" We have: p -> q I'm arguing that ~q -> ~p, which is a perfectly valid point of boolean algebra. (~x means "not x" -- there's more than 5 different notations for "logical NOT", which makes life fun) Cheers, - Graham _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-devel
