如何從阿姆斯壯公理證明“A->B,C then A->B and A->C”

我知道這是真的，但我不明白如何證明。

問題：

證明或反證如果 A->B,C，則 A->B 和 A->C

這個答案是相似的，但它沒有證明使用阿姆斯特朗公理的關係。

只需兩個步驟：您可以使用自反性B C -> B，然後使用A -> B C前一個依賴項的傳遞性。第二種情況的類似解決方案。

引用自：https://dba.stackexchange.com/questions/192470