antonia

请问(proposition logic)这本书在哪里？

hopejie

我问过我们的总版主了，这个书在网上下载不了，你可以去书店找一本《数理逻辑》的书，里面就有命题逻辑的讨论。

ytrrew

many thanks!

sandyzeng

以下是引用robert在2003-8-9 11:04:00的发言： 在逻辑范畴中，有很多种逻辑，如：命题逻辑、一阶逻辑，描述逻辑，时态逻辑等等。 命题逻辑是逻辑中最简单的一种，但也是使用最较多的一种，因为我们的现实生活中，用到的逻辑本身并不复杂。 而人工智能的基础就是逻辑。 至于让我推荐书，我觉得大家去书店找一本比较有名的大学编的《数理逻辑》这本书就可以，比如北大或清华的教授编的就可以。

厉害。这些知识听都没听说过

ships

Many thanks!