noun
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.