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

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

  1. P → Q
  2. ¬Q

Доказать: ¬P

P → Q, ¬Q ⊢ ¬P

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

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

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