模板討論:邏輯聯結詞模板

閱論編邏輯聯結詞
恆真（ $\top$ ）
與非（ $\uparrow$ ）反蘊涵（ $\leftarrow$ ）蘊涵（ $\rightarrow$ ）或（ $\lor$ ）
非（ $\neg$ ）異或（ $\oplus$ ）雙條件（ $\leftrightarrow$ ）命題
或非（ $\downarrow$ ）非蘊涵（ $\nrightarrow$ ）反非蘊涵（ $\nleftarrow$ ）與（ $\land$ ）
恆假（ $\bot$ ）