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