From 6ea4eae8b721ef211f437f3e5178a8fb99863689 Mon Sep 17 00:00:00 2001 From: Luke Schoen Date: Sun, 2 Apr 2017 20:10:09 +1000 Subject: [PATCH] Update logic.py fix minor typos --- logic.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: