逻辑学吧 关注:38,093贴子:144,630
  • 8回复贴,共1

条件命题p->q的真值表的疑问

只看楼主收藏回复

条件命题p→q
1:若p是真,q是真,则 p→q是真;
2:若p是真,q是假,则 p→q是假;
3:若p是假,q是真,则 p→q是真;
4:若p是假,q是假,则 p→q是真。
我们主要的疑问集中在3和4。即为什么条件p为假的时候,不管结果q如何,p->q这个结论是真。
实际上基于对现实的意义来说, p为假时,p->q可真可假


IP属地:陕西1楼2021-06-29 16:48回复
    因为这就是实质蕴涵(→)的定义,
    就像不相容析取(也叫 异或,符号为⊕)的定义是:p、q两个命题真值相反。
    实质蕴涵(→)的定义是:并非“p真且q假”
    这种定义域和值域都是真值的函项叫【真值函项】,【实质蕴涵】就是一种【真值函项】
    对于【条件句】,用实质蕴涵来刻画/翻译会很怪,所以诞生了一些 【非真值函项】的刻画方式,比如【严格蕴涵】。
    ------
    所以,楼主的提问【什么条件p为假的时候,不管结果q如何,p->q这个结论是真。】不太准确,因为根据→的定义这是毫无疑问的。
    楼主应该问的是,为什么要用【实质蕴涵】来刻画【条件句】。


    IP属地:天津2楼2021-06-29 18:38
    回复
      相关的文章很多,观点也五花八门。一两句是不可能说清楚的。


      IP属地:天津3楼2021-06-29 18:51
      回复
        据真值表判断有效推理,个人的理解是:(1)真命题得真命题,有效推理(2)一个假命题不能断定另一个命题的真值,有效推理。


        IP属地:湖南来自Android客户端5楼2021-06-30 11:53
        回复
          请教下楼主,A和B至少一个是A或者B,A和B中至多一个是非A或者非B么?


          IP属地:重庆8楼2021-07-13 16:55
          收起回复
            就蕴含怪论呗
            就理解成其定义是这个就行了
            毕竟蕴含大概含义是条件句所以但是不等于条件句
            主要是用的方便
            当然严格蕴含更符合日常使用习惯但也还有严格蕴含怪论


            IP属地:四川来自Android客户端9楼2021-07-20 22:54
            回复
              算了,我就是个渣渣
              主要是最近看到过这个
              希望楼主能有收获






              IP属地:四川来自Android客户端10楼2021-07-20 22:58
              回复