Weblioシソーラス

一階述語論理

first-order predicate logic、述語論理学、述語論理

Weblioシソーラスはプログラムで自動的に生成されているため、一部不適切なキーワードが含まれていることもあります。ご了承くださいませ。 詳しい解説を見る。お問い合わせ。