您要查找的是不是:
- generalized quantifier theory 广义量词理论
- The two-valued weak model of the first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.For finite linearly-ordered weak complemented lattice, the omitting type theorem is proved. 将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理。
- Compared with proposition logic and quantifier logic, logic of syllogism is more special, and the validity of valid mood of syllogism can not be all illustrated with general quantifier logic. 三段论逻辑,是比命题逻辑、量词逻辑更为特殊的逻辑,用一般的量词逻辑是无法说明所有三段论有效式的有效性的。
- A Comparative Study of English Quantifier Theories 英语量词理论的对比研究
- He tried in every way to verify this theory. 他想一切办法来验证这个理论。
- I entirely approve of that theory. 我完全赞成那种理论。
- Einstein put forward his new theory of relativity. 爱因斯坦提出了相对论的新学说。
- Use of this drug is now fairly generalized. 这种药现在用得相当普遍。
- This concept is at the very core of her theory. 这个概念是她理论的核心。
- Einstein's theory of relativity. 爱因斯坦的相对论。
- Practical experience belies this theory. 实际经验证明这个理论是错误的。
- Observed a state of generalized discontent. 观察一个有普遍不满情绪的国家
- Her theory was quoted without an acknowledgement. 她的理论被人引用而未向她致谢。
- Einstein's theory marked a new epoch in physics. 爱因斯坦理论开创了物理学的新纪元。
- For several years his theory held the field. 几年来他的理论一直保持着权威地位。
- Could you elaborate on this theory? 请你阐述这一理论,行吗?
- Do you agree to the wave theory of light? 你同意光的波动理论吗?
- Only in 1687 did he at last publish his new theory. 终于在一六八七年他发表了他的新理论。
- That seer is famous for his theory. 那个预言家以他的理论而出名。
- In sum, theory must be combined with practice. 总之,理论必须同实践相结合。