排序方式: 共有5条查询结果,搜索用时 0 毫秒
1
1.
2.
萧瑶 《和田师范专科学校学报》2007,27(5):200-200
本文结合亚里士多德在分析三段论的有效式时用到的化归思想,运用集合论的知识,建立了自然演绎系统S*,给出判定三段论的有效性的一种方法,并与亚里士多德的方法进行比较。 相似文献
3.
初闻邓亚萍,是在去年十月的城市运动会上,这个身高才1.50米,年仅十五岁的郑州小姑娘,不知怎么一下子冒了出来,夺走了女子单打和女子团体冠军两块金牌。一个星期后,第六届亚洲杯乒乓球赛在菲律宾的马尼拉拉开战幕。第一次参加大赛的邓亚萍轻轻松松 相似文献
4.
经典的信念逻辑系统SKD45只能处理信念的表示与推理,而无法同时处理知识与信念.在对可能世界排序,给出顺序条件函数的基础上,将知识当作一种特殊的信念,建立一个新的信念逻辑系统SSBR,并给出完全性的证明. 相似文献
5.
1