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

Заполните недостающие обоснования для этого доказательства.

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

P → Q, P ⊢ Q

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

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

1.
P → Q
Посылка
2.
P
Посылка
3.
Q
Выбрать правило
Выбрать ссылки на строки