Hardprob/Minimum Length Equivalent Frege Proof — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Доказательство Фреге <em>π</em> для некоторой тавтого…») |
(нет различий)
|
Версия 23:27, 13 апреля 2023
- Доказательство Фреге π для некоторой тавтогологии φ.
- Найти более короткое доказательство Фреге π' для φ, более короткое чем π, т.е. содержащая не больше символов чем π.
- Минимизировать число символов в π'.
Задача в лаб22 (рид-онли просмотр)