Asortiman tertium datur