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
Перетащите шаги сюда, чтобы построить доказательство