古典論理における推論規則
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:05 UTC 版)
「推論規則」の記事における「古典論理における推論規則」の解説
古典論理における代表的な推論規則を以下に示す。（⊢は推論を表すメタ言語の記号であり、A0, …, An-1 ⊢ BはA0, …, An-1からBが導かれることを示す。）
※この「古典論理における推論規則」の解説は、「推論規則」の解説の一部です。
「古典論理における推論規則」を含む「推論規則」の記事については、「推論規則」の概要を参照ください。
ウィキペディア小見出し辞書の「古典論理における推論規則」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- 古典論理における推論規則のページへのリンク
