命めい題だい論ろん理りめいだいろんりMeanings1nounpropositional logic; propositional calculuslogic›A branch of formal logic dealing with propositions and logical connectives. Often contrasted with 述語論理 (predicate logic).See also: 述語論理命めい題だい論
