An alternate definition of "true" (see comment of [df-tru] ). The associated justification theorem is monothetic. (Contributed by Anthony Hart, 13-Oct-2010.) (Revised by BJ, 12-Jul-2019.) Use tru instead. (New usage is discouraged.)
An alternate definition of "true" (see comment of [df-tru] ). The associated justification theorem is monothetic. (Contributed by Anthony Hart, 13-Oct-2010.) (Revised by BJ, 12-Jul-2019.) Use tru instead. (New usage is discouraged.)