哲學/邏輯/與非門和或非門簡介

哲學導論 > 邏輯 > 與非門和或非門

我們的連線詞¬、∧、∨、→，很容易與我們日常對事物的推理方式相符。對於還原主義者來說，事實證明，我們可以用一個連線詞來完成我們熟悉的所有連線詞的工作。實際上，我們可以用兩種方法做到這一點。

第一種方法是使用*聯合否定*，在電子學領域稱為*與非門*。它的真值表如下

  A B Output
  0 0    1
  0 1    1
  1 0    1
  1 1    0

我們可以看到¬p與p與非p相同。等等...

另一個候選者是*替代否定*或*或非門*。

電子學人員喜歡與非門和或非門。我認為這是因為它們提供了一種一刀切的晶片，他們可以根據自己的喜好連線起來以獲得其他連線詞。

在一個遙遠星球上是否存在一個先進文明，它們的所有推理都使用與非門或或非門？如果是這樣，因果關係是否會成為他們關注的一個重要問題？