1) standard quantification logic
标准量化逻辑
1.
In traditional logic and standard quantification logic two kinds of quantifiers are used when a proposition of natural language is analyzed.
传统逻辑和标准量化逻辑在分析自然语言命题时,只使用全称和存在两种量词,把自然语言中的非全称的量化命题都当作存在命题来处理,然而在自然语言中除了全称量词和存在量词外,还有复量词、百分比量词等。
3) standard logic
标准逻辑
1.
Firstly,the limitation of standard logic is analysed in this paper.
本文首先分析了标准逻辑的局限性,讨论了人工智能深入发展对逻辑学提出的各种要求,指出蓬勃兴起的各种非标准逻辑实质上都在从不同的层次或侧面探索如何处理各种矛盾和不确定性,它们实质上都在探讨辩证逻辑的数学化之路。
2.
Shen Youding has laid down two principles for standard logic, i.
沈有鼎先生的《初基演算》建立起了标准逻辑的两个原则 ,即是否源于初基演算和是否具备完全性。
4) non-standard logic
非标准逻辑
1.
and it also proposed that various kinds of non-standard logics that rise vigorously explore from different level or side on how to deal with various kinds of contradiction and uncertainty,they are probing into the mathematics way of dialectical logic.
本文首先分析了标准逻辑的局限性,讨论了人工智能深入发展对逻辑学提出的各种要求,指出蓬勃兴起的各种非标准逻辑实质上都在从不同的层次或侧面探索如何处理各种矛盾和不确定性,它们实质上都在探讨辩证逻辑的数学化之路。
5) standard deontic logic(SDL)
标准义务逻辑
6) exclusive OR-AND standard form
异或逻辑标准型
补充资料：德国国家标准(见德国标准化学会、德国标准体系)
德国国家标准(见德国标准化学会、德国标准体系)
National Standards of Germany: see Deutsches Institut für Normung, DIN;standards system of Germany
Oeguo Guol心日icozhun德国国家标准(Natio.吐S加Ln山切曲of Gen”旧ny)见德国标准化学会;德国标准体系。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条