问题
单项选择题
下列哪些条目不属于Armp公理系统中的基本推理规则?()
Ⅰ.若YX,则X→Y
Ⅱ.若X—Y,则XZ→YZ
Ⅲ.若X→Y,且ZY,则X→Z Ⅳ.若X→Y,且Y→Z,则X→Z
Ⅴ.若X→Y,且X→Z,则X→YZ
A.仅Ⅱ和Ⅳ
B.仅Ⅳ和Ⅴ
C.仅Ⅰ和Ⅲ
D.仅Ⅲ和Ⅴ
答案
参考答案:D
下列哪些条目不属于Armp公理系统中的基本推理规则?()
Ⅰ.若YX,则X→Y
Ⅱ.若X—Y,则XZ→YZ
Ⅲ.若X→Y,且ZY,则X→Z Ⅳ.若X→Y,且Y→Z,则X→Z
Ⅴ.若X→Y,且X→Z,则X→YZ
A.仅Ⅱ和Ⅳ
B.仅Ⅳ和Ⅴ
C.仅Ⅰ和Ⅲ
D.仅Ⅲ和Ⅴ
参考答案:D