述じゅつ語ご論ろん理り

noun

predicate logic; predicate calculus

Technical term in logic; contrasts with 命題論理 (propositional logic).

See also: 命題論理

• 述じゅつ語ご論ろん理りは命めい題だい論ろん理りよりも表ひょう現げん力りょくが高たかい。

  Predicate logic is more expressive than propositional logic.