Tag: nullary connective

Verum: The True Statement in Logic

Verum, Latin for 'true,' is a symbol (⊤) representing a primitive, necessarily…

Bossmind