模板讨论:逻辑联结词模板

查论编逻辑联结词
恒真（ $\top$ ）
与非（ $\uparrow$ ）反蕴涵（ $\leftarrow$ ）蕴涵（ $\rightarrow$ ）或（ $\lor$ ）
非（ $\neg$ ）异或（ $\oplus$ ）双条件（ $\leftrightarrow$ ）命题
或非（ $\downarrow$ ）非蕴涵（ $\nrightarrow$ ）反非蕴涵（ $\nleftarrow$ ）与（ $\land$ ）
恒假（ $\bot$ ）