「量・化」を解説文に含む見出し語の検索結果(71～80/1392件中)
数理論理学の述語論理において、以下の2種類の限量子がある。量化も参照。限定記号、限量記号とも呼ばれる。全称限量子（∀） - 全てが対象であると修飾存在限量子（∃） - 対象が1つ以上存在すると修飾修飾...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/03/08 01:46 UTC 版)「ジチイン」の記事における「1,4-ジチイン」の解説1,4-ジチインは、より熱心に研究さ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/10 09:48 UTC 版)「ドゥカティ」の記事における「SSシリーズ」の解説詳細は「ドゥカティ・SS」を参照 Sシ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/30 10:21 UTC 版)「種」の記事における「しゅ」の解説種 (カテゴリー論) - 類の下位概念 。最低種概念を...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/04/10 07:43 UTC 版)「有機ホウ素化合物」の記事における「アルキリデンボラン」の解説アルキリデンボランは一般式...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/02/02 14:48 UTC 版)「共有結合性有機構造体」の記事における「トリアジン型」の解説ニトリルの三量化反応による1...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/05 04:57 UTC 版)「モデル理論」の記事における「一階述語論理」の解説詳細は「一階述語論理」を参照 普遍代数...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/13 23:33 UTC 版)「超準解析」の記事における「上部構造アプローチ」の解説以下ではモデル論的アプローチに分類...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/29 03:08 UTC 版)「依存型」の記事における「二階の依存型理論」の解説二階の依存型を持つ λ ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/12 02:07 UTC 版)「数理論理学」の記事における「他の古典論理」の解説一階述語論理の他にも多くの論理体系が考...