下列命题变形直接推理形式为有效式的有（）.
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
举一反三
- 下列命题变形直接推理形式为有效式的有（）. A: A├PE B: SIP├OS C: SAP├OS D: SOP├O E: SEP├IP
- 下列公式是命题变形直接推理的有效式，其中（ ）是换质位推理。 A: SIP→¬（SOP） B: SEP→¯PIS C: ¬（SEP）→¯PES D: SAP→PIS
- 性质命题推理包括直接推理和（ ）。 A: 间接推理 B: 对当关系推理 C: 命题变形推理 D: 三段论
- 直接推理包括（ ）和（）。 A: 间接推理 B: 对当关系推理 C: 命题变形推理 D: 三段论
- 下列操作系统属于现代结构OS的是（ ） A: 分层式结构的os B: 模块化结构的os C: 微内核结构的os D: 无结构os