「メタ論理学」を解説文に含む見出し語の検索結果(1～10/268件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 09:41 UTC 版)「論理学の歴史」の記事における「現代論理学の時代」の解説現代論理学の発展は大きく五つの時...
.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...
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。信頼性に問題があるかもしれない資料に基づいており、精度に欠けるかもしれません。（2019年1月）独自研究が含まれているおそ...
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。信頼性に問題があるかもしれない資料に基づいており、精度に欠けるかもしれません。（2019年1月）独自研究が含まれているおそ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:09 UTC 版)「存在グラフ」の記事における「パースの役割」の解説記号学の先駆者であったパースだが、存在...
否定標準形（ひていひょうじゅんけい、英: negation normal form, NNF）とは、否定記号 ¬ {\displaystyle \lnot } が原子論理式のみにかかり、...
否定標準形（ひていひょうじゅんけい、英: negation normal form, NNF）とは、否定記号 ¬ {\displaystyle \lnot } が原子論理式のみにかかり、...
非古典論理（ひこてんろんり、non-classical logic(s)）は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて...
非古典論理（ひこてんろんり、non-classical logic(s)）は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて...
< 前の結果 | 次の結果 >