Propositional Logic（PL）的有效性（Validity）是可判定的，这意味着存在一个算法，给定任意一个PL中 …