логическое опровержение

Мат. logical disproof