1、
2、
Can attend propositional invitational tournament, this is a challenge, also be an opportunity!
都可以参加命题邀请赛, 这是一次挑战, 也是一次机会!
互联网摘选
3、
First order logic is a most important concept in the field of propositional logic.
而一阶谓词逻辑化为其前束范式是命题演算的重要步骤.
互联网摘选
4、
5、
本文从基于模糊逻辑的量化命题演算出发，探究一个新的数据库查询机制，用以处理更一般的量化命题意义的模糊数据库查询。
互联网摘选
6、
命题化理论的研究对象、逻辑关系与前提条件&评科塞对社会冲突的研究方法
互联网摘选
7、
这就给符号计算主义的意向实在论论证带来了问题：命题态度的语义性质如何能够对认知系统的行为具有因果相关性？
互联网摘选
8、
符号计算主义的意向实在论论证的要点，是表明具有语义性质的命题态度的因果效力。
互联网摘选
9、
