1 files changed, 18 insertions, 0 deletions
diff --git a/content/zettel/3c3f2.md b/content/zettel/3c3f2.md
new file mode 100644
index 0000000..83b7b03
--- /dev/null
+++ b/content/zettel/3c3f2.md
@@ -0,0 +1,18 @@
++++
+title = "Properly reasoning about these predicates"
+date = "2023-02-04"
+author = "Yann Herklotz"
+tags = []
+categories = []
+backlinks = ["3c3f1"]
+forwardlinks = ["3c3f3"]
+zettelid = "3c3f2"
++++
+
+To properly reason about these predicates, one would normally have to
+use three-valued logic. This allows one to reason about the cases where
+an atom is not evaluable, which would lead to the final formula to be
+non-evaluable. This allows one to be precise about the result of
+evaluating a predicate, with the downside of it being difficult to
+reason about all the combinations in proofs and having to use a powerful
+solver.