述語論理

Reading

Kana: じゅつごろんり
Romaji: jutsugoronri
Kana
Romaji

Definition

1

predicate logic; predicate calculus

See also: 命題論理

Kanji

Readings: ジュツ、 の.べる
Meanings: mention, state, speak, relate
Readings: ゴ、 かた.る、 かた.らう
Meanings: word, speech, language
Reading: ロン
Meanings: argument, discourse
Readings: リ、 ことわり
Meanings: logic, arrangement, reason, justice, truth