NOT function

Noun

(logic, mathematics) A function that is equivalent to the NOT operator.

Japanese Meaning

論理演算（または数学）における、NOT（否定）演算子と同等の働きをする関数。

In the proof, we modeled the proposition using a NOT function to invert the truth value of the predicate.

証明では、述語の真理値を反転させるために否定関数を用いて命題をモデル化しました。

Sense（1）

(logic, mathematics) A function that is equivalent to the NOT operator.

NOT functions

（ plural ）