问题 单项选择题

下列哪些条目不属于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

多项选择题
问答题