0:00
СреднийЛогическая эквивалентностьПеретащить Доказательство

Расположите следующие шаги в правильном порядке, чтобы доказать R из заданных посылок.

Цель: Доказать R

P ∨ Q, ¬P, Q → R ⊢ R

Доступные шаги

P ∨ QПосылка
¬PПосылка
Q → RПосылка
QДизъюнктивный силлогизм (1, 2)
RМодус поненс (3, 4)

Цель: Доказать R

Перетащите шаги сюда, чтобы построить доказательство