ホーム
おまかせ表示
付近
ログイン
設定
寄付
ウィキペディアについて
免責事項
検索
Category
:
推論規則
言語
ウォッチリストに追加
編集
推論規則
に関するカテゴリ。
このカテゴリの記事に記載されている概念は、
Category:論証 (論理学)
や
Category:定理
としても表現することができる。非常に多くの場合、同じ概念が複数のカテゴリに存在し、異なる方法で表現され、場合によっては異なる用語で表現される。
(英語版より)
カテゴリ「推論規則」にあるページ
このカテゴリには 20 ページが含まれており、そのうち以下の 20 ページを表示しています。
*
推論規則
論理和の導入
論理和の消去
論理積の導入
論理積の消去
T
Template:推論規則
か
仮言三段論法
き
逆
せ
選言三段論法
そ
存在汎化
存在例化
た
対偶 (論理学)
対偶論法
と
導出原理
ド・モルガンの法則
に
二重否定の除去
ふ
普遍汎化
普遍例化
も
モーダストレンス
モーダスポネンス