diff --git a/logic.py b/logic.py
index 68d996c14..c5aaa64ba 100644
--- a/logic.py
+++ b/logic.py
@@ -13,7 +13,7 @@
 Logical expressions can be created with Expr or expr, imported from utils, TODO
 or with expr, which adds the capability to write a string that uses
 the connectives ==>, <==, <=>, or <=/=>. But be careful: these have the
-opertor precedence of commas; you may need to add parens to make precendence work.
+operator precedence of commas; you may need to add parens to make precedence work.
 See logic.ipynb for examples.
 
 Then we implement various functions for doing logical inference: