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