命题逻辑的语义 称为一个推理(sequent)，如果使用Natural Deduction的方式进行推导(derivation)，可以由得到，那...