邏輯真值表

1、所有真值表都有一個對應的函數。

2、只有當一個真值表右邊一欄表達項全爲真時，這個函數被稱作真命題，也就是說，真命題是要放之四海而皆準纔可以的。

3、所有可真可假也就是真值表右邊一欄部分爲真，部分爲假的命題都包含一個真命題，這個包含的意思首先是這個命題只對部分假設成立，另外一個意思是可以替換掉其中的一些假設使之成爲徹底的真命題。