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

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