1 files changed, 25 insertions, 0 deletions
diff --git a/content/zettel/2e1b3c2.md b/content/zettel/2e1b3c2.md
new file mode 100644
index 0000000..015352d
--- /dev/null
+++ b/content/zettel/2e1b3c2.md
@@ -0,0 +1,25 @@
++++
+title = "Pairs of predicates and expressions"
+author = "Yann Herklotz"
+tags = []
+categories = []
+backlinks = ["2e1b3c1"]
+forwardlinks = ["2e1b3c1"]
+zettelid = "2e1b3c2"
++++
+
+Another solution is to basically deconstruct the function that is
+proposed as general predicate in ([\#2e1b3c1]), by assigning a predicate
+to each expression. The proof that needs to accompany this γ function,
+is that for any possible input value:
+
+$$\exists! p \in P(\gamma(...)), p$$
+
+Where $P$ is a function that retrieves the set of variables from the
+gamma function.
+
+The benefit of this representation, is that the predicates only have to
+be a simple logic over the conditionals, instead of having to evaluate
+to a value.
+
+  [\#2e1b3c1]: /zettel/2e1b3c1