К построению логики не-следованиястатья