+++
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