Der Ausdruck „tertium non datur” ist eigentlich ein völliger Unsinn. (Von einem Dritten ist eben in p ⌵ ~p nicht die Rede!)