假言三段论

✍ dations ◷ 2025-04-27 00:59:00 #假言三段论

假言三段论又称假言推理。假言推理总是以假言判断为前提来进行推理的。

在逻辑中,假言三段论是服从下列形式的有效的论证:

在逻辑运算符记号中

换句话说,这种论证陈述如果第一个蕴涵第二个,并且第二个蕴涵第三个,则第一个蕴涵第三个。假言三段论的一个例子:

假言三段论有一个好处,它们可以是反事实的(counterfactual): 它们可以是真的,即使前提假设的命题已知是假的。

反事实的前提的可以在有效的假言三段论中使用的例子:

相关

  • 二氧化碳二氧化碳(IUPAC名:carbon dioxide,分子式:CO2)是空气中常见的化合物,由两个氧原子与一个碳原子通过共价键连接而成。空气中有微量的二氧化碳,约占0.04%。二氧化碳略溶于水中,形成碳酸
  • 土木土木工程(civil engineering),在中国大陆原先翻译为“公民建”(公用与民用建筑),是指一切和土、木有关的基础建设的计划、建造和维修。现时一般的土木工作项目包括:能源、水利及交
  • 埃罗省埃罗省(法文:Hérault)是法国朗格多克-鲁西永-南部-比利牛斯大区所辖的省份,东邻地中海。该省编号为34。5个海外省及大区
  • ɢ浊小舌塞音是辅音的一种,用于一些语言当中,它的国际音标符号是⟨ɢ⟩,X-SAMPA符号是 G\,汉语中无此音,但郑张尚芳等学者认为上古汉语中有此音。基本上,浊小舌塞音,比起清小舌塞音还
  • 性别特征性别特征(英语:Sexual characteristics)是生物体(通常是两性异形生物体)的身体上或行为特征,其表示为生物性别。区分物种的性别可以包括用于繁殖的性器官和第二性征表征,第二性征不
  • 大观镇 (都江堰市)大观镇,是中华人民共和国四川省成都市都江堰市下辖的一个乡镇级行政单位。地处世界文化遗产青城山南侧,幅员面积18平方公里。2019年12月,撤销大观镇、安龙镇,将原大观镇和原安龙
  • 吉永家的石像怪吉永家的石雕像 : Animax《吉永家的石像怪》(吉永さん家のガーゴイル),是日本作家田口仙年堂的轻小说作品、日向悠二负责插画,并被改编为同名漫画及电视动画。御色町是一个平凡又
  • 穆加尔多斯穆加尔多斯(加利西亚语:Mugardos),是西班牙加利西亚自治区拉科鲁尼亚省的一个市镇。总面积12.8km², 总人口5,303人(2017年),人口密度414人/km²。
  • 刘立刘立(?-3年),汉朝宗室,西汉第十二代梁王。其先祖梁孝王刘武是汉文帝刘恒的次子,参与平定七国之乱。前25年,其父刘嘉死后,刘立袭位梁王,在位二十七年。多次故意杀人,与姑母园子私通,汉成帝、汉哀帝时都要治他的罪,但都没有执行。后来他与汉平帝的外戚卫家合谋,被王莽发现,于公元3年,将刘立废位,徙于汉中,刘立自杀,有子刘永、刘防、刘少公。
  • 周孟初周孟初(1963年10月31日-),男,浙江东阳人,华裔自动化学者。新泽西理工学院杰出教授、澳门科技大学教授。主要从事佩特里网研究。1963年生于浙江省东阳县,1978年就读于巍山中学。1983年毕业于华东工程学院,1986年获北京工业学院自动控制专业硕士学位,在第五机械工业部计算机应用研究所工作。1987年赴美国留学,1990年获伦斯勒理工学院计算机与系统工程博士学位。同年担任新泽西理工学院助理教授,1995年晋升为副教授。创办并主持了离散事件系统实验室。1998年受聘为中华人民共和国教育部第八批“长江