下列哪一條不屬于Armstrong公理系統(tǒng)中的基本推理規(guī)則?
下列哪一條不屬于Armstrong公理系統(tǒng)中的基本推理規(guī)則?
A．若Y∈x，則X→Y
B．若x→Y，則XZ→YZ
C．若x→Y，且z∈Y，則X→z
D．若x→Y，且Y→Z，則x→z
正確答案：C解析：選項(xiàng)A)為自反律、選項(xiàng)B)為增廣律、選項(xiàng)D)為傳遞律，選項(xiàng)c)是Armstrong公理的推論。
詞條內(nèi)容僅供參考，如果您需要解決具體問(wèn)題
（尤其在法律、醫(yī)學(xué)等領(lǐng)域），建議您咨詢相關(guān)領(lǐng)域?qū)I(yè)人士。