ソースを表示

提供: Internet Web School

以下に示された理由により、このページの編集を行うことができません:

このページのソースを閲覧し、コピーすることができます:

[[論理学]] ＞ [[論理学/命題論理による推論|命題論理による推論]] == 目次 == * [[wikipedia_ja:命題論理|命題論理（Wikipedia）]] * [[wikipedia_ja:モーダスポネンス|モーダスポネンス（Wikipedia）]] == 説明 == 注：ここでは、αからβの推論が可能なことを、　α ⊢ β　と書くことにする。 ===推論規則=== *二重否定の除去：￢￢α ⊢ α *論理積の導入：α,β ⊢ α ∧β　　α,β ⊢ β∧α *論理積の消去：α∧β ⊢ α　　α∧β ⊢ β *論理和の導入：α ⊢ α∨β　　α ⊢ β∨α *論理和の消去：α∨β, ￢β ⊢ α　　α∨β, ￢α ⊢ β *モーダスポネンス （modus ponens：前件肯定）：α, α→β ⊢ β == CAIテスト == *<span class="pops"> [[cai_ja:EDULOG00010007|CAIテストのページへ（新しいWindowが開きます）]] </span> [[en:Logic/Inference by propositional logic]] [[ja:論理学/命題論理による推論]]

論理学/命題論理による推論 に戻る。