├ 推出 ，也可以用 ⇒ → 蕴涵
任意 ∀ 存在 ∃ 互推 ┤├
├
负命题及其推理非p符号怎么打
两种方法：
1．选中要加非的符号，格式——中文版式——拼音指南（拼音一栏填写—）;
2．用WORD自带的公式编辑器，插入——对象（下拉菜单选择公式编辑器）
知识要点13：不相容选言判断基本知识_哔哩哔哩_bilibili 直接用 ∀ 代替了 也可以用 ⊙ （陈波，逻辑学导论，5版，p48） Word中如何打出带圆圈的点⊙-百度经验
“非”（¬）、“与”（∧）、“或”（∨）12。
符号﹁——否，非，不是。 非P——﹁P。 数理逻辑里的五个基本联结词：﹁,∧, ∨,→,↔。 ﹁——否、非、不是，∧——与、和，∨——或者，→⇒——蕴含，↔——等价。
﹁ ¬ ¬(A∨B) = ¬A∧¬B ¬(A∧B) = ¬A∨¬B ∧ ∧ → ﹁ 并非
﹁
在逻辑学里，最重要的符号有七个。五个真值联结词，二个量词。
如同音乐里的简谱符号。但是，偶尔用到集合论的符号。例如，元素与集合的属于符号，集合之间的包含于符号。初学者，应该仔细分辨，不要混淆。
类似中学数学里，平面几何符号，代数符号，也要清楚区分。
搜狗自定义编码参考
ry,1=∀ 任意
cz,1=∃ 存在
dd,1=⊢ 断定（还有一个表示 推论 的用法？ 推论或推导）
zdd,1=⊨ 断定自？ 相反 （另有一个 满足符 的用法？）
br,1=□ 必然
hr,1=◇ 或然
hq,1=∧ 合取（与；且）
xq,1=∨ 析取（或）
yh,1=→ 蕴涵（实质蕴涵）
dz,1=↔ 等值（实质等价）
fd,1=～ 否定
sy,1=∴ 所以
yw,1=∵ 因为
→ ↔ ¬ ∧ ∨ ∀ ∃ ∵ ∴ Ψ \PsiΨ（x） ι \iotaιxp（x） ┌└┃ □ ⋄ ⇒ ⇔
原文链接：https://blog.csdn.net/lynn0085/article/details/87986813
读法参考： 基本逻辑符号与数学符号列表-CSDN博客