下列各式中,依据下反对关系而进行的有效推理是( )。
A: S I P →﹁(SOP)
B: S I P →SOP
C: ﹁( SOP)→S I P
D: ﹁(S I P) →﹁(SOP )
E: ﹁(S I P) →SOP
A: S I P →﹁(SOP)
B: S I P →SOP
C: ﹁( SOP)→S I P
D: ﹁(S I P) →﹁(SOP )
E: ﹁(S I 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: 全异
- 若SOP假而POS真，则S与P的外延关系是P真包含于S。
- 递延期现值的计算公式包括（ ） A: P=A[(P/A,i,N)-(P/A,i,s)] B: P=A[(P/A,i,N-s)*(P/F,i,s)] C: P=A[(P/A,i,N-s)-(P/A,i,s)] D: P=A[(P/A,i,N)*(P/A,i,s)]
- 下列推理形式中，有效的是（ ）。 A: ¬（SEP）→SAP B: SO¬P→PO¬S C: SA¬P →SE¬P D: ¬（SIP）→SOP E: SAP→PAS
- 若SAP假且SOP真，则S与P具有( )关系