Chapter1_命题逻辑3(4等价证明)