「推論規則」を解説文に含む見出し語の検索結果(101～110/547件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/12 00:33 UTC 版)「Resource Description Framework」の記事における「トリプル...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/05/15 06:56 UTC 版)「論証」の記事における「形式的論証と数学的論証」の解説数学においては、論証のそれぞれの文...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/29 15:57 UTC 版)「パラドックス」の記事における「数学・記号論理学」の解説ルイス・キャロルのパラドックス ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:08 UTC 版)「シークエント」の記事における「直観的な意味」の解説上記のようなシークエントの直観的な意...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/05/28 07:09 UTC 版)「自動定理証明」の記事における「論理学的背景」の解説論理学の起源はアリストテレスまで遡る...
否定標準形（ひていひょうじゅんけい、英: negation normal form, NNF）とは、否定記号 ¬ {\displaystyle \lnot } が原子論理式のみにかかり、...
否定標準形（ひていひょうじゅんけい、英: negation normal form, NNF）とは、否定記号 ¬ {\displaystyle \lnot } が原子論理式のみにかかり、...
論理学において、含意命題の対偶とは、条件をともに否定し、さらにその含意の向きを逆にしたものである。明示的に書けば、命題「AならばBである」の対偶は、「BでないならばAでない」となる。命題とその対偶の論...
論理学において、含意命題の対偶とは、条件をともに否定し、さらにその含意の向きを逆にしたものである。明示的に書けば、命題「AならばBである」の対偶は、「BでないならばAでない」となる。命題とその対偶の論...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...