形式化方法是什么意思

把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性，为不同学科提供具有普遍适用性的共同逻辑形式，有利于揭示新联系，导致新发现。

分词解释

形

拼音：xíng,部首：彡笔划：7

形 xíng 实体：形仪（体态仪表）。形体。形貌。形容。形骸。形单影只。形...查看详细解释

式

拼音：shì,部首：弋笔划：6

式 shì 物体外形的样子：式样。样式。特定的规格：格式。程式。典礼...查看详细解释

化

拼音：huà,huā,部首：亻笔划：4

化 huà 性质或形态改变：变化。分化。僵化。教（jiào ）化。熔化。融化...查看详细解释

方

拼音：fāng,部首：方笔划：4

方 fāng ◎ 四个角都是90度直角的四边形或六个面都是方形的立体；正～...查看详细解释

法

拼音：fǎ,部首：氵笔划：8

法 fǎ 体现统治阶段的意志，国家制定和颁布的公民必须遵守的行为规则：法...查看详细解释