Armstrong公理系統(tǒng)中有一條推理規(guī)則為:若X→Y為F所邏輯蘊含,且,則XZ→YZ為F所邏輯蘊含。這
Armstrong公理系統(tǒng)中有一條推理規(guī)則為：若X→Y為F所邏輯蘊含，且 ，則XZ→YZ為F所邏輯蘊含。這條推理規(guī)則稱作__________。
正確答案：增廣律Armstrong公理系統(tǒng)包括3條推理規(guī)則：
詞條內容僅供參考，如果您需要解決具體問題
（尤其在法律、醫(yī)學等領域），建議您咨詢相關領域專業(yè)人士。