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

Расположите следующие шаги в правильном порядке, чтобы доказать ¬P из данных посылок.

Доступные шаги:

  • Q → R (Посылка)
  • ¬R (Посылка)
  • ¬Q (Modus Tollens на 1, 2)
  • P → Q (Посылка)
  • ¬P (Modus Tollens на 4, 5)

Цель: Доказать ¬P

P → Q, Q → R, ¬R ⊢ ¬P

Доступные шаги

Все шаги использованы в доказательстве

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

Перетащите шаги сюда, чтобы построить доказательство