问题
单项选择题
下列哪些条不属于Armp公理系统中的基本推理规则? I.若YX,则X→Y II.若X→Y,则XZ→YZ III. 若X→Y,且ZY,则X→Z IV.若X→Y,且Y→Z,则X→Z V.若X→Y,且X→Z,则X→YZ
A.仅I和III
B.仅III和V
C.仅II和IV
D.仅IV和V
答案
参考答案:B
下列哪些条不属于Armp公理系统中的基本推理规则? I.若YX,则X→Y II.若X→Y,则XZ→YZ III. 若X→Y,且ZY,则X→Z IV.若X→Y,且Y→Z,则X→Z V.若X→Y,且X→Z,则X→YZ
A.仅I和III
B.仅III和V
C.仅II和IV
D.仅IV和V
参考答案:B