"whose only factors" -- that's where you are hiding the negation
("only" = "there is no other")
Well, there's a tricky thing in mathematics called "the law of excluded middle". Using the law, you can e.g. prove that a implies b is logically equivalent to (not a) or b. It also lets you do existence proofs by proving it isn't possible for there to be no examples. So in classical logic every statement is confused with its double negation.
I generally try to use intuitionistic logic though, where a->b is not logically equivalent to anything else and double negations have to be written out. You do have
, but that only goes one direction and re...
Eliezer's writing style of A->B, then A, then B, though generally clear, results in a large amount of redundancy.
In this post, I have attempted to reduce the number of rules needed to remember by half. The numbers are the rules from the original post.
So, without further ado, a good definition for a word:
And there you go. 17 rules, follow them all and you can't use words wrongly.