1) The Symbolisaailn of Proposition
解析命题符号化
2) propositions symbolization
命题符号化
1.
Node discuss of propositions symbolization in the teaching of discrete mathematics;
离散数学教学中的命题符号化难点讨论
3) 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) analytic proposition
解析命题
6) proposition analysis
命题解析
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条