level 11
人For我我For人
楼主
我们的基本逻辑学中，哪些概念是基本定义，哪些概念是可被定义的，哪些又是基本公理？。。
比如，真，假，或，且，存在，任意……
PS:这对我们是一个会意即可的问题，但是如果我的目标是将逻辑判定写入计算机程序的话，这就……你懂得。
2012年09月21日 03点09分
1
比如，真，假，或，且，存在，任意……
PS:这对我们是一个会意即可的问题，但是如果我的目标是将逻辑判定写入计算机程序的话，这就……你懂得。