Propositional logic is a form of symbolic logic based on propositions. A example of a (non-atomic) proposition is , where and are propositional variables, each representing a proposition capable of being true or false. The truth of the entire statement based on the truth or falsity of the values. A truth table can be used to determine whether a (non-atomic) proposition is true or not.