Amrstrong公理系统的三条基本推理规则有（）、（）、（）。