Правило исключения квантора общности
Варианты ответов
- α ⊃ β⊦ α∀ (x) β (x)
- ∃ (x) α (х) ⊦ α (x→ А)
- ∀ (x) α (х) ⊦ α (x→ А)
- α ⊃ β⊦ ∃ (x) α (x) ⊃ β
Правильный ответ
Закрой сессию без стресса!
Студенты, которые обращаются за помощью вовремя, сдают сессию спокойно и без проблем. C нашей помощью ты закроешь все курсовые и сдашь сессию вовремя. Начни уже сегодня!