作者: 黃盛
1 Down the rabbit hole: 論理型
掉下兔子洞
十
有了上述關於否定句式的直觀認識﹐我們嘗試用表式來界定/定義「﹁」。以下的表式稱為「真值表」(truth-table):
我們用「1」代表真﹐「0」代表假。15「p」是語句變元 (或命題變元)﹐讀者應該記得﹐「﹁」則是個函子 (functor); 即這個符號是一個函子,它用來表達一個函數 (function)。如果「f(x)」是個否定函數,而「x」是個命題變元﹐「﹁」就等於「f」。
真值表中的十字形線不是邏輯符號﹐純粹是表述工具: 我們稱橫的一條線為「橫軸」﹐縱的一條線為「縱軸」。
基本上﹐縱軸劃分左邊的輸入項目和右邊的輸出項目; 橫軸劃分上方的論元及命題函數 (propositional function) 和下方的真值。由於「﹁」是個一元函子﹐命題函數「﹁p」便只有一個論元﹐即: 「p」。
現在讓我們從上至下﹑從左至右﹐解釋每一橫行的安排。
此時有需要解釋一下何謂「命題函數」。
前面說過﹐「﹁p」是命題函數的一個例子﹐意思是說「﹁p」還沒有確定的真值﹐但我們知道如何判定 (decide)「﹁p」的真值﹐「﹁p」的真值是由其論元「p」的真值所決定的﹐恰恰符合了「函數」的定義。
為什麼「﹁p」沒有確定的真值?
因為「﹁p」中的「p」僅僅是一個命題變元﹐不是一個命題。它可以用來代表任何一個或真或假的陳述句。
哪一個陳述句?
沒有人知道﹐除非我們將一個陳述句代入命題變元的位置﹐否則我們只知道「﹁p」或真或假。
譬如我們有一個陳述句「陳美麗是一個工作狂」。將「陳美麗是一個工作狂」代入「p」的位置而得「﹁p」﹐可念作「非 (陳美麗是個工作狂)16」; 日常語言的版本為「陳美麗不是一個工作狂」。
我們也可以用英文大寫「C」來代表「陳美麗是一個工作狂」: 那麼,如果現實生活中的陳美麗是個工作狂﹐「﹁C」便是個假句或假命題; 如果現實生活中的陳美麗不是個工作狂﹐「﹁C」便是個真句或真命題。
__________
15 坊間教科書也有用「T」(「Truth」的首個字母) 代表真﹐「F」(「False」的首個字母) 代表假。
16 圓括號不是邏輯符號﹐只作標點符號用。
-| 再往下跳 ﹏﹏﹏>