Читаю тут курс матлогики
Sep. 19th, 2013 08:26 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
deniokКонтрприменяю правило введения импликации в сукцедент секвенции, затем контрприменяю правило введения импликации в антецедент секвенции, затем опять контрприменяю правило введения импликации в сукцедент секвенции, и мы у цели: оба листа дерева поиска вывода суть аксиомы.
Упражнениена вывод типов: вывод какой тавтологии пропозициональной логики я строю в исчислении секвенций?
Упражнение
