形式方法
概述
形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属...
2 扩展释义
形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属...
9 词语组词
相关词条
本词条最后更新于 2026-07-16 06:05:28
友情链接
抓书网
短词网
书号查询
星云网
zglqxh 关于「中国篮球协会」这个词 一起来了解 中国篮球协会 的读音、含义与用法。拼音：zhōng guó lán qiú xié huì 阅读全文是什么意思？
奇是什么意思？
生日祝福语是什么意思？
亚威农的少女是什么意思？专家解读 权威解读「亚威农的少女」的含义、读音与用法，一文读懂词语内涵。 yà wēi nóng de shǎo nǚ 2026-06-30 15:41:16
爱因斯坦的名言（精彩6篇）是什么意思？
厦门天气预报30天是什么意思？
西黄村是什么意思？
小学生发言稿是什么意思？
西安天气预报30天是什么意思？
首部首的字是什么意思？
ān dù lán是什么意思？
关于诗词的搞笑段子是什么意思？
bǎo zhī lín dà yào fáng宝芝林大药房是什么意思？
王利娜 wáng lì nà是什么意思？
Vue3 如何实现动态菜单加载是什么意思？
时光小学作文(精选15篇)是什么意思？