Заперечення (логіка)

логічна операція, в результаті якої із висловлення (А) отримують висловлення (не-А), яке є запереченням попереднього