第五节 量子命题推理有效式的判定方法