Armstrong公理证明

A1（自反性）证明：

因为若t[X] = s[X],Y⊆X,则可推出t[Y] = s[Y],所以：X→Y

A2（增广性）证明：

若 t[XZ] = s[XZ], 则应有t[X] = s[X], t[Z] = s[Z],

若t[YZ] = s[YZ], 则应有t[Y] = s[Y], t[Z] = s[Z]。

由X→Y可知若 t[X] = s[X], 则一定有 t[Y] = s[Y]

所以，若t[XZ] = s[XZ],则一定可以推出t[YZ] = s[YZ],

所以，XZ→YZ。

A3（传递性）证明：

由X→Y可知若 t[X] = s[X]，则有t[Y] = s[Y]

由Y→Z可知若t[Y] = s[Y]，则有t[Z] = s[Z]

所以，若t[X] = s[X]，则有 t[Z] = s[Z]。

所以， X→Z。

A4（合并律）证明：

X→Y ⇒ X→XY（增广律）

X→Z ⇒ XY→YZ（增广律）

X→XY、XY→YZ ⇒ X→YZ（传递律）

A5（分解律）证明：

X→Y ⇒ WX→WY（增广律）

WX→WY、WY→Z ⇒ WX→Z（传递律）

A6（伪传递律）证明：

Z⊆Y ⇒ Y→Z（自反律）

X→Y、Y→Z ⇒ X→Z（传递律）

A7（复合律）证明：

X→Y ⇒ XW→YW (增广律)

W→Z ⇒ YW→YZ (增广律)

XW→YW、YW→YZ ⇒ XW→YZ(传递律)