Non-Equivalence of Proposition and Negation