命题逻辑公理A→B→A怎么用语言解释