哲學/邏輯入門/構建更復雜的公式

哲學入門 > 邏輯 > 構建更復雜的公式

'我需要一個錘子和釘子，或者一把螺絲刀和螺絲。'

雖然我們知道上面這句話的意思，但它在技術上是模稜兩可的——想象一下對一個不太聰明的學徒說這句話。在這種情況下，不會造成傷害，學徒可能會拿來不必要的工具。可以想到其他情況下這種模稜兩可的表達可能是致命的。

在命題邏輯中，我們使用括號來避免任何歧義。

'我需要 (一個錘子和釘子) 或者 (一把螺絲刀和螺絲)。'

這就像我們通常使用括號進行數學運算一樣：你首先計算括號裡面的內容。

我們不在 ¬ 符號周圍使用括號——它緊密地繫結到它後面的任何內容。