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

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

  1. P ∨ Q
  2. ¬P

Доказать: Q

P ∨ Q, ¬P ⊢ Q

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

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

1.
P ∨ Q
Посылка
2.
¬P
Посылка