下列哪一条不属于Armp公理系统中的基本推理规则？（）

A．若YX，则X→Y

B．若X→Y，则XZ→YZ

C．若X→Y，且ZY，则X→Z

D．若X→Y，且Y→Z，则X→Z

（）是各级机构（发包方）与勘察设计单位（承包方）为完成一定的勘察设计任务，明确双方的技术、经济责任及权利义务关系而签订的合同。

A.建筑安装工程施工合同

B.建设工程勘察设计合同

C.初步设计合同

D.以上答案都不对