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