0:00
НачинающийЛогическая эквивалентностьЗавершение доказательства
Заполните недостающие обоснования для этого доказательства.
Цель: Доказать Q
P → Q, P ⊢ QЦель: Доказать Q
Нажмите на пустые поля, чтобы заполнить доказательство
1.
P → Q
Посылка
2.
P
Посылка
3.
Q
Выбрать правило
Выбрать ссылки на строки