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

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