0:00
ПродвинутыйЛогическая эквивалентностьПеретащить Доказательство
Расположите следующие шаги в правильном порядке, чтобы доказать R ∧ S из данных посылок.
Доступные шаги:
- R ∧ S (Введение конъюнкции на 5, 6)
- P ∧ Q (Посылка)
- P (Удаление конъюнкции на 1)
- P → R (Посылка)
- Q → S (Посылка)
- R (Modus Ponens на 4, 3)
- Q (Удаление конъюнкции на 1)
- S (Modus Ponens на 5, 7)
Цель: Доказать R ∧ S
P ∧ Q, P → R, Q → S ⊢ R ∧ SДоступные шаги
Все шаги использованы в доказательстве
Цель: Доказать Q
Перетащите шаги сюда, чтобы построить доказательство