总结

□真值符号，各真值符号的真值表，以及与真值符号相对应的自然语言联结词“并非”“并且”“或者”以及“如果……那么”。

□真值函数的符号形式也可以表达电子集成线路，因为句子的“真”和“假”可以对应于线路的“开”和“关”。

□可以通过四个真值函数符号和代表判断的字母来刻画自然语言句子的符号形式，需要注意的是要准确地刻画。

□通过真值表法和简化真值表法可以确定一个给定的真值函数论证是否有效。

□有效论证的基本模式和真值函数的等值式有助于判定有效的论证。

□通过建构演绎推理可以证明真值函数论证的有效性，所运用的规则包括有效论证的基本模式、真值函数的等值式以及条件证明规则。