【【单选题】在逻辑方阵中,已知SAP为假,则能必然推出:SEP()】在逻辑学中,逻辑方阵(又称对当方阵)是用于分析直言命题之间关系的一种工具。四个基本的直言命题形式分别为:
- SAP(全称肯定命题):“所有S都是P”
- SOP(特称否定命题):“有些S不是P”
- SEP(全称否定命题):“所有S都不是P”
- SIP(特称肯定命题):“有些S是P”
在逻辑方阵中,SAP与SEP是矛盾关系,即两者不能同真也不能同假。也就是说,如果SAP为真,则SEP必为假;反之,如果SAP为假,则SEP必为真。
因此,题目中“已知SAP为假”,根据逻辑方阵的矛盾关系,可以必然推出SEP为真。
逻辑方阵关系表
命题类型 | 符号表示 | 含义 | 与SAP的关系 |
全称肯定 | SAP | 所有S都是P | 矛盾于SEP |
特称肯定 | SIP | 有些S是P | 下反对关系 |
全称否定 | SEP | 所有S都不是P | 矛盾于SAP |
特称否定 | SOP | 有些S不是P | 下反对关系 |
结论:
当SAP为假时,根据逻辑方阵中的矛盾关系,可以必然推出SEP为真。
答案:真