Closed Charles-Johnson closed 5 months ago
This can be useful to clarify is the truth of a statement is currently unkown.
e.g.
(a -> b) -> unknown
could reduce to true because a and b are abstract concepts without a specified reduction.
true
a
b
another example
true -> unknown
reduces to false because true is known to be true!
false
Need to consider cache invalidation rules for expressions reducing to unknown and cached reduction derived from reductions to unknown.
unknown
Also need to consider whether it makes sense to allow expressions to explicitly reduce to unknown
This can be useful to clarify is the truth of a statement is currently unkown.
e.g.
could reduce to
truebecauseaandbare abstract concepts without a specified reduction.another example
reduces to
falsebecausetrueis known to be true!Need to consider cache invalidation rules for expressions reducing to
unknownand cached reduction derived from reductions tounknown.Also need to consider whether it makes sense to allow expressions to explicitly reduce to
unknown