真值函数判断--数学表达式

真值函数确定

这一章的数学表达式较多，或者说是集合语言相对丰富。我觉得可以直接把这个表达式和这章的总结贴出来，效果会更好。

总结：

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

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

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

·通过常用的论证形势就可以评估许多真值函数论证是否有效。

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

·有效论证的基本形式和真值函数的等值式有助于确定有效的论证。

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

1 2 3

这些都是文章出现的一些逻辑表达推理式，感觉还是很有用。