这个要靠自己的语感啦(注意我說的是证明题中哦，像正切余切那些符号应该不用我说逻辑类型的楼上楼下都有***哦！！）

∵这个是因为 ∴这个是所以 其他也就没有什么简单的符号了

一般推理下去，最后得出结论用“故”

这里给你一个范本吧借用一下他人的回答：

∴△ABC是等腰三角形，

过点A作BC边上的高A H交BC于H∴A H平分底边Bc，过点c作AD边上的高交AD延长线于F

但是||和|有区别,前者:只要a为真,就不计算b的值了.而后者则不然,它把"|"前后的式子的值都计算叻才往下执行...

在逻辑中，经常使用一组符号来表达逻辑结构因为逻辑学家非常熟悉这些符号，他们在使用的时候没有解释它们所以，給学逻辑的人的下列表格列出了最常用的符号、它们的名字、读法和有关的数学领域。此外第三列包含非正式定义，第四列给出简短嘚例子

要注意，在一些情况下不同的符号有相同的意义，而同一个符号依赖于上下文，有不同的意义

符号 名字 解说 例子

? 实质蕴涵 A ? B 意味着如果 A 为真，则 B 也为真；如果 A 为假则对 B 没有任何影响。

→ 可能意味着同 ? 一样的意思(这个符号也可以指示函数的域和陪域；参見数学符号表)

? 逻辑否定 陈述 ?A 为真，当且仅当 A 为假

穿过其他算符的斜线同于在它前面放置的 "?"。 ?(?A) ? A

∨ 逻辑析取 陈述 A ∨ B 为真如果 A 或 B (或二者)为真；如果二者都为假，则陈述为假 n ≥ 4 ∨ n ≤ 2 ? n ≠ 3 当 n 是自然数的时候。

? 异或 陈述 A ⊕ B 为真在要幺 A 要幺 B 但不是二者为真的时候為真。A ? B 意思相同 (?A) ⊕ A 总是真，A ⊕ A 总是假

对于所有；对于任何；对于每个

:? 定义 x := y 或 x ≡ y 意味着 x 被定义为 y 的另一个名字(但要注意 ≡ 也可以意味着其他东西，比如全等)

就这样，有空再找另一个范本给您哈！！！希望对您有帮助~~o(∩_∩)o...