prpositional lgic n. 【論理】 命題論理学《量化理論 (quantification theory) と共に, 最狭義の論理学の二部門の一つで, 命題の内部構造を問わず, 未分解な単位としての命題から構成され論理の性格を探求する分野; cf. propositional calculus》.