填空題

Armstrong公理系統(tǒng)的三條推理規(guī)則是自反律、增廣律和()

答案: 傳遞律
微信掃碼免費搜題