Тема: элементы теории доказательств

Набор упражнений 1

Набор упражнений 2

При выполнении упражнений рекомендуется чередование следующих последовательностей действий:

• Решается пример в Lean 3, затем строится дерево доказательства.
• Строится дерево доказательства, затем решается пример в Lean 3.