http://ja.iwschool.org/wiki/index.php?action=history&feed=atom&title=%E8%AB%96%E7%90%86%E5%AD%A6%2F%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86%E3%81%AB%E3%82%88%E3%82%8B%E6%8E%A8%E8%AB%96
論理学/命題論理による推論 - 変更履歴
2026-04-18T10:21:50Z
このウィキのこのページに関する変更履歴
MediaWiki 1.15.4
http://ja.iwschool.org/wiki/index.php?title=%E8%AB%96%E7%90%86%E5%AD%A6/%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86%E3%81%AB%E3%82%88%E3%82%8B%E6%8E%A8%E8%AB%96&diff=3350&oldid=prev
2014年5月23日 (金) 04:45 における Admin による編集
2014-05-23T04:45:33Z
<p></p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←前の版</td>
<td colspan='2' style="background-color: white; color:black;">2014年5月23日 (金) 04:45時点における版</td>
</tr>
<tr><td colspan="2" class="diff-lineno">22 行:</td>
<td colspan="2" class="diff-lineno">22 行:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*<span class="pops"> [[cai_ja:EDULOG00010007|CAIテストのページへ（新しいWindowが開きます）]] </span></div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*<span class="pops"> [[cai_ja:EDULOG00010007|CAIテストのページへ（新しいWindowが開きます）]] </span></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[[en:Logic/Inference by propositional logic]]</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[[ja:論理学/命題論理による推論]]</ins></div></td></tr>
<!-- diff generator: internal 2026-04-18 10:21:50 -->
</table>
Admin
http://ja.iwschool.org/wiki/index.php?title=%E8%AB%96%E7%90%86%E5%AD%A6/%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86%E3%81%AB%E3%82%88%E3%82%8B%E6%8E%A8%E8%AB%96&diff=3298&oldid=prev
Admin: ページの作成: 論理学 ＞ 命題論理による推論 == 目次 == * 命題論理（Wikipedia） * [[wikipedia…
2013-10-23T08:12:25Z
<p>ページの作成: <a href="/wiki/%E8%AB%96%E7%90%86%E5%AD%A6" title="論理学">論理学</a> ＞ <a href="/wiki/%E8%AB%96%E7%90%86%E5%AD%A6/%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86%E3%81%AB%E3%82%88%E3%82%8B%E6%8E%A8%E8%AB%96" title="論理学/命題論理による推論">命題論理による推論</a> == 目次 == * <a href="http://ja.wikipedia.org/wiki/%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86" class="extiw" title="wikipedia ja:命題論理">命題論理（Wikipedia）</a> * [[wikipedia…</p>
<p><b>新規ページ</b></p><div>[[論理学]]<br />
＞ [[論理学/命題論理による推論|命題論理による推論]]<br />
<br />
== 目次 ==<br />
<br />
* [[wikipedia_ja:命題論理|命題論理（Wikipedia）]] <br />
* [[wikipedia_ja:モーダスポネンス|モーダスポネンス（Wikipedia）]] <br />
<br />
== 説明 ==<br />
<br />
注：ここでは、αからβの推論が可能なことを、 α ⊢ β と書くことにする。<br />
<br />
===推論規則===<br />
*二重否定の除去：￢￢α ⊢ α<br />
*論理積の導入：α,β ⊢ α ∧β α,β ⊢ β∧α<br />
*論理積の消去：α∧β ⊢ α α∧β ⊢ β<br />
*論理和の導入：α ⊢ α∨β α ⊢ β∨α<br />
*論理和の消去：α∨β, ￢β ⊢ α α∨β, ￢α ⊢ β<br />
*モーダスポネンス （modus ponens：前件肯定）：α, α→β ⊢ β<br />
<br />
== CAIテスト ==<br />
<br />
*<span class="pops"> [[cai_ja:EDULOG00010007|CAIテストのページへ（新しいWindowが開きます）]] </span></div>
Admin