Propositional logic is a form of symbolic logic that involves two (2) or more factors, conventionally, P and Q, with each factor having two (2) possible values, for example, true or false, used by Piaget and Inhelder to describe formal operational thought.