下列命题变形直接推理形式为有效式的有（）. A: AA├PE B: BSIP├OS C: CSAP├OS D: DSOP├O E: ESEP├IP
下列命题变形直接推理形式为有效式的有（）. A: AA├PE B: BSIP├OS C: CSAP├OS D: DSOP├O E: ESEP├IP
1
下列命题变形直接推理形式为有效式的有（）. A: AA├PE B: BSIP├OS C: CSAP├OS D: DSOP├O E: ESEP├IP