逻辑学模拟命题的一些疑问.就是必然P,必然非P,可能P,可能-查字典问答网
分类选择

来自赫欣的问题

  逻辑学模拟命题的一些疑问.就是必然P,必然非P,可能P,可能非P这几个东西的关系求高手传道授业解惑必然P必然非P(不可能P)可能P可能非P看必然P—可能P这一组.根据其

  逻辑学模拟命题的一些疑问.就是必然P,必然非P,可能P,可能非P这几个东西的关系求高手传道授业解惑

  必然P必然非P(不可能P)

  可能P可能非P

  看必然P—可能P这一组.根据其差等关系,有:

  1.必然P=>可能P(真=>真)

  2.并非可能P=>并非必然P(假=>假)

  我的问题是并非必然P=>什么?是不是并非必然P=>真假不定的可能P

  同理可能P=>真假不定的必然P

  这是从直言命题和其对当关系(就是那个什么AEIO)里对出来的,但是我还是有点难接受这个.

  在一个集合里面(大圈),事件P(大圈里的小圈)必然非P指的范围是大圈减小圈吗?那并非必然P指什么.?可能非P并非可能P还有并非可能非P呢?

  好像是我想的这个模型有点问题.少了一个变量还是这B逻辑学本身就不能这么表示,要直接字面理解?

  刚开始接触一点,在下愚笨求大大清晰教育分不是问题!

1回答
2020-02-13 22:33
我要回答
请先登录
韩彩霞

  我曾经学过逻辑学,按我的理解跟你说说.

  你既然知道直言命题和对当关系的四种命题建构,知道AEIO,那么你的模型是少了一个变量.

  你现在问的问题是属于逻辑学的基础问题,是一个关于性质命题及其相关性的问题.

  必然p,用命题的方式可以表示为=》所有s是p,在逻辑学中写作SAP,简称A判断,是全称肯定判断;

  必然非p=》所有s都不是p,写作SEP,简称E判断,是全称否定判断;

  可能p=》有的s是p,写作SIP,简称I判断,是特称肯定判断;

  可能非p=》有的s不是p,写作SOP,简称O判断,是特称否定判断.

  上面说的s,就相当于你建立图形模型的那个大圈,就是那个集合.

  A反对关系E

  差差

  等等

  关关

  系系

  I下反对关系O

  这个就是“逻辑方阵”

  从这个里面可以推导出,全称判断若为真,那么特称判断肯定为真;肯定判断若为真,那么其反对关系的否定判断肯定为假;特称判断若为真,全称判断的真假不能判断.

  就是说,在你的提问中,并非必然p,应该表述为并非所有的s都是p,相当于求A命题的否命题,那么得出的结论应该是E命题,就是说,所有的s都不是p.

  可能p,应该表述为有的s是p,就是说当I命题为真时,可以确定AEO哪个为真.在这样的条件下,AEO的真值都不能确定,就是说不能确定是否所有s都是p,不能确定所有的s都不是p,也不能确定有的s不是p.

2020-02-13 22:34:42

最新问答

推荐文章

猜你喜欢

附近的人在看

推荐阅读

拓展阅读

  • 大家都在看
  • 小编推荐
  • 猜你喜欢
  •