blob: 015352d95088f60b41fd1db6c9cfb79e438e0d1b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
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
|