According to the language Wittgenstein builds in the Tractatus, you start with the set of atomic facts, pick some subset of them, negate all of the members of the subset (using
nand), and then add the new fact to your bag of facts. The process can be repeated ad infinitum.
So assume we start with atomic facts
r. A new statement would be
not p and not q. Then another statement could be
not (not p and not q), or
p or q.
My question is, assuming that all the atomic facts are true, does this mean that all negations of atomic facts are false? Does this mean negation (when you adjust for the possibility of multiple uses of negation, so that
not (not p) is the same as
p) is always wrong?