第四节 量子命题演算公理系统QPA中的导出规则和基本内定理