Оцените правильность утверждения, исходя из здравого смысла (с позиций формальной логики). Затем формализуйте утверждение и с таблицы истинности проверьте первоначальный вывод: Человек, который ворует, -преступник; следовательно, раз человек не преступник, то он не ворует.