用語クイズ／数理論理学
意味に合う用語を3つから選びましょう。
「◯◯とは、個体に関する変数と量化子（全称・存在）を用いて命題を表現できる数理論理学の体系で、述語論理とも呼ばれ、数学・計算機科学・人工知能の基礎となっています。」
この意味の用語は？
正解！ 残念…
「◯◯とは、ある論理体系や公理系において、ある命題とその否定の両方を同時に証明できないという性質のことです。」
この意味の用語は？
正解！ 残念…
「◯◯とは、記号・公理・推論規則を明示的に定め、機械的な規則のみによって定理を導き出せるように設計された論理の枠組みです。」
この意味の用語は？
正解！ 残念…
「◯◯とは、個体だけでなく集合や述語についても量化（すべての・ある）を行うことができる論理体系のことです。」
この意味の用語は？
正解！ 残念…
終了！
/ 4
ベストスコア: / 4 · プレイ回数
全問正解！すばらしい！
出題された用語（クリックで意味を見る）