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