跳转到内容

Template:常用逻辑符号

维基百科，自由的百科全书

常用逻辑符号

∧ 或 &

∨

or

¬ 或 ~

→

⊃

实质蕴涵,
超集

↔ 或 ≡

|

∀

∃

⊤

true,
tautology

⊥

false（英语：False (logic)）,
矛盾

⊢

⊨

entails,
therefore（英语：Double turnstile）

∴

检索自“https://zh.wikipedia.org/w/index.php?title=Template:常用逻辑符号&oldid=86303158”