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

Завершите следующее доказательство:

  1. P → Q (Premise)
  2. Q → R (Premise)
  3. P (Premise)
  4. _____ (?)
  5. _____ (?)

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

P → Q, Q → R, P ⊢ R

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

Нажмите на пустые поля, чтобы заполнить доказательство

1.
P → Q
Посылка
2.
Q → R
Посылка
3.
P
Посылка
4.
Q
Выбрать правило
Выбрать ссылки на строки
5.
R
Выбрать правило
Выбрать ссылки на строки