形式化方法

xínɡ shì huà fānɡ fǎ

解释

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

逐字解释

形xínɡ部首 彡

形 同本义 形,象形也。--《说文》 物成生理谓之形。--《庄子·天地》 雷雨之动满形。--《易·屯》 在天成象,在地成形。--《礼记·乐记》 形色天性也。--《孟子》 形者,生之具也。--《史记·太史公自序》 良马可形容筋骨相也。--《列子·说符》 形似酒尊。--《后汉书·张衡…

式shì部首 弋

式 (形声。从工,弋声。工有矩”的意思。本义法度;规矩) 同本义 式,法也。--《说文》 式,法也。--《周书·谥法》 下士之式。--《诗·大雅·下武》。传法也。” 三曰筮式。--《周礼·簀人》。注谓筮制作法式也。” 掌妇式之法。--《周礼·典妇功》 九式。--《周礼·太宰》。注…

化huà部首 匕

化〈动〉 (古字为匕”。会意。甲骨文,从二人,象二人相倒背之形,一正一反,以示变化。本义变化,改变) 同本义 匕,变也。--《说文》。徐灏曰匕化古今字。” 知变化之道。--《易·系辞传》。虞注在阳称变,在阴称化,四时变化。”荀注春夏为变,秋冬为化,坤化为物。” 和故百物化焉。--…

方fānɡ部首 方

方〈动〉 (象形。下从舟省,而上有竝头之象。故知并船为本义。本义并行的两船;泛指并列;并行) 同本义 方,併船也。象两舟总头形。--《说文》 大夫方舟。--《尔雅》。李注竝两船曰方舟。” 方舟而济于河。--《庄子·山木》 不足方。--《仪礼·乡射礼》。注犹併也。” 方舟设泭。--…

法fǎ部首 氵

法 (会意。从水”,表示法律、法度公平如水;从廳”,即解廳,神话传说中的一种神兽,据说,它能辨别曲直,在审理案件时,它能用角去触理曲的人。基本义刑法;法律;法度) 同基本义 灋,刑也。平之如水。从水,廳所以触不直者去之,从去,会意。--《说文》 利用刑人,以正法也。--《易·蒙》…

含「形」的词语

形上形下形仪形似形体形便形候形像形兆形兵形况形则形制形势形变形名形命形响形器形图