邏輯符號表

在邏輯中 ， 經常使用一組符號來表達邏輯結構 。 因爲邏輯學家非常熟悉這些符號 ， 他們在使用的時候沒有解釋它們 。 所以 ， 給學邏輯的人的下列表格 ， 列出了最常用的符號 、 它們的名字 、 讀法和有關的數學領域 。 此外 ， 第三列包含非正式定義 ， 第四列給出簡短的例子 。 要注意 ， 在一些情況下 ， 不同的符號有相同的意義 ， 而同一個符號 ， 依賴於上下文 ， 有不同的意義 。