形式化方法的基本释义
把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性，为不同学科提供具有普遍适用性的共同逻辑形式，有利于揭示新联系，导致新发现。
什么是相似词、同义词、近义词、反义词?
相似词、同义词是一种存在于世界上各种语言里的同义异形现象，它指的是表达意义相同或相近，但表达形式不同的词语，相似词之间的差别主要有感情色彩、理性意义、语法特点、各地习惯的不同。 例如：私塾和学堂、学馆等，就是不同的形式表现同一意思。
反义词是指某一对字或词语是向对立的、具有相反意义的。如：有和无，美丽和丑陋等。
近义词是指意义相同或相近的字或词语。