Deductions
- Boolean-valued function has quality class ⇐ (left-totality is a class), (Boolean-valued function has quality left-totality)
- Boolean-valued function has quality abstract entity ⇐ (arity is a abstract entity), (Boolean-valued function has quality arity)
- Boolean-valued function has quality mathematical object ⇐ (arity is a mathematical object), (Boolean-valued function has quality arity)
- Boolean-valued function is for example => ⇐ (=> is a Boolean-valued function), (is a is inverse of is for example)
- Boolean-valued function is subclass of set ⇐ (Boolean-valued function is subclass of relation), (relation is subclass of set), (is subclass of is a transitive relation)
- Boolean-valued function is subclass of class ⇐ (Boolean-valued function is subclass of relation), (relation is subclass of class), (is subclass of is a transitive relation)
- Boolean-valued function is subclass of mathematical object ⇐ (Boolean-valued function is subclass of relation), (relation is subclass of mathematical object), (is subclass of is a transitive relation)
- Boolean-valued function is subclass of binary relation ⇐ (Boolean-valued function is subclass of function), (function is subclass of binary relation), (is subclass of is a transitive relation)
- Boolean-valued function is subclass of relation ⇐ (Boolean-valued function is subclass of function), (function is subclass of relation), (is subclass of is a transitive relation)
- => is a Boolean-valued function ⇐ (logical connective is subclass of Boolean-valued function), (=> is a logical connective)
- Boolean-valued function has quality number of entities ⇐ (arity is subclass of number of entities), (Boolean-valued function has quality arity)
- Boolean-valued function has quality left-totality ⇐ (Boolean-valued function is subclass of function), (function has quality left-totality)
- Boolean-valued function has quality arity ⇐ (Boolean-valued function is subclass of function), (function has quality arity)