关于判定命题推理有效性真值表化简方法的引申

摘要

真值表方法是命题逻辑的一种重要的方法。它既可以判定一个命题公式是重言式、矛盾式或协调式 ,也可以判定命题推理是否有效。掌握真值表化简方法对判定命题推理是否有效显得尤为重要。