Tweet Propositional Logic A proposition (often denoted by capital letters P, Q, etc) is a statement, that can be either true or false. Its negation ¬P is obtained by prepending “it is not true that …” to P. If you negate twice, you get P back again: ¬(¬P) = P . Two propositions are equivalent … Continue reading Logic for Economists