Wolfram 语言所支持的逻辑运算符不仅用于编程，也用于数学运算.

中缀运算符 && 和 || 代表“与” (And)和 “或” (Or)，而前缀运算符 ! 代表否定 (Not). 下面两个输入是等价的：

可以使用符号，而不是 True 和 False. BooleanConvert 符号式计算多个逻辑表达式. 我们预计 应为 ：

用 Resolve 求量化逻辑语句的真值：

还可用存在量词检查 ：

Wolfram 语言还能识别逻辑运算符 Implies；您可以用它来显示 ：

使用 SatisfiableQ 检查 a 和 b 是否满足 ：