三横等号是逻辑运算符，表示逻辑上相等，可以理解为恒等于，区别于一阶算术系统的等如歼号，想要了解的话，请参考数理逻辑相关章节内容。
在形式逻辑中，逻辑运算符或逻辑联结词把语句连接成更复杂核芹的复杂语句。例如，假设有两个逻辑命题，分别是“正在下雨”和“我在屋里”，我们可以将它们组成复杂命题“正在下雨。
并且我在屋里”或“没有正在下雨”或“如果正在下雨，那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。
逻辑NOT
逻辑AND
逻辑OR
优先级为：NOT AND OR
同级运算从左到右
在形式逻辑中，逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如，假设有两个逻辑命题，分别是“正在下雨”和“我在屋里”。
我们可以将它们组成复杂命题“正在下雨，并且我在屋里”或“没有正在下雨”或“如果正在下雨，那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。改橡毕
标签：横是,三个
版权声明：文章由 知识百问 整理收集，来源于互联网或者用户投稿，如有侵权，请联系我们，我们会立即处理。如转载请保留本文链接：https://www.zhshbaiwen.com/answer/205172.html
