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

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

Function of truth value table in formal logic

The truth value table is both a kind of logic approach widely used in formal logic and a very useful tool.By using it,we can judge whether a propositional expression is true and what the relation between two propositions.Also,we can judge whether there is a conditional relation between two propositions.With the help of the truth value table,not only can we judge whether a certain common condition exists among several propositions,but we can find out the common condition and judge whether the inference is sound formally as well.All these effects of the table can be shown to us clearly by using it.