基本逻辑对位图（上反对关系和下反对关系）

基本逻辑对位图（上反对关系和下反对关系）

                          (2013-03-17 22:37:35)

http://blog.sina.com.cn/s/blog_3fb12a440101jlj9.html

同志们要善于利用网络资源啊!

命题?的逻辑关系主要有三种：矛盾?、推出?和反对?，其中反对关系又分为上反对关系??和下反对?关系。上反对是指两个命题必有一假，可以同假；下反对是指两个命题必有一真，可以同真。

看个逻辑对位图

例如：      所有女人都是美女---------（至少一假）--------所有女人都不是美女

泡泡是美女                                                                泡泡不是美女

             有的女人是美女----------（至少一真）--------有的女人不是美女

其中，  有的女人是美女属于所有人女人是美女中，只要后者成立，前者就成立。

        有的女人不是美女属于所有人女人不是美女中，只要后者成立，前者就成立。

        从属关系由上图得出。

      所有女人是美女的矛盾命题（假命题）为，有的女人不是美女

      所有女人都不是美女的矛盾命题（假命题）为，有的女人是美女

所有女人都是美女 和 所有女人都不是美女 为上反对关系，二者必有一假，可以同假，不能同真。

有的女人是美女  和  有的女人不是美女  为下反对关系，二者必有一真， 可以同真，不能同假。

有的女人是美女 属于  泡泡是美女  属于  所有女人是美女

有的女人不是美女  属于  泡泡不是美女  属于 所有女人不是美女

后面的成立，前面的就成立。

有问题留言。