0:00
Сложность: НачинающийКатегория: Логическая эквивалентностьТип: Перетащить ДоказательствоРасположите следующие шаги в правильном порядке, чтобы доказать Q из данных посылок.
Цель: Доказать Q
P → Q, P ⊢ QДоступные шаги
P → QПосылка
PПосылка
QМодус поненс (1, 2)
Цель: Доказать Q
Перетащите шаги сюда, чтобы построить доказательство