Отрицание импликации в логике — это опровержение того, что из посылки (которая слева от стрелки) следует следствие (которое справа).