真值表法, 即通过真值表检验A为真时B一定为真. 注:证明A⇒B时不考虑A为假的情况. 证明推理公式的方法. Page 91. 上述方法的特点. □ 都是从真值的角度进行论证和解释. □ ...
確定! 回上一頁