http://wiki.huihoo.com/wiki/?action=history&feed=atom&title=%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91 2026-05-13T10:05:06Z 本wiki的该页面的版本历史 MediaWiki 1.19.2 http://wiki.huihoo.com/wiki/?title=%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91&diff=166481&oldid=prev 2022-12-07T09:06:00Z

<p>‎<span dir="auto"><span class="autocomment">书籍</span></span></p> <table class='diff diff-contentalign-left'> <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;">2022年12月7日 (三) 09:06的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第63行：</td> <td colspan="2" class="diff-lineno">第63行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ 《Type Theory and Functional Programming》] Simon Thompson</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ 《Type Theory and Functional Programming》] Simon Thompson</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://gtps.math.cmu.edu/tttp.html 《An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof》] Peter B. Andrews</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://gtps.math.cmu.edu/tttp.html 《An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof》] Peter B. Andrews</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>*<del class="diffchange diffchange-inline">《可计算性与数理逻辑》第四版，布勒斯</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>*<ins class="diffchange diffchange-inline">《可计算性与数理逻辑》第四版，Computability and Logic, Fourth Edition [美]布勒斯 Boolos 等</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*《作为哲学的数理逻辑》杨睿之</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*《作为哲学的数理逻辑》杨睿之</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91&diff=166480&oldid=prev 2022-12-07T09:03:27Z

<p>‎<span dir="auto"><span class="autocomment">书籍</span></span></p> <table class='diff diff-contentalign-left'> <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;">2022年12月7日 (三) 09:03的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第63行：</td> <td colspan="2" class="diff-lineno">第63行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ 《Type Theory and Functional Programming》] Simon Thompson</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ 《Type Theory and Functional Programming》] Simon Thompson</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://gtps.math.cmu.edu/tttp.html 《An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof》] Peter B. Andrews</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://gtps.math.cmu.edu/tttp.html 《An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof》] Peter B. Andrews</div></td></tr> <tr><td colspan="2">&#160;</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">&#160;</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 class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==图集==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==图集==</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91&diff=166356&oldid=prev 2022-11-02T10:03:10Z

<p>‎<span dir="auto"><span class="autocomment">简介</span></span></p> <table class='diff diff-contentalign-left'> <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;">2022年11月2日 (三) 10:03的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第15行：</td> <td colspan="2" class="diff-lineno">第15行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>归纳与演绎是对立的统一。它们相互支持，相互补充，使我们越来越接近于真理。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>归纳与演绎是对立的统一。它们相互支持，相互补充，使我们越来越接近于真理。</div></td></tr> <tr><td colspan="2">&#160;</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">&#160;</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">&#160;</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;">理论逻辑也称为数理逻辑或符号逻辑，是数学的形式方法在逻辑领域的推广。它把类似于长期用来表达数学关系的某种语言和语法应用于逻辑。——希尔伯特和阿克曼，1928 《数学指南 —— 实用数学手册》p.895</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>莱布尼兹认为，要认识一个普遍的真理，例子再多也没有用。事实的真理要靠归纳经验得来，是偶然的、个别的。推理的真理靠演绎得来，靠逻辑的必然性得来，才是必然的，普遍的。斯宾诺莎更推崇演绎法，用几何学的体例写出他的《伦理学》。他确信哲学上的一切问题，都可以用几何的方法加以证明。《数学与哲学》张景中 p.162</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>莱布尼兹认为，要认识一个普遍的真理，例子再多也没有用。事实的真理要靠归纳经验得来，是偶然的、个别的。推理的真理靠演绎得来，靠逻辑的必然性得来，才是必然的，普遍的。斯宾诺莎更推崇演绎法，用几何学的体例写出他的《伦理学》。他确信哲学上的一切问题，都可以用几何的方法加以证明。《数学与哲学》张景中 p.162</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91&diff=166294&oldid=prev 2022-10-27T07:24:09Z

<p>‎<span dir="auto"><span class="autocomment">简介</span></span></p> <table class='diff diff-contentalign-left'> <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;">2022年10月27日 (四) 07:24的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第7行：</td> <td colspan="2" class="diff-lineno">第7行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>在逻辑和数学里，命题演算（或称句子演算）是一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>在逻辑和数学里，命题演算（或称句子演算）是一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。</div></td></tr> <tr><td colspan="2">&#160;</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">&#160;</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 class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>归纳和演绎，是人类认识世界活动中广泛应用的两套思维方法。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>归纳和演绎，是人类认识世界活动中广泛应用的两套思维方法。</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91&diff=166293&oldid=prev 2022-10-27T04:12:03Z

<p>‎<span dir="auto"><span class="autocomment">简介</span></span></p> <table class='diff diff-contentalign-left'> <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;">2022年10月27日 (四) 04:12的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第14行：</td> <td colspan="2" class="diff-lineno">第14行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>归纳与演绎是对立的统一。它们相互支持，相互补充，使我们越来越接近于真理。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>归纳与演绎是对立的统一。它们相互支持，相互补充，使我们越来越接近于真理。</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">莱布尼兹认为，要认识一个普通的真理，例子再多也没有用。事实的真理要靠归纳经验得来，是偶然的、个别的。推理的真理靠演绎得来，靠逻辑的必然性得来，才是必然的，普遍的。斯宾诺莎更推崇演绎法，用几何学的体例写出他的《伦理学》。他确信哲学上的一切问题，都可以用几何的方法加以证明。《数学与哲学》张景中 </del>p.162</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">莱布尼兹认为，要认识一个普遍的真理，例子再多也没有用。事实的真理要靠归纳经验得来，是偶然的、个别的。推理的真理靠演绎得来，靠逻辑的必然性得来，才是必然的，普遍的。斯宾诺莎更推崇演绎法，用几何学的体例写出他的《伦理学》。他确信哲学上的一切问题，都可以用几何的方法加以证明。《数学与哲学》张景中 </ins>p.162</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==历史==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==历史==</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91&diff=166292&oldid=prev 2022-10-27T03:36:31Z

<p>‎<span dir="auto"><span class="autocomment">简介</span></span></p> <table class='diff diff-contentalign-left'> <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;">2022年10月27日 (四) 03:36的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第11行：</td> <td colspan="2" class="diff-lineno">第11行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>归纳用于发现，演绎用于推理。这是相当普遍的看法。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>归纳用于发现，演绎用于推理。这是相当普遍的看法。</div></td></tr> <tr><td colspan="2">&#160;</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">&#160;</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 class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>莱布尼兹认为，要认识一个普通的真理，例子再多也没有用。事实的真理要靠归纳经验得来，是偶然的、个别的。推理的真理靠演绎得来，靠逻辑的必然性得来，才是必然的，普遍的。斯宾诺莎更推崇演绎法，用几何学的体例写出他的《伦理学》。他确信哲学上的一切问题，都可以用几何的方法加以证明。《数学与哲学》张景中 p.162</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>莱布尼兹认为，要认识一个普通的真理，例子再多也没有用。事实的真理要靠归纳经验得来，是偶然的、个别的。推理的真理靠演绎得来，靠逻辑的必然性得来，才是必然的，普遍的。斯宾诺莎更推崇演绎法，用几何学的体例写出他的《伦理学》。他确信哲学上的一切问题，都可以用几何的方法加以证明。《数学与哲学》张景中 p.162</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91&diff=166290&oldid=prev 2022-10-27T03:14:33Z

<p>‎<span dir="auto"><span class="autocomment">简介</span></span></p> <table class='diff diff-contentalign-left'> <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;">2022年10月27日 (四) 03:14的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第12行：</td> <td colspan="2" class="diff-lineno">第12行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>归纳用于发现，演绎用于推理。这是相当普遍的看法。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>归纳用于发现，演绎用于推理。这是相当普遍的看法。</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">莱布尼兹认为，要认识一个普通的真理，例子再多也没有用。事实的真理要靠归纳经验得来，是偶然的、个别的。推理的真理靠演绎得来，靠逻辑的必然性得来，才是必然的，普遍的。《数学与哲学》张景中 </del>p.162</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">莱布尼兹认为，要认识一个普通的真理，例子再多也没有用。事实的真理要靠归纳经验得来，是偶然的、个别的。推理的真理靠演绎得来，靠逻辑的必然性得来，才是必然的，普遍的。斯宾诺莎更推崇演绎法，用几何学的体例写出他的《伦理学》。他确信哲学上的一切问题，都可以用几何的方法加以证明。《数学与哲学》张景中 </ins>p.162</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==历史==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==历史==</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91&diff=166289&oldid=prev 2022-10-27T03:08:03Z

<p>‎<span dir="auto"><span class="autocomment">简介</span></span></p> <table class='diff diff-contentalign-left'> <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;">2022年10月27日 (四) 03:08的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第11行：</td> <td colspan="2" class="diff-lineno">第11行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>归纳用于发现，演绎用于推理。这是相当普遍的看法。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>归纳用于发现，演绎用于推理。这是相当普遍的看法。</div></td></tr> <tr><td colspan="2">&#160;</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">&#160;</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;">莱布尼兹认为，要认识一个普通的真理，例子再多也没有用。事实的真理要靠归纳经验得来，是偶然的、个别的。推理的真理靠演绎得来，靠逻辑的必然性得来，才是必然的，普遍的。《数学与哲学》张景中 p.162</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==历史==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==历史==</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91&diff=166282&oldid=prev 2022-10-26T08:11:19Z

<p>‎<span dir="auto"><span class="autocomment">简介</span></span></p> <table class='diff diff-contentalign-left'> <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;">2022年10月26日 (三) 08:11的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第7行：</td> <td colspan="2" class="diff-lineno">第7行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>在逻辑和数学里，命题演算（或称句子演算）是一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>在逻辑和数学里，命题演算（或称句子演算）是一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。</div></td></tr> <tr><td colspan="2">&#160;</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">&#160;</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">&#160;</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">&#160;</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 class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==历史==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==历史==</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91&diff=166107&oldid=prev 2022-10-14T06:31:45Z

<p>‎<span dir="auto"><span class="autocomment">课程</span></span></p> <table class='diff diff-contentalign-left'> <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;">2022年10月14日 (五) 06:31的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第40行：</td> <td colspan="2" class="diff-lineno">第40行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://www.cs.ru.nl/~freek/courses/fd-2016/index.html Formal Reasoning] [https://www.cs.ru.nl/~freek/courses/fd-2016/public/fr.pdf course notes]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[https://www.cs.ru.nl/~freek/courses/fd-2016/index.html Formal Reasoning] [https://www.cs.ru.nl/~freek/courses/fd-2016/public/fr.pdf course notes]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[http://logic.cmu.edu/ Pure and Applied Logic (PAL)] program at Carnegie Mellon University</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>*[http://logic.cmu.edu/ Pure and Applied Logic (PAL)] program at Carnegie Mellon University</div></td></tr> <tr><td colspan="2">&#160;</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;">*[https://www21.in.tum.de/teaching/logic/SS22/index.html Propositional logic and First-order logic] 有完整的幻灯片资料供下载</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==文档==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==文档==</div></td></tr> </table>

Allen