在逻辑学中，“有的人不是医生”是自然语言。若将它从自然语言翻译为形式化语言，就是（ ）。
A: 有的S不是P，简写为SOP。
B: 所有S是P，简写为SAP。
C: 有的S是P，简写为SIP。
D: 所有S不是P，简写为SEP。
A: 有的S不是P，简写为SOP。
B: 所有S是P，简写为SAP。
C: 有的S是P，简写为SIP。
D: 所有S不是P，简写为SEP。
举一反三
- “所有懒汉都不喜欢学习”是自然语言，其形式化表达是（ ） A: 所有S是P，简写为SAP。 B: 所有S不是P，简写为SEP。 C: 有的S是P，简写为SIP。 D: 有的S不是P，简写为SOP。
- SAP,所有的S是P.SIP有的S是P，SEP所有的S不是P,SOP，有的S不是P。当S类与P类具有( )关系或( )关系时,SEP为假但SOP为真。 A: 全同 B: S真包含P C: S真包含于P D: 交叉 E: 全异
- “有的同学没来上课”这个命题的逻辑形式是() A: 所有s不是p； B: 所有s是p； C: 有的s是p； D: 有的s不是p。
- 以“所有P是M，所有S不是M”为前提进行三段论推理，可必然推出（）。 A: SEP B: SAP C: SIP D: SOP E: 没有S不是P
- 在同一思维过程中，如果断定了“所有S不是P”为真，就不能又断定（），否则就是犯了“自相矛盾”的错误。 A: “有的S不是P”为真 B: “所有S是P”真 C: “有的S是P”真 D: “所有P不是S”假 E: “有的P是S”真