“严格蕴涵”的意思、由来-百科全书

严格蕴涵　　蕴涵的一种。设“如果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’是必然的”)。

出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础

词条	严格蕴涵
释义	严格蕴涵哲学卷严格蕴涵　　蕴涵的一种。设“如果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’是必然的”)。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	工作布告工作态度工作扩大化工作描述工作效率工作日工作日志工作时制工作时间工作曲线工作有关疾病工作服工作桥工作母机工作流管理系统工作满意工作满意度工作热量工作焦崩工作特征模型工作生活质量工作-生活质量工作生活质量运动工作磨练工作站