第二节 量子命题演算公理系统QPA的公理模式和变形规则