http://en.iwschool.org/wiki/index.php?action=history&feed=atom&title=Logic%2FInference_by_predicate_logic
Logic/Inference by predicate logic - Revision history
2026-04-18T07:42:17Z
Revision history for this page on the wiki
MediaWiki 1.15.4
http://en.iwschool.org/wiki/index.php?title=Logic/Inference_by_predicate_logic&diff=3329&oldid=prev
Admin: Created page with 'Logic > Inference by predicate logic == Contents == * Category:Mathematical logic（Wikipedia） * [[wikipedia:First-order_logic…'
2014-05-23T04:41:35Z
<p>Created page with '<a href="/wiki/Logic" title="Logic">Logic</a> > Inference by predicate 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:First-order_logic…'</p>
<p><b>New page</b></p><div>[[Logic]] > Inference by predicate logic<br />
<br />
== Contents ==<br />
<br />
* [[wikipedia:Category:Mathematical logic|Category:Mathematical logic（Wikipedia）]] <br />
* [[wikipedia:First-order_logic|First-order_logic]]<br />
* [[wikipedia:Rule_of_inference|Rule of inference]]<br />
<br />
== CAI Exercise ==<br />
<br />
*[[cai_en:EDULOG00010013|Go to CAI Exercise page]]<br />
<br />
<br />
<br />
[[en:Logic/Inference by predicate logic]]<br />
[[ja:論理学/述語論理による推論]]</div>
Admin