逻辑学吧 关注:37,787贴子:144,091
  • 7回复贴,共1

使用文恩图解,如何判定三段论有效性?

只看楼主收藏回复

所有聪明的人都用脚走路;
所有不聪明的人都用手走路。
所以,没有人手脚并用走路。


IP属地:北京1楼2022-09-27 06:57回复
    所有人不是聪明人
    所有聪明人是用脚走路的人
    ∴ 所有人不是用脚走路的人 1
    所有人不是非聪明人
    所有非聪明人是用手走路的人
    ∴ 所有人不是用手走路的人2
    1,2 conj


    IP属地:安徽3楼2022-09-27 13:49
    回复
      使用谓词逻辑的二难推理规则,可证。
      1.所有聪明的人都用脚走路;
      2.所有不聪明的人都用手走路。
      3.所有人或者是聪明人或者不是聪明人。
      4. 所以,所有人或者是用脚走路的人或者是用手走路的人。


      IP属地:北京4楼2022-09-27 15:59
      收起回复
        四概念,没办法用文恩图验证该推理的有效性。


        IP属地:湖南来自Android客户端5楼2022-09-27 17:06
        收起回复
          【没有人手脚并用走路】
          =【没有人既用脚走路也用手走路】
          =【所有用脚走路的人都不是用手走路的人】。
          原题目也可以如下写出:
          1.所有聪明的人都用脚走路;
          2.所有不聪明的人都用手走路。
          3.所以,所有用手走路的人都不是用脚走路的人。
          该三段论的形式是:
          MAP; M'AS. ∴SEP.
          请问:使用文恩图解,如何检验有效性呢?如何求出正确结论呢?


          IP属地:北京7楼2022-09-28 05:16
          回复