4 Tweedledum and Tweedledee: 邏輯 – 叮噹弟的定義
叮噹兄和叮噹弟
讓我們繼續行程，做一些符號化的工作。
「沒有那回事」中的「有那回事」可以用「p」來替代，於是有「沒 p」。「沒」用作否定，因此可以用否定號「﹁」來替代，故而有「﹁p」。「﹁p」就是「沒有那回事」。
這時我們可以將邏輯論改寫作:
借用演繹定理 (Deduction Theorem)，邏輯論1 又可以寫作
用史上最簡單的解釋，演繹定理說的是，形式上，如果「P」是「Q」的前提或 「Q」是「P」的結論，「P⊃Q」便是必然的真句 (定理)。用以表示「P⊃Q」是一條定理——系統內必然真——我們在「P⊃Q」之前加上一個邏輯後承符號「⊢」，即
⊢ P⊃Q
重點在「如果」的假設: 如果「P」的確是結論「Q」的前題，那便是說，「如 P 則 Q」或「P⊃Q」是 (該系統內) 必然真的一個句子。
以上是對邏輯論2的理解。
邏輯論2的寫法表示「﹁p⊃﹁p」是一個定理，即無論如何都是真的﹕「⊢﹁p⊃﹁p」表示「﹁p⊃﹁p」無需任何前提。
注意，「⊢」的左方是空的，即零前提﹔也就是說，「﹁p⊃﹁p」的真並非來自任何前提，因為根本就沒有前提或無需任何前題，「﹁p⊃﹁p」的真來自本身的形式。
那麼，「﹁p⊃﹁p」的形式如何決定了「﹁p⊃﹁p」必然地真呢?
__________
待續
