逻辑学模拟命题的一些疑问。就是必然P,必然非P,可能P，可能非P 这几个东西的关系求高手传道授业解惑-格物学-2025大学专业介绍-高考倒计时-高考志愿填报

我曾经学过逻辑学，按我的理解跟你说说。
你既然知道直言命题和对当关系的四种命题建构，知道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命题，就可能p，应该表述为有的s是p，就是说当I命题为真时，可以确定AEO哪个为真。
在这样的条件下，AEO的真值都不能确定，就是说不能确定是否所有s都是p，不能确定所有的s都不是p，也不能确定有的s不是p。
_{内容来自网友回答}

数学逻辑联结词都有些什么

逻辑联结词“或”、“且”、“非”