blob: 83b7b03a79c00f1bd1d5e7762e4de066b00f86ee (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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.
|
