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

Завершите следующее доказательство методом от противного:

  1. P → Q (Premise)
  2. P (Premise)
  3. ¬Q (Premise)
  4. _____ (?)
  5. _____ (?)

Цель: Вывести противоречие

P → Q, P, ¬Q ⊢ ⊥

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

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