判断题
发布日期:2020-12-11
对
错
形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属的物理性质和化学性质与纯铝不相同;所以,它不是纯铝。”这个推理的形式结构是:“如果p,则q;如果p,则r;非q且非r;所以非p。”可进而形式化为下列公式:((p→q)∧(p→r))∧┐q∧┐r→┐p。
表现,汉语词汇,拼音是biǎo xiàn,意思是施展出来;显露出来。
所谓“话语”(discourse) 是人们说出来或写出来的语言。话语分析是指对人们说(叙述) 什么,如何说(叙述),以及所说的话(叙述) 带来的社会后果的研究。话语是在人与人的互动过程中呈现出来的,因此具有社会性。
题王网让考试变得更简单
扫码关注题王,更多免费功能准备上线!
此试题出现在
施工管理目标是单位工程施工部署的重要内容,其目标不包括()。
下列成就中,属于唐朝的有( )。
简述包装的策略。
热疮多因感受何邪所致?( )
某投资者预期欧元将升值,于是在4月5日在CME以1.1825的价格买入5手6月份交割的欧元兑美元期货合约。到了4月20日,期货价格变为1.2430,于是该投资者将合约卖出平仓,则该投资者()美元。(不计手续费等费用)
“存金通”产品的交易起点()。
活性污泥增长曲线中()期微生物的代谢活性最强。
在区间步行上下班时,在双线区间,应()列车方向。
在方差未知时,正态均值μ的1-α置信区间长度与( )。[2007年真题]
水力通沟使用的牛是()。
暂无相关推荐~
叙事性作品是一种形式化的话语组织,主要表现作家内心的情感活动的文学作品类型()
抒情性作品与叙事性作品相对称,是一种形式化的话语组织来主要表现作家()活动的文学作品类型。
一般来讲,叙事性儿童文学作品故事的构成方式主要有“()”和“()”两种。此外,还有一些特殊的构成方式,如三迭式、连环式和对立式结构。
《诗学》是最早的研究叙事性文学作品的文艺理论著作。在这一部著作中,作者例举了悲剧的六个成分,它们是情节 、()、思想、言辞、形象和歌曲。
抒情性作品是一种以形式化的话语组织来主要表现作家内心的情感活动的文学作品类型()
()是叙事性文学作品的重要特征之一。作品中一系列具有因果联系的生活事件的循序发展、环环相扣形成故事情节。
在叙事性文学作品中,最古老而常见的叙述方式是()
事件在叙事性文学作品中的作用可分两类:第一类事件的作用是推动故事情节的发展,第二类事件的作用是()
戏剧文学具有两重性:一方面,它作为文学作品,具备一般叙事性作品共同的要求;另一方面,它作为戏剧演出的基础,受到舞台演出的制约,必须符合舞台艺术的要求。
一般来讲,叙事性儿童文学作品故事的构成方式主要有“()”和“()”两种。此外,还有一些特殊的构成方式,如三迭式、连环式和对立式结构。