实质非蕴涵

✍ dations ◷ 2025-09-10 08:11:36 #实质非蕴涵

实质非蕴涵是对实质蕴涵的否定。即是说:对于任何两个命题P和Q,当且仅当非P实质蕴涵Q,P实质非蕴涵Q。用更显明的话语来解释就是:由P到Q的实质非蕴涵仅在P为真,Q为假时成立。

逻辑学符号可以如此表示实质非蕴涵:

实质非蕴涵等同于:

“P但不是Q”

相关

  • 原牛原牛(学名:Bos taurus primigenius),是一种已灭绝的牛亚种,是现代家牛未驯化的野生近亲。最后一只于1627年在波兰灭绝。原牛出现在欧洲和西亚的石器时代的洞穴壁画中,显示它是重要
  • 主缢痕染色体(英语:chromosome)是真核生物特有的构造,主要由双股螺旋的去氧核糖核酸和5种被称为组蛋白的蛋白质构成,是基因的主要载体。染色体是细胞内具有遗传性质的遗传物质深度压缩
  • 通才博学家(polymath)或通才,是指精通多个不同范畴而且表现超群的人。文艺复兴人(Renaissance man,或拉丁语和意大利语中的Homo universalis、Uomo Universale),是“通才”的一个别称,特
  • 罗贾瓦罗贾瓦(库尔德语:Rojava),又称西库尔德斯坦(Rojavayê Kurdistanê),“罗贾瓦”在库尔德语里意为“西方”。其范围包括叙利亚北部和东北部的库尔德族居住地区,涵盖扎格罗斯山脉的一
  • 科纳斯组织科纳斯组织(Khronos Group)是一个由成员资助的,专注于制定开放标准(Open standard)的行业协会,重点制定免费的API,使在各种平台和设备上创作或播放的多媒体可以得到硬件加速。所有K
  • 加姆拉自然保护区加姆拉自然保护区(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova"
  • 超级伙伴屈中恒、柯佳嬿、骆炫铭、布雷克唐在扬、林添贵纬来电视网《超级伙伴》(英语:Freak Family),2014年纬来电视网自制的电视电影,由屈中恒、柯佳嬿、骆炫铭、布雷克领衔主演。2014年
  • 白水河 (丹河)白水河是丹河的一条支流,发源于晋城市市区北的白马寺山,向南流经陈沟、西上庄、西街、南街、钟家庄及南河西6个乡镇后汇入丹河,全长61千米。
  • 克里斯蒂安堡宫克里斯蒂安堡宫(丹麦语:Christiansborg Slot)位于丹麦哥本哈根的城堡岛(Slotsholmen)上,前身为哥本哈根城堡(丹麦语:Københavns Slot),自完工以来即为丹麦重要的政治中枢之一。克里斯蒂安堡宫的原址为阿布萨隆城堡(Absalon's Castle)最早建于1167年,是于阿布萨隆大主教所兴建之要塞建筑,然而在完工近两个世纪,由于城堡在海峡贸易的价值,因此国王和主教一直在争夺城堡和哥本哈根的所有权。因此阿布萨隆城堡经常受到攻击,例如受到文德盗贼和汉萨同盟的攻击,137
  • 桂河桂河可以指: