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