「論理式_(数学)」を解説文に含む見出し語の検索結果(1～10/633件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/21 03:29 UTC 版)「論理式 (数学)」の記事における「閉論理式」の解説閉論理式または文とは、自由変数がない...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/21 03:29 UTC 版)「論理式 (数学)」の記事における「原子論理式と開論理式」の解説詳細は「原子論理式」を参...
指定された集合のいかなる要素の名前にも取り替えることができる論理式あるいは数式の記号形式論理学において,ホーン節という,命題論理式の節形式融合原理という,述語論理式が成立するかしないかを表す規則テスト...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/10 14:38 UTC 版)「論理式 (数学)」の記事における「述語論理」の解説一階述語論理 Q S {\displ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/10 14:38 UTC 版)「論理式 (数学)」の記事における「命題論理」の解説命題論理の論理式は命題論理式（英語版...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/10 14:38 UTC 版)「論理式 (数学)」の記事における「語誌」の解説初期の数理論理学者の幾人かは、『form...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/15 14:55 UTC 版)「トポス (数学)」の記事における「数理論理学との関わり」の解説Kripke-Joyal...
読み方：ろんりぷろぐらみんぐ【英】：logic programming 概要 知識や森羅万象の因果関係を論理記号と非論理記号を使って形式的に記述したものは論理式と呼ばれる. この中で一階述語論理式と呼...
読み方：ろんりぷろぐらみんぐ【英】：logic programming 概要 知識や森羅万象の因果関係を論理記号と非論理記号を使って形式的に記述したものは論理式と呼ばれる. この中で一階述語論理式と呼...
読み方：ろんりぷろぐらみんぐ【英】：logic programming 概要 知識や森羅万象の因果関係を論理記号と非論理記号を使って形式的に記述したものは論理式と呼ばれる. この中で一階述語論理式と呼...
< 前の結果 | 次の結果 >