isTruth

open override val isTruth: Boolean

Checks whether the current term is a truth value. This method is guaranteed to return true if and only if the current term is an instance of Truth.

Return

true if the current term is a truth value, or false, otherwise