https://en.formulasearchengine.com/index.php?action=history&feed=atom&title=List_of_rules_of_inferenceList of rules of inference - Revision history2026-05-24T16:12:20ZRevision history for this page on the wikiMediaWiki 1.43.0-wmf.28https://en.formulasearchengine.com/index.php?title=List_of_rules_of_inference&diff=229007&oldid=prev189.79.66.225 at 02:54, 11 December 20142014-12-11T02:54:41Z<p></p>
<a href="https://en.formulasearchengine.com/index.php?title=List_of_rules_of_inference&diff=229007&oldid=4229">Show changes</a>189.79.66.225https://en.formulasearchengine.com/index.php?title=List_of_rules_of_inference&diff=4229&oldid=preven>Mogism: /* Table: Rules of Inference - a short summary */Cleanup/Typo fixing, typo(s) fixed: a assertion → an assertion using AWB2013-10-19T18:08:33Z<p><span class="autocomment">Table: Rules of Inference - a short summary: </span>Cleanup/<a href="/index.php?title=WP:AWB/T&action=edit&redlink=1" class="new" title="WP:AWB/T (page does not exist)">Typo fixing</a>, <a href="/index.php?title=WP:AWB/T&action=edit&redlink=1" class="new" title="WP:AWB/T (page does not exist)">typo(s) fixed</a>: a assertion → an assertion using <a href="/index.php?title=Testwiki:AWB&action=edit&redlink=1" class="new" title="Testwiki:AWB (page does not exist)">AWB</a></p>
<a href="https://en.formulasearchengine.com/index.php?title=List_of_rules_of_inference&diff=4229&oldid=229006">Show changes</a>en>Mogismhttps://en.formulasearchengine.com/index.php?title=List_of_rules_of_inference&diff=229006&oldid=preven>Gregbard: /* Rules for disjunctions */ wrong name, wrong article linked2011-11-23T08:57:52Z<p><span class="autocomment">Rules for disjunctions: </span> wrong name, wrong article linked</p>
<a href="https://en.formulasearchengine.com/index.php?title=List_of_rules_of_inference&diff=229006">Show changes</a>en>Gregbard