матлогика
By: Max Naumchuk
1. Пропозициональные формулы. Равносильные формулы. Тавтологии и противоречия. Теорема о ДНФ, 2. Понятия исчисления и формальной теории. Вывод, выводимая формула, полнота и непротиворечивость, Секвенциальное исчисление высказываний. Допустимые правила секвенциального исчисления высказываний....