逻辑学 模拟命题的一些疑问. 就是 必然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逻辑学本身就不能这么表示,要直接字面理解?
刚开始接触一点,在下愚笨 求大大清晰教育 分不是问题!

答案

我曾经学过逻辑学,按我的理解跟你说说.
你既然知道直言命题和对当关系的四种命题建构,知道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.