逻辑真值表

1. 所有真值表都有一个对应的函数。

2. 只有当一个真值表右边一栏表达项全为真时，这个函数被称作真命题，也就是说，真命题是要放之四海而皆准才可以的。

3. 所有可真可假也就是真值表右边一栏部分为真，部分为假的命题都包含一个真命题，这个包含的意思首先是这个命题只对部分假设成立，另外一个意思是可以替换掉其中的一些假设使之成为彻底的真命题。