出处：哲学卷 • 逻 辑 学 • 现代形式逻辑
| 词条 | 实质蕴涵 | |||||||||||||||
| 释义 | 实质蕴涵 实质蕴涵 亦称“真值蕴涵”。蕴涵的一种。用符号可表示为“➝”或“⊃”。在一般命题演算中,被作为基本真值联结词使用,故常简称为“蕴涵”。为与其他蕴涵形式相区别,而称为实质蕴涵。其蕴涵式可表示为:p➝q或p⊃q。其真假完全取决于p和q的真假:不论p和q有无意义上的联系,当且仅当p真而q假时,“p➝q”为假。“p➝q”是相应于日常语言中充分条件假言命题的真值形式,即它仅仅是“如果p,则q”在真值关系上的一种抽象,故亦称“真值蕴涵”。古希腊麦加拉的斐洛(Philon Megara,前4世纪)已初步提出实质蕴涵的看法,数理逻辑产生后,对实质蕴涵的研究和运用有了很大发展。 出处：哲学卷 • 逻 辑 学 • 现代形式逻辑 实质蕴涵 蕴涵的一种。它可以用如下的真值表来定义: 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
|||||||||||||||
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。