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

Завершите следующее доказательство, используя разбор случаев:

  1. P ∨ Q (Premise)
  2. P → R (Premise)
  3. Q → R (Premise)
  4. Case 1: Assume P
  5. _____ (?)
  6. Case 2: Assume Q
  7. _____ (?)
  8. _____ (?)

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

P ∨ Q, P → R, Q → R ⊢ R

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

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