AngouriMath
Navigation
ThreeValuedLogic
Description
Summary
The compiled statements, with a third truth value for one that has none: i > 1 compares numbers that are not ordered, and NaN > 1 compares with no number at all.
Each isnull , as EvalNumerical leaves either as NaN , and the
connectives follow Kleene's tables, asEvalNumerical 's do: (i > 1) or true is
true,(i > 1) and false is false, and not (i > 1) has no value.
https://github.com/asc-community/AngouriMath/issues/2195
Each is
connectives follow Kleene's tables, as
true,
https://github.com/asc-community/AngouriMath/issues/2195
Members
Angouri © 2019-2026 · Project's repo · Site's repo · Octicons · Transparency · 5629 pages online