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

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