Propositional logic is the study of logical propositions. It is sometimes called ''zeroth''-order logic because it does not deal with subjects or predicates but is specifically the study of the truth values of logical propositions and the logical connectives used to make compound propositions. [[Lewis Carroll]] wrote a book on it for young students. | Propositional logic is the study of logical propositions. It is sometimes called ''zeroth''-order logic because it does not deal with subjects or predicates but is specifically the study of the truth values of logical propositions and the logical connectives used to make compound propositions. [[Lewis Carroll]] wrote a book on it for young students. |