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

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

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

P → Q, Q → R, R → S, P ⊢ S

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

P → QПосылка
Q → RПосылка
R → SПосылка
PПосылка
QМодус поненс (1, 4)
RМодус поненс (2, 5)
SМодус поненс (3, 6)

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

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