TertiumNonDatur Tertium non datur is Latin, used by Germans among others, for ThePrincipleOfBivalence.