词语形式化方法
拼音xíng shì huà fāng fǎ xing shi hua fang fa
把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性，为不同学科提供具有普遍适用性的共同逻辑形式，有利于揭示新联系，导致新发现。
◎形 xíng 〈名〉 (1)同本义 [shape；form] 形，象形也。——《说文》 物成生理谓之形。——《庄子·天地》 雷雨之动满形。——《易·屯》 在天成象，在地成形。——《礼记·乐记》 形色...
式:◎式 shì 〈名〉 (1)(形声。从工，弋(yì)声。工有“矩”的意思。本义：法度；规矩) (2)同本义 [law；moral standard；established practics；rule]...
化:◎化 huà 〈动〉 (1)(古字为“匕”。会意。甲骨文，从二人，象二人相倒背之形，一正一反，以示变化。本义：变化，改变) (2)同本义 [turn；change] 匕，变也。——《说文》。徐灏曰：“...
方:◎方 fāng 〈动〉 (1)(象形。下从舟省，而上有竝头之象。故知并船为本义。本义：并行的两船；泛指并列；并行) (2)同本义 [parallel boats；parallel] 方，併船也。象两舟...
法:◎法 灋 fǎ 〈名〉 (1)(会意。从“水”，表示法律、法度公平如水；从“廌”(zhì)，即解廌，神话传说中的一种神兽，据说，它能辨别曲直，在审理案件时，它能用角去触理曲的人。基本义：刑法；法律；法...