命題論理
めいだいろんり
- propositional logic n
Kanji
命
メイ • ミョウ
いのち
fate; command; decree; destiny; life; appoint
題
ダイ
topic; subject
論
ロン
あげつら.う
argument; discourse
理
リ
ことわり
logic; arrangement; reason; justice; truth
Synonyms
述語論理
じゅつごろんり
- predicate logic; predicate calculus n