邏輯符號是數理邏輯中的重要概念，主要用于表示命題之間的關系。其中，與、或、非是最基本的三種邏輯符號。雖然它們看起來很相似，但它們之間卻有著明顯的區別。
首先，與（AND）表示兩個命題同時成立的情況。例如，如果命題A為“今天下雨”，命題B為“我帶了一把傘”，那么命題A與命題B的合取命題可以表示為“A并且B”，即“今天下雨并且我帶了一把傘”。
其次，或（OR）表示兩個命題中至少有一個成立的情況。例如，如果命題A為“今天下雨”，命題B為“我帶了一把傘”，那么命題A或命題B的析取命題可以表示為“A或者B”，即“今天下雨或者我帶了一把傘”。
最后，非（NOT）表示否定一個命題的情況。例如，如果命題A為“今天下雨”，那么非命題A可以表示為“今天不下雨”。
http://www.fjhawl.com/common/images/2015050661160557.jpg
從這三個邏輯符號的定義中，我們可以看出它們之間的差別。與表示的是同時成立的情況，或表示的是至少有一個成立的情況，而非表示的是否定一個命題的情況。
在實際應用中，我們可以用這些邏輯符號來進行命題的推理和證明。例如，如果我們知道命題A與命題B的合取命題成立，那么我們可以得出命題A和命題B都成立的結論。同樣地，如果我們知道命題A或命題B的析取命題成立，那么我們可以得出命題A或命題B至少有一個成立的結論。
總的來說，與、或、非是數理邏輯中最基本的三種邏輯符號，它們之間的區別在于表示的情況不同。通過理解這些邏輯符號的含義和應用，我們可以更好地進行命題推理和證明。