しんりち‐ひょう【真理値表】
数学や論理学で、いくつかの命題を論理演算子で合成して新しい命題を作ったとき、もとの命題と合成された命題の真偽の関係を示す表。真理表。真偽表。
じこげんきゅう‐の‐パラドックス【自己言及のパラドックス】
エピメニデスのパラドックスまたは嘘つきのパラドックスとして広く知られる自己言及にまつわる論理的逆説。「この文は誤りだ」のように、発話の主体が自己を含めて何らかの指示や言及をしようとすると、真偽を...
じっせんりせい‐の‐ようせい【実践理性の要請】
理論理性によっては証明できないが、道徳的実践における無条件的な命令を根拠づけるために、実践理性が不可欠のものとして承認せねばならない、自由、魂の不死、神の存在の三命題。
じゅうぶん‐じょうけん【十分条件】
命題「AならばB」が成り立つとき、AはBであるための十分条件という。⇔必要条件。
じゅつ‐ご【述語】
１ 文の成分の一。主語について、その動作・作用・性質・状態などを叙述するもの。「鳥が鳴く」「山が高い」「彼は学生だ」の「鳴く」「高い」「学生だ」の類。 ２ 論理学で、判断（命題）において、主語に...
じゅつご‐ろんり【述語論理】
記号論理学の一部門。命題内部の論理構造である主語と述語の関係「すべての主語は…である」「ある主語は…である」などを、論理記号（全称∀・存在∃など）によって記号化して研究するもの。→命題論理
すうがくてき‐きのうほう【数学的帰納法】
数学で、自然数nの命題が、n＝1のときに成り立ち、次にn＝kのときに成り立つと仮定して、n＝k＋1のときにも成り立つことを証明すれば、この命題は任意の自然数nについて成り立つという証明法。完全帰納法。
せん‐げん【選言】
論理学で、命題と命題を「または」「あるいは」に相当する記号で結合する形式。また、それで表された立言。
せんげん‐てき【選言的】
［形動］《disjunctive》論理学で、命題において二つ以上の選言肢が含まれ、少なくともそのうちの一つが選択されるべきことを示すさま。
せんげんてき‐はんだん【選言的判断】
論理学で、命題において二つ以上の選言肢が含まれ、少なくともそのうちの一つが選択されるべきことを立言する判断。離接的判断。選言判断。→定言的判断 →仮言的判断
