依附理論

Question

我：

U-> PT….. 1 

Q-> SU……2 

等等

在使用自反性公理可我然後說

Q-> S , Q-> U 
Q-> PT 

我想問這個公理是如何工作的使用示例以上。

Answer 1

爲了得到

Q->S 
Q->U 

從

Q->SU 

我會使用分解規則，而不是自反性公理。然後我將這個傳遞性公理應用於Q->U, U->PT以得出Q->PT。

如果你問的自反性公理的意思，這意味着

If Y is a subset of X, then X->Y。

在您的例子，它看起來像你可能會想說，

SU is a subset of Q, therefore Q->S and Q->U. 

但它沒有考慮到SU是Q的子集，以確保你得到了這一點，Q-> SU沒有按意思是SU是Q的一個子集。例如，如果你在軍隊，你的姓和血型（等等）在功能上取決於你的服務號碼。讓服務號碼屬性用「S」表示，姓氏用「L」表示，血型用「B」表示。然後

S->LB 

但是「姓氏」和「血型」都不是「服務號碼」的子集。

另一方面，讓我們想象一下，首先給你這個。

U->PT 
Q->SU 
Q = {SUV} (New information!) 

由於Q={SUV}，{S}是{SUV}的子集，{藍}是{SUV}的一個子集，那麼你可以申請自反性公理推導

Q->S (or SUV->S) 
Q->U (or SUV->U) 

但該公理僅適用於此示例，因爲您給出 Q = {SUV}。