「レーヴェンハイム＝スコーレムの定理」を解説文に含む見出し語の検索結果(171～180/235件中)
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
様相論理（ようそうろんり、英: modal logic）は、いわゆる古典論理の対象でない、様相（modality）と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱...
様相論理（ようそうろんり、英: modal logic）は、いわゆる古典論理の対象でない、様相（modality）と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱...
様相論理（ようそうろんり、英: modal logic）は、いわゆる古典論理の対象でない、様相（modality）と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱...