先睇下一個複合語句⌈p∨~p⌉既真值表:

p　|~p　|⌈p∨~p⌉|

T　|F　  |　T　|

F　|T　  |　T　|

無論p係真定假,⌈p∨~p⌉都為真.

又睇下一個例子:

睇睇⌈p∧q→q⌉既真值表:

p　|q　|⌈p∧q→q⌉|

T　|T　|　　T　｜

T　|F　|　　T　｜

F　|T　|　　T　｜

F　|F　|　　T　｜

無論p同q係真定假,⌈p∧q→q⌉都為真.

我地稱呢種情況叫「恆真句」(tautology)

又睇下一個例子:

考慮下⌈p∧~p⌉既真值表:

p　|~p　|⌈p∧~p⌉|

T　|F　  |　F　|

F　|T　  |　F　|

無論p係真定假,⌈p∧~p⌉都為假.

呢種情況叫「矛盾句」(contradiction).

同理,既唔係恆真句,又唔係矛盾句既就稱為「適真句」(contingent sentence).(即論證有真有假)

一啲特別符號既介紹:

(1)50係一個整數.

如果我地用「a」代表「50」,「R」代表「整數」,我地可以用以下表達(1)既語句.

Ra

同理,如果「a」唔係整數,我地會寫成:

~Ra

(2)25係5既倍數.

如果我地用「F」代表「是...倍數」;「a」代表「25」;「b」代表「5」,就可以表示為:

Fab

(3)無論x係咩,Fxa→Px.

用「∀x」表示「無論x是什麼」,表示為:

∀x(Fxa→Px)

有一啲Hx∧~Fx

用「∃x」表示「有一些」,表示為:

∃x(Hx∧~Fx)