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