下列哪一條不屬于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解析:選項A)為自反律、選項B)為增廣律、選項D)為傳遞律,選項c)是Armstrong公理的推論。
詞條內容僅供參考,如果您需要解決具體問題
(尤其在法律、醫(yī)學等領域),建議您咨詢相關領域專業(yè)人士。