Заперечення , одна з логічних операцій ; відображає вживання виразу «невірно, що...» у логічних виводах.