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