逻辑运算符 Logical connective
（重定向自Boolean operators）
在形式逻辑中，逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如，假设有两个逻辑命题，分别是“正在下雨”和“我在屋里”，我们可以将它们组成复杂命题“正在下雨，并且我在屋里”或“没有正在下雨”或“如果正在下雨，那幺我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。
Boolean operators
中文百科
英语百科
Logical connective 逻辑运算符
（重定向自Boolean operators）
In logic, a logical connective (also called a logical operator) is a symbol or word used to connect two or more sentences (of either a formal or a natural language) in a grammatically valid way, such that the sense of the compound sentence produced depends only on the original sentences.