2) propositions symbolization
命题符号化
1.
Node discuss of propositions symbolization in the teaching of discrete mathematics;
离散数学教学中的命题符号化难点讨论
3) propositional symbol theory
命题符号理论
1.
The prevailing propositional symbol theory proposes situation models are amodal system composed of a bunch of relative propositions.
传统命题符号理论认为情境模型是组相关命题,是非模式符号系统;随着知识表征理论的发展,知觉符号理论认为情境模型的建构包括模式符号系统,即含有知觉符号。
4) symbolization of proposition
命题的符号化
1.
Propositional forms are expressed by symbols, but can prepositional forms be equated with symbolization of propositions? Traditional logic s answer to this question seems to be self-evident, but mathematical logic makes this question complicated.
命题形式是用符号来表示的,但命题形式是不是就是命题的符号化?传统逻辑对这个问题的回答似乎是不言而喻的,但数理逻辑却使这个问题变得复杂起来。
5) fundamental propositional symbols
基本命题符号
6) The Symbolisaailn of Proposition
解析命题符号化
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条