Читаю тут курс матлогики
Sep. 19th, 2013 08:26 pmКонтрприменяю правило введения импликации в сукцедент секвенции, затем контрприменяю правило введения импликации в антецедент секвенции, затем опять контрприменяю правило введения импликации в сукцедент секвенции, и мы у цели: оба листа дерева поиска вывода суть аксиомы.
Упражнениена вывод типов: вывод какой тавтологии пропозициональной логики я строю в исчислении секвенций?
Упражнение