(Специальные разделы высшей математики. Часть 2)
Правило исключения квантора общности
Выберите один ответ:
a. α ⊃ β⊦ α∀ (x) β (x)
b. ∀ (x) α (х) ⊦ α (x→ А)
c. α ⊃ β⊦ ∃ (x) α (x) ⊃ β
d. ∃ (x) α (х) ⊦ α (x→ А)