Как называется утверждение типа "все воры - преступники, но не все преступники - воры"? Заело, не могу сформулировать мысль