AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug ~~Donate~~ Contacts

MixesANumberWithATruthValue(AngouriMath.Entity,AngouriMath.Entity)

Method (no overloads)

Summary

Whether either operand of a logical connective is a number, which is not a truth value:
0 is not false and 1 is not true. A
connective declines such a pair rather than answering, and declines it even where its
table could answer without looking -- false and 0 is not a proposition to be
false about.

Remarks

NaN is excluded deliberately, and the distinction is the point. NaN is how
this library spells no truth value, which is what an order comparison over the
complex plane produces, and what a connective does with one is settled by the
three-valued table: false and NaN is false (https://github.com/asc-community/AngouriMath/issues/880). A number is the other thing
entirely -- a value of the wrong sort, where the question rather than the answer is at
fault. https://github.com/asc-community/AngouriMath/issues/897

AngouriMath

Table of contents

AngouriMath

MixesANumberWithATruthValue​(AngouriMath.​Entity,​AngouriMath.​Entity)

MixesANumberWithATruthValue(AngouriMath.Entity,AngouriMath.Entity)