命題邏輯符號

符號. –. v ; 意義. Not. Or ; 舉例說明. – P · P命題為假. P v Q · P命題或是Q命題為真.

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

⇒ → ⊃ ; 命題邏輯 ; A ⇒ B {\displaystyle A\Rightarrow B} {\displaystyle A\Rightarrow B} 意味著如果 A {\disp...