Propositional logicPropositional logic is the basis for any study of logic. The sentences of propositional logic are built from a set of unstructured atomic propositions that are combined using a number of logical connectives. Logical connectives are Boolean operators whose names come from natural language, such as “not”, “and”, “or” and “implies”, and they are given a formal meaning that mimics its usage in natural language. Such sentences, like “John plays tennis” or “2 + 3 = 5 and John has a car”, can be said to have a truth value, i.e. to be true or false.