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

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

  1. P → Q
  2. Q → R

Доказать: P → R

P → Q, Q → R ⊢ P → R

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

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

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