1) formalized logic
形式化逻辑
1.
Besides formalized logic, however, logic of arguments should be included in the curriculum.
但是 ,除了形式化逻辑外 ,我们还需要论证逻辑。
2) Logical formalism modeling
逻辑化形式建模
3) Formal logic language
形式化逻辑语言
4) the dialecticalization of formal logic
形式逻辑辩证化
5) the formalization of dialectic logic
辩证逻辑形式化
6) formalized logical thinking
形式化逻辑思维
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条