ヘルプ
Category:推論規則
ナビゲーションに移動
検索に移動
推論規則
(
Rules of inference
)に関するカテゴリ。
カテゴリ「推論規則」にあるページ
このカテゴリには 22 ページが含まれており、そのうち以下の 22 ページを表示しています。
*
推論規則
論理和の導入
論理和の消去
論理積の導入
論理積の消去
T
Template:推論規則
か
仮言三段論法
き
逆
こ
後件肯定
せ
選言三段論法
そ
存在汎化
存在例化
た
対偶 (論理学)
対偶論法
と
導出原理
ド・モルガンの法則
に
二重否定の除去
は
背理法
ふ
普遍汎化
普遍例化
も
モーダストレンス
モーダスポネンス
カテゴリ
:
論理学
命題論理
証明論
形式体系
案内メニュー
個人用ツール
ログインしていません
トーク
投稿記録
アカウント作成
ログイン
名前空間
カテゴリ
ノート
変種
表示
閲覧
編集
履歴表示
その他
検索
案内
メインページ
コミュニティ・ポータル
最近の出来事
新しいページ
最近の更新
おまかせ表示
練習用ページ
アップロード (ウィキメディア・コモンズ)
ヘルプ
ヘルプ
井戸端
お知らせ
バグの報告
寄付
ウィキペディアに関するお問い合わせ
ツール
リンク元
関連ページの更新状況
ファイルをアップロード
特別ページ
この版への固定リンク
ページ情報
ウィキデータ項目
印刷/書き出し
ブックの新規作成
PDF 形式でダウンロード
印刷用バージョン
他言語版
English
Esperanto
Español
فارسی
Nederlands
Português
Srpskohrvatski / српскохрватски
Simple English
Српски / srpski
Svenska
Українська
中文
リンクを編集