述語論理
じゅつごろんり
- predicate logic; predicate calculus n
Kanji
述
ジュツ
の.べる
mention; state; speak; relate
語
ゴ
かた.る • かた.らう
word; speech; language
論
ロン
あげつら.う
argument; discourse
理
リ
ことわり
logic; arrangement; reason; justice; truth
Synonyms
命題論理
めいだいろんり
- propositional logic n