Ответ:

Логическая операция называется опровержением.

Ответ: опровержение.