ブラウザの設定でJava Scriptの使用を有効にしてご利用ください。
命題論理
論理和,論理積,含意,等価および否定の五つの論理記号を用いて論理式を構成することにより命題を形式化し,論理を研究する分野.述語論理と対比される.
出典:Wiktionary
propositional logic (複数形 propositional logics)
Propositional logic