綁架愛麗絲 之 地下邏輯 012作者: 黃盛
1 Down the rabbit hole: 論理型
掉下兔子洞
十
有了上述關於否定句式的直觀認識﹐我們嘗試用表式來界定/定義「﹁」。以下的表式稱為「真值表」(truth-table):
我們用「1」代表真﹐「0」代表假。「」是語句變元﹐讀者應該記得﹐「﹁」則是個函子 ( 綁架愛麗絲 之 地下邏輯 003作者: 黃盛
1 Down the rabbit hole: 論理型
掉進兔子洞
故事的開始是一個風和日麗的夏天,天氣卻有點悶熱。愛麗絲與姐姐並排坐在河堤上。稍後會有一隻白兔從她身邊跑過。兔子似乎在趕時間,他會從馬甲口袋裡掏出一隻懷錶看時間,然後跑過田野,乍然跳入一個地洞。不知哪來的衝動,愛麗