3.3.2 Armstrong公理