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

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

  1. P → Q
  2. P

Доказать: Q

P → Q, P ⊢ Q

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

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

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