... 相依为命 interdependent 性质命题 categorical proposition (logic) 一命呜呼 to breathe one's lastto give up the ghost ...
基于2个网页-相关网页
对性质命题的定义、种类、性质命题与性质命题形式、性质命题的对当关系做了全新的研究和解释。
The proposition of character on definition, kind and form will be explained and studied roundly in this paper.
强调二进制的性质这一问题，这是经常被称为布尔或命题满足。
To emphasize the binary nature of this problem, it is frequently referred to as Boolean or propositional satisfiability.
符号计算主义的意向实在论论证的要点，是表明具有语义性质的命题态度的因果效力。
The intentional realist argument made by symbol computationalists is to show that propositional attitudes with semantic properties are causally efficacious.
应用推荐