コンテンツにスキップ
サイドバーの切り替え
検索
アカウント作成
個人用ツール
アカウント作成
ログイン
ログアウトした編集者のページ
もっと詳しく
トーク
投稿記録
案内
メインページ
コミュニティ・ポータル
最近の出来事
新しいページ
最近の更新
おまかせ表示
練習用ページ
アップロード (ウィキメディア・コモンズ)
ヘルプ
ヘルプ
井戸端
お知らせ
バグの報告
寄付
ウィキペディアに関するお問い合わせ
ツール
リンク元
関連ページの更新状況
ファイルをアップロード
特別ページ
この版への固定リンク
ページ情報
ウィキデータ項目
印刷/書き出し
ブックの新規作成
PDF 形式でダウンロード
印刷用バージョン
言語
このWikipediaでは言語間リンクがページの先頭にある記事タイトルの向かい側に設置されています。
ページの先頭をご覧ください
。
目次の表示・非表示を切り替え
Category
:
推論規則
13の言語版
English
Esperanto
Español
فارسی
한국어
Nederlands
Português
Srpskohrvatski / српскохрватски
Simple English
Српски / srpski
Svenska
Українська
中文
リンクを編集
カテゴリ
ノート
日本語
閲覧
編集
履歴表示
その他
閲覧
編集
履歴表示
ヘルプ
推論規則
に関するカテゴリ。
このカテゴリの記事に記載されている概念は、
Category:論証 (論理学)
や
Category:定理
としても表現することができる。非常に多くの場合、同じ概念が複数のカテゴリに存在し、異なる方法で表現され、場合によっては異なる用語で表現される。
(英語版より)
カテゴリ「推論規則」にあるページ
このカテゴリには 21 ページが含まれており、そのうち以下の 21 ページを表示しています。
*
推論規則
論理和の導入
論理和の消去
論理積の導入
論理積の消去
T
Template:推論規則
か
仮言三段論法
き
逆
こ
後件肯定
せ
選言三段論法
そ
存在汎化
存在例化
た
対偶 (論理学)
対偶論法
と
導出原理
ド・モルガンの法則
に
二重否定の除去
ふ
普遍汎化
普遍例化
も
モーダストレンス
モーダスポネンス
カテゴリ
:
推論
論理式
論理的真理
命題論理
証明論
形式体系