Словарь по логике

Правило исключения двойного отрицания: .