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

Даны посылки:

  1. P → Q
  2. R → S
  3. P ∨ R

Доказать: Q ∨ S

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

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

Постройте доказательство шаг за шагом

1.
P → Q
Посылка
2.
R → S
Посылка
3.
P ∨ R
Посылка