0:00
ПродвинутыйЛогическая эквивалентностьЗавершение доказательства
Завершите следующее доказательство:
- P ↔ Q (Premise)
- Q ↔ R (Premise)
- P (Premise)
- _____ (?)
- _____ (?)
Цель: Доказать R
P ↔ Q, Q ↔ R, P ⊢ RЦель: Доказать ?
Нажмите на пустые поля, чтобы заполнить доказательство