真值表在形式逻辑中的功能

摘要

真值表是形式逻辑中广泛使用的一种逻辑方法,也是一种非常有用的工具。利用这一工具,可以判定一个命题表达式的真值情况;命题间的等值或矛盾关系;两个命题是否有条件关系;还可以应用它确定若干命题是否有一种共同情况存在以及寻找符合题设条件的情况和推理形式是否正确。这些结果都可以利用真值表这一工具一目了然地显示。