黄为森博客▲

形式逻辑的命题及其相互之间的关系
——黄为森形式逻辑学习笔记

黄为森 编著
二〇二一年七月二十七日

　　形式逻辑所称命题，是指可以被判断真假的陈述句。被判断为真的陈述句被称作真命题；被判断为假的陈述句被称作假命题。
　　对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论和条件，那么这两个命题被称作互逆命题，其中一个命题被称作原命题，另外一个命题被称作原命题的逆命题。
　　对于两个命题，如果一个命题的条件和结论分别是另外一个命题的条件的否定和结论的否定，那么这两个命题被称作互否命题，其中一个命题被称作原命题，另外一个命题被称作原命题的否命题。
　　对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论的否定和条件的否定，那么这两个命题被称作互逆否命题，其中一个命题被称作原命题，另外一个命题被称作原命题的逆否命题。互逆否的两个命题具有相同的真假属性。
.


　　█ 本图文作者郑重声明：
　　本图文著作权，属于本图文作者所有。
　　因本图文作者水平有限，本图文错误也许难免。本图文自受到质疑或者批评时自行废止，敬请质疑者或者批评者立即删除或者销毁本图文。采信本图文，由采信者自行承担法律后果，本图文作者不承担任何责任。
　　发表本图文的网站如果认为本图文有错误，敬请网站径行删除本图文，不必征求本图文作者意见。
　　
　　█ 本图文作者相关信息：
　　请见《中国房地产》杂志（国内统一刊号CN12-1006、国内统一连续出版物号CN12-1006／F）1998年第11期第34页，2001年第5期第49页，2017年第2期第44页；《中国不动产》杂志（国内统一刊号CN10-1292∕F）2016年第11期第52页、第53页，2019年第5期第34页、第35页，2020年第2期第34页、第35页，2020年第6期第38页、第39页，2020年第12期第13页、第15页；《中国房地信息》杂志（CN11-2586／F）1995年第2期第39页；《中外房地产导报》杂志（国内统一刊号CN44-1158／F）1999年第21期第25页、第28页；《四川房地产》杂志（川内字02-148号）1992年第6期第25页；《蜀都房地产》杂志（内部资料准印证02-012）1998年第10期第31页。
　　
　　█ 黄为森互联网博客网址：
　　知乎网 https://www.zhihu.com/people/huang-wei-sen-47 ；
　　新浪网 http://blog.sina.com.cn/s/articlelist_1391128210_0_1.html ；
　　搜狐网 http://huangweisen.blog.sohu.com/entry/ ；
　　网易网 https://laoniuhun.lofter.com 。