[H33] 語句邏輯- 基本真值表 - philosophy@hku

在前章，我們只集中在陳構SL的語法規則。

透過這些規則，我們得以辨別及構作SL的WFF。

在討論SL的語法時，SL的連詞如 '∨'，'&' 及 WFF如 "~P∨Q" "(~(P∨Q)&(~(~P→~Q)))" 均只被視為無意義的符號或符號串。

在此課中我們將探討它們的語意而進入SL的語意理論 (semantics theory)。

讓我們先說明SL語意論的一些基本概念與假設。

首先，我們需知道何謂句子或語句的真值 (truth-value)。<