哲学/逻辑入门/构建更复杂的公式

哲学入门 > 逻辑 > 构建更复杂的公式

'我需要一个锤子和钉子，或者一把螺丝刀和螺丝。'

虽然我们知道上面这句话的意思，但它在技术上是模棱两可的——想象一下对一个不太聪明的学徒说这句话。在这种情况下，不会造成伤害，学徒可能会拿来不必要的工具。可以想到其他情况下这种模棱两可的表达可能是致命的。

在命题逻辑中，我们使用括号来避免任何歧义。

'我需要 (一个锤子和钉子) 或者 (一把螺丝刀和螺丝)。'

这就像我们通常使用括号进行数学运算一样：你首先计算括号里面的内容。

我们不在 ¬ 符号周围使用括号——它紧密地绑定到它后面的任何内容。