Armstrong公理系统最基本的三个推理规则是：（）。