邏輯真值表

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

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

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