不屬於符號

邏輯符號是邏輯學中用以表示邏輯形式和邏輯運算的各種人工語言符號。傳統形式邏輯就已經採用某些邏輯符號來表示思維的邏輯形式。如用“所有S是P”表示全稱肯定命題的邏輯 ...

基本邏輯符號 ... ⊃ 實質蘊涵A ⇒ B 意味著如果A 為真，則B 也為真；如果A 為假，則對B 沒有任何影響。 → 可能意味著同⇒ 一樣的意思(這個符號也可以指示函式的域和陪域； ...