Изменения

Перейти к: навигация, поиск

Лемма о дедукции, полнота исчисления высказываний

23 байта добавлено, 22:58, 12 января 2012
Нет описания правки
[[Лекция 2 | <<]][[Матлогика | На главную]][[Лекция 4 | >>]]
==Теорема о дедукции==
#<tex>\alpha \rightarrow \alpha</tex> (М.Р. 4, 3)
}}
 
[[Категория: Математическая логика]]
Proshev
419
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/16369»

Навигация