“严格蕴涵”的意思、用法、组词造句及英语翻译-汉语字词典-修远网

网站首页汉语俄语英语

字词	严格蕴涵
释义	严格蕴涵哲学卷严格蕴涵　　蕴涵的一种。设“如果p,则q”的真假以从p推出q的可能性为必要条件,则称p对q的关系为严格蕴涵。用符号“█”表示,其蕴涵式为p█q。美国哲学家、逻辑学家刘易斯首先运用“必然”“可能”“不可能”等模态概念来研究蕴涵问题,从而提出这一概念。严格蕴涵与实质蕴涵不同之处在于它要求命题p和命题q之间有某种必然联系,即p真而q假不仅是假的,而且是不可能的。出处：哲学卷 • 逻　辑　学 • 现代形式逻辑数理化力学卷严格蕴涵　　蕴涵的一种,用于模态逻辑。它最初由英国逻辑学家麦柯尔(H.MacColl)提出,美国哲学家、逻辑学家刘易斯(ClarenceIrvingLewis,1883—1964)在创立现代模态逻辑时使用了这种蕴涵。严格蕴涵用鱼钩符号“3”表示,它可以由模态算子◇(称为“可能算子”,◇p意为“p是可能的”)或□(称为“必然算子”,□p意为“p是必然的”)以及真值联结词来定义。在刘易斯的模态逻辑系统中,A3B(读作“A严格蕴涵B”)被定义为7◇(A∧7B)(读作“‘A真且B假’是不可能的”)。A3B也可以被等价地定义为□(A→B)(读作“‘A实质蕴涵B’是必然的”)。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	亚太经济合作组织是什么意思亚太经社委员会是什么意思亚太艺术是什么意思亚孟是什么意思亚寒带气候是什么意思亚寒带针叶林是什么意思亚尔古英雄是什么意思亚岁是什么意思亚巴郎是什么意思亚布力是什么意思亚布力滑雪场是什么意思亚平宁半岛是什么意思亚平宁山脉是什么意思亚式期权是什么意思亚当是什么意思亚当·斯密是什么意思亚当·斯密问题是什么意思亚当与夏娃是什么意思亚当士是什么意思亚当斯是什么意思亚当桥是什么意思亚当氏气是什么意思亚得里亚海是什么意思亚成虫是什么意思亚拉是什么意思 передатчик 的意思 передатчик的意思 передатчик-самолет 的意思 передатчик-самолет的意思 передатчик-самолёт 的意思 передатчик-самолёт的意思 передать 的意思 передать的意思 передаться的意思 передаться 的意思 marshy marsupia marsupial marsupialization marsupialize marsupials marsupiate marsupium mart martagon

修远网汉语字词典收录72225条汉语词条，基本涵盖了全部常见汉语字词的翻译、注释及用法释义，是语文学习的有利工具。