下列命题变形直接推理形式为有效式的有（）.
A: A├PE
B: SIP├OS
C: SAP├OS
D: SOP├O
E: SEP├IP
A: A├PE
B: SIP├OS
C: SAP├OS
D: SOP├O
E: SEP├IP
举一反三
- 下列命题变形直接推理形式为有效式的有（）. A: AA├PE B: BSIP├OS C: CSAP├OS D: DSOP├O E: ESEP├IP
- 下列公式是命题变形直接推理的有效式，其中（ ）是换质位推理。 A: SIP→¬（SOP） B: SEP→¯PIS C: ¬（SEP）→¯PES D: SAP→PIS
- 推理形式正确的有()。 A: SIP├SOP B: SEP├SAP C: SAP├SIP D: SOP├SEP E: SOP├SIP
- 下列推理形式正确的有（ ）。 A: SIP→SO¬P B: ¬SEP→SAP C: SAP→SIP D: SOP→SEP E: ¬SOP→SIP
- 下列推理形式中,有效的推理形式是(),()。 A: SAP,所以,SIP B: SIP,所以,SOP C: SEP,所以,并非SOP D: SOP,所以,并非SAP E: SOP,所以,并非SEP