http://en.iwschool.org/wiki/index.php?title=Logic/Inference_by_propositional_logic&action=history Revision history for this page on the wiki en MediaWiki 1.15.4 Sat, 18 Apr 2026 07:38:27 GMT http://en.iwschool.org/wiki/index.php?title=Logic/Inference_by_propositional_logic&diff=3339&oldid=prev <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;">← Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 08:35, 23 May 2014</td> </tr> <tr><td colspan="2" class="diff-lineno">Line 6:</td> <td colspan="2" class="diff-lineno">Line 6:</td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[wikipedia:Propositional_calculus|Propositional calculus]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[wikipedia:Propositional_calculus|Propositional calculus]]</div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[wikipedia:Modus_ponens|Modus ponens]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[wikipedia:Modus_ponens|Modus ponens]]</div></td></tr> <tr><td colspan="2">&nbsp;</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">&nbsp;</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;">== Overview ==</ins></div></td></tr> <tr><td colspan="2">&nbsp;</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">&nbsp;</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;">===Inference operator(⊢)===</ins></div></td></tr> <tr><td colspan="2">&nbsp;</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">&nbsp;</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;">&quot;α ⊢ β&quot; means &quot;assuming α, infer β.&quot;.</ins></div></td></tr> <tr><td colspan="2">&nbsp;</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">&nbsp;</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;">* Double Negation elimination : &quot;￢￢α ⊢ α&quot;</ins></div></td></tr> <tr><td colspan="2">&nbsp;</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;">* Conjunction introduction : &quot;α,β ⊢ α ∧β&quot; , &quot;α,β ⊢ β∧α&quot;</ins></div></td></tr> <tr><td colspan="2">&nbsp;</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;">* Conjunction elimination : &quot;α∧β ⊢ α&quot; , &quot;α∧β ⊢ β&quot;</ins></div></td></tr> <tr><td colspan="2">&nbsp;</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;">* Disjunction introduction : α ⊢ α∨β , α ⊢ β∨α</ins></div></td></tr> <tr><td colspan="2">&nbsp;</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;">* Disjunction elimination : α∨β，￢β ⊢ α , α∨β，￢α ⊢ β</ins></div></td></tr> <tr><td colspan="2">&nbsp;</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;">* modus ponens : α，α→β ⊢ β</ins></div></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>== CAI Exercise ==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>== CAI Exercise ==</div></td></tr> <!-- diff generator: internal 2026-04-18 07:38:27 --> </table> Fri, 23 May 2014 08:35:56 GMT Admin http://en.iwschool.org/wiki/Talk:Logic/Inference_by_propositional_logic http://en.iwschool.org/wiki/index.php?title=Logic/Inference_by_propositional_logic&diff=3332&oldid=prev <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;">← Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 04:45, 23 May 2014</td> </tr> <tr><td colspan="2" class="diff-lineno">Line 14:</td> <td colspan="2" class="diff-lineno">Line 14:</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>[[en:Logic/Inference by propositional logic]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[en:Logic/Inference by propositional logic]]</div></td></tr> <tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[[ja:論理学/<del class="diffchange diffchange-inline">命題論理</del>]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[[ja:論理学/<ins class="diffchange diffchange-inline">命題論理による推論</ins>]]</div></td></tr> <!-- diff generator: internal 2026-04-18 07:38:27 --> </table> Fri, 23 May 2014 04:45:23 GMT Admin http://en.iwschool.org/wiki/Talk:Logic/Inference_by_propositional_logic http://en.iwschool.org/wiki/index.php?title=Logic/Inference_by_propositional_logic&diff=3323&oldid=prev <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;">← Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 04:26, 23 May 2014</td> </tr> <tr><td colspan="2" class="diff-lineno">Line 5:</td> <td colspan="2" class="diff-lineno">Line 5:</td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[wikipedia:Category:Mathematical logic|Category:Mathematical logic（Wikipedia）]]&nbsp; &nbsp;</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[wikipedia:Category:Mathematical logic|Category:Mathematical logic（Wikipedia）]]&nbsp; &nbsp;</div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[wikipedia:Propositional_calculus|Propositional calculus]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[wikipedia:Propositional_calculus|Propositional calculus]]</div></td></tr> <tr><td colspan="2">&nbsp;</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;">* [[wikipedia:Modus_ponens|Modus ponens]]</ins></div></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>== CAI Exercise ==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>== CAI Exercise ==</div></td></tr> <!-- diff generator: internal 2026-04-18 07:38:27 --> </table> Fri, 23 May 2014 04:26:30 GMT Admin http://en.iwschool.org/wiki/Talk:Logic/Inference_by_propositional_logic http://en.iwschool.org/wiki/index.php?title=Logic/Inference_by_propositional_logic&diff=3322&oldid=prev <p>Created page with &#39;<a href="/wiki/Logic" title="Logic">Logic</a> &gt; Inference by propositional logic == Contents == * <a href="http://en.wikipedia.org/wiki/Category:Mathematical_logic" class="extiw" title="wikipedia:Category:Mathematical logic">Category:Mathematical logic（Wikipedia）</a> * [[wikipedia:Propositional…&#39;</p> <p><b>New page</b></p><div>[[Logic]] &gt; Inference by propositional logic<br /> <br /> == Contents ==<br /> <br /> * [[wikipedia:Category:Mathematical logic|Category:Mathematical logic（Wikipedia）]] <br /> * [[wikipedia:Propositional_calculus|Propositional calculus]]<br /> <br /> == CAI Exercise ==<br /> <br /> *[[cai_en:EDULOG00010007|Go to CAI Exercise page]]<br /> <br /> <br /> <br /> [[en:Logic/Inference by propositional logic]]<br /> [[ja:論理学/命題論理]]</div> Fri, 23 May 2014 04:25:55 GMT Admin http://en.iwschool.org/wiki/Talk:Logic/Inference_by_propositional_logic