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

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