【LaTex】2.8 数理逻辑

  这篇文章里我整理下数理逻辑的符号。

命题逻辑运算符

  数理逻辑最基本的五个逻辑运算符LaTex代码如下：

1. 否定词，代码为\urcorner,符号为$\neg$，如$\neg P$.
2. 析取词，代码为\lor,符号为$\vee$,如$P\vee Q$.
3. 合取词，代码为\land，符号为$\wedge$， 如$P\wedge Q$.
4. 蕴涵词，代码为\rightarrow，符号为$\to$,如$P\to Q$。
5. 双条件词，代码为\leftrightarrow,符号为$\leftrightarrow$， 如$P\leftrightarrow Q$.

  此外，还有些常用的运算词，比如：

1. 不可兼或，也叫异或，相当于布尔代数里的^,代码为\overline{\vee}，符号为$\overline{\vee }$，如$P\overline{\vee }Q$，但是不能用\bar{\vee}，因为它的符号是$\bar{\vee }$，明显短了一截。
2. 与非，代码为\uparrow,符号为$\uparrow$，如$P\uparrow Q$.
3. 或非，代码为\downarrow,符号为$\downarrow$，如$P\downarrow Q$.

量词

  常见的量词只有两个：

1. 存在量词，代码为\exists,符号为$\exists$.
2. 全称量词，代码为\forall，符号为$\forall$。

推理

  推理里只有一个符号，就是重言蕴涵，代码为\Rightarrow,符号为$\Rightarrow$，如$P\wedge Q\Rightarrow P\vee Q$.

近邻空间

  在线性逻辑里有比较多的复杂符号，为了减少大家的搜索时间，我把这些符号全部罗列出来了。

1. 近邻关系与非近邻关系，代码暂时没找到;
2. 严格近邻，代码为\smile,符号为$⌣$，例如$x⌣y$。
3. 严格非近邻，代码为\frown,符号为$⌢$,例如$x⌢y$。

  近邻空间的运算符，这三个运算不知道中文名字叫什么：

1. 代码为\otimes,符号为$\otimes$.
2. 代码为\pounds,符号为$\pounds$ .
3. 第三个符号暂时未找到,可以用输入法输入，符号为⇨。