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

Правило исключения квантора существования: .