在线对联网】-专注于对联知识的文化分享网站。
当前位置:首页 > 词典大全 > 形式化方法的意思

形式化方法的意思

更新时间:2023-10-08 14:05:34
形式化方法英文的名称是formalmethods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属的物理性质和化学性质与纯铝不相同;所以,它不是纯铝。”这个推理的形式结构是:“如果p,则q;如果p,则r;非q且非r;所以非p。”可进而形式化为下列公式:((p→q)∧(p→r)∧┐q∧┐r→┐p。

形式化方法的拼音

拼音:xíng shì huà fāng fǎ

词典解释

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

形式化方法的解释

】字的意思:
基本字义形xíng(ㄒ一ㄥˊ)⒈ 实体:形仪(体态仪表)。形体。形貌。形容。形骸。形单影只。形影相吊。⒉ 样子:形状。形式。形态。形迹。地形。情形。⒊ 表现:形诸笔墨。喜形于色。⒋ 对照,比较:相形见绌。⒌ 状况,地势:形势...>>更多详情
关于形的组词:禀形、隘形、案牍劳形、八边形、败形、彪形、彪形大汉、蔽形、兵形、避形、笔形、扁形动物、
】字的意思:
基本字义式shì(ㄕˋ)⒈ 物体外形的样子:式样。样式。⒉ 特定的规格:格式。程式。⒊ 典礼,有特定内容的仪式:开幕式。阅兵式。⒋ 自然科学中表明某些关系或规律的一组符号:分子式。算式。公式。⒌ 一种语法范畴,表示说话...>>更多详情
关于式的组词:把式、把式匠、被动式、榜式、闭幕式、版式、颁式、八股式、摆式、闭架式、板式、卑赞廷式、
】字的意思:
基本字义化huà(ㄏㄨㄚˋ)⒈ 性质或形态改变:变化。分化。僵化。教(jiào)化。熔化。融化。潜移默化。化干弋为玉帛。。⒉ 佛教、道教徒募集财物:化缘。化斋。⒊ 用在名词或形容词后,表示转变成某种性质或状态:丑化。绿化...>>更多详情
关于化的组词:暗化、敝化、爱琴文化、变化、变化不测、变化不穷、变化多端、变化莫测、变化如神、禀化、变化身、变化万端、
】字的意思:
基本字义方fāng(ㄈㄤ)⒈ 四个角都是90度直角的四边形或六个面都是方形的立体;正方形.长方形⒉ 数学上指某数自乘的积:方根。平方。开方。⒊ 人的品行端正:方正。方直。⒋ 一边或一面:方向。方面。⒌ 地区,地域:地方。方...>>更多详情
关于方的组词:宝方、颁方、北方方言、北方话、北方交通大学、北方人、北方战争、百计千方、必方、辟方、变化无方、抱方、
】字的意思:
基本字义法fǎ(ㄈㄚˇ)⒈ 体现统治阶段的意志,国家制定和颁布的公民必须遵守的行为规则:法办。法典。法官。法规。法律。法令。法定。法场。法理。法纪。法盲。法人(“自然人”的对称。指依法成立并能以自己的名义独立参...>>更多详情
关于法的组词:阿尔法射线、阿法、白法、拔轴法、败法、败法乱纪、变法、变法儿、变分法、辟法、币法、爱尔兰自治法案、

最新对联