命めい題だい論ろん理り

noun

propositional logic; propositional calculus

A branch of formal logic dealing with propositions and logical connectives. Often contrasted with 述語論理 (predicate logic).

See also: 述語論理

• 命めい題だい論ろん理りでは、命めい題だい変へん数すうと論ろん理り結けつ合ごう子しを使つかって論ろん理り式しきを表ひょう現げんする。

  In propositional logic, logical formulas are expressed using propositional variables and logical connectives.