propositional logic
Technical term in logic and philosophy. Refers to the branch of logic that deals with propositions and their connectives.
In propositional logic, the truth values of propositions are represented by symbols.
In this lecture, we learn the basics of propositional logic.