用語クイズ／論理学
意味に合う用語を3つから選びましょう。
第問 / 10
スコア:
「◯◯とは、「過去・現在・未来」にわたる命題の真偽の変化を扱うために、時間の概念を組み込んだ様相論理の一種です。」
この意味の用語は？
「◯◯とは、ある論理式を真にする変数の値割り当てが少なくとも1つ存在するかどうかという論理学・計算理論上の概念です。」
この意味の用語は？
「◯◯とは、「必然的に真である」「可能的に真である」といった命題の様相（モード）を扱う論理体系のことです。」
この意味の用語は？
「◯◯とは、大前提・小前提・結論の三つの命題からなる古典的な演繹推論の形式です。」
この意味の用語は？
「◯◯とは、意味論的に真であるすべての命題を、形式的な体系の中で証明できるという性質のことです。」
この意味の用語は？
「◯◯とは、論理体系において前提となる命題から結論を導くための形式的な手続きを定めた規則のことです。」
この意味の用語は？
「◯◯とは、等号（イコール）を扱う公理を通常の述語論理に加えた論理体系で、対象どうしが「同一である」という関係を形式的に扱います。」
この意味の用語は？
「◯◯とは、「PならばQ」という形の命題で、前提Pが成り立つときには必ず結論Qも成り立つという論理関係です。」
この意味の用語は？
「◯◯とは、証明なしに真であると認められ、論理体系や数学の出発点となる基本的な命題のことです。」
この意味の用語は？
「◯◯とは、ある論理体系において証明できる命題はすべて意味論的に真である、という性質のことです。」
この意味の用語は？
終了！
/ 10
ベストスコア: / 10
·
プレイ回数
全問正解！すばらしい！