三个横是什么？它与等号什么区别？是不是等号包括三个横？

三横等号是逻辑运算符，表示逻辑上相等，可以理解为恒等于，区别于一阶算术系统的等如歼号，想要了解的话，请参考数理逻辑相关章节内容。

在形式逻辑中，逻辑运算符或逻辑联结词把语句连接成更复杂核芹的复杂语句。例如，假设有两个逻辑命题，分别是“正在下雨”和“我在屋里”，我们可以将它们组成复杂命题“正在下雨。

并且我在屋里”或“没有正在下雨”或“如果正在下雨，那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。

逻辑NOT

逻辑AND

逻辑OR

优先级为：NOT AND OR

同级运算从左到右

在形式逻辑中，逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如，假设有两个逻辑命题，分别是“正在下雨”和“我在屋里”。

我们可以将它们组成复杂命题“正在下雨，并且我在屋里”或“没有正在下雨”或“如果正在下雨，那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。改橡毕

标签：横是,三个