单选题
发布日期:2020-04-11
形式化教育
制度化教育
情感化教育
军事化教育
形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属的物理性质和化学性质与纯铝不相同;所以,它不是纯铝。”这个推理的形式结构是:“如果p,则q;如果p,则r;非q且非r;所以非p。”可进而形式化为下列公式:((p→q)∧(p→r))∧┐q∧┐r→┐p。
《对的》是彭靖惠演唱的歌曲,收录于《浪费时间是快乐的》专辑中,由彭靖惠填词编曲。
题王网让考试变得更简单
扫码关注题王,更多免费功能准备上线!
此试题出现在
其他考试
Which of the listed failures, occurring in an automated diesel generator system, should cause an audible alarm at the engine room control station?()
刚性基础的受力特点为()。
进行交叉作业时,下层作业的位罝,必须确定处于上层高度可能坠落范围半径之外。不符合此条件,中间应设置安全防护层,下方应设置警戒隔离区。下列有关说法错误的是( )
什么是滑参数运行与定参数运行,各有何特点?什么是喷嘴调节和节流调节,各有何特点?喷嘴调节汽轮机流量变化时,级后压力和级的比焓降如何变化?
接电话时,拿起话筒的最佳时机应在铃声响过()之后。
战略市场营销观念的核心要素包括方向性、长期性、竞争性、创造性、()、参与者共赢。
下列关于陆地环境的整体性叙述正确的是()。
十金刚心向果
集体劳动争议一般只能依靠()进行处理。
随着点火时间的推迟,HC和NOx的排放量都随之减小。
暂无相关推荐~