首页
随机
附近
登录
设置
资助维基百科
关于维基百科
免责声明
搜索
Template
:
逻辑联结词
语言
监视
编辑
查
论
编
逻辑联结词
恆真
(
⊤
{\displaystyle \top }
)
与非
(
↑
{\displaystyle \uparrow }
)
反蕴涵
(
←
{\displaystyle \leftarrow }
)
蕴涵
(
→
{\displaystyle \rightarrow }
)
或
(
∨
{\displaystyle \lor }
)
非
(
¬
{\displaystyle \neg }
)
异或
(
⊕
{\displaystyle \oplus }
)
双条件
(
↔
{\displaystyle \leftrightarrow }
)
命题
或非
(
↓
{\displaystyle \downarrow }
)
非蕴涵
(
↛
{\displaystyle \nrightarrow }
)
反非蕴涵
(
↚
{\displaystyle \nleftarrow }
)
与
(
∧
{\displaystyle \land }
)
恆假
(
⊥
{\displaystyle \bot }
)