逻辑真值表

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

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

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