Автор работы: Пользователь скрыл имя, 27 Июня 2013 в 11:48, шпаргалка
1. ЛОГИКА ТРАДИЦИОННАЯ И МАТЕМАТИЧЕСКАЯ ЛОГИКА. ПРЕДМЕТ МАТЕМАТИЧЕСКОЙ ЛОГИКИ. ИСТОРИЯ РАЗВИТИЯ МАТЕМАТИЧЕСКОЙ ЛОГИКИ. 2
2. ВЫСКАЗЫВАНИЯ И ЛОГИЧЕСКИЕ ОПЕРАЦИИ НАД НИМИ. ТАБЛИЦЫ ИСТИННОСТИ. 3
3. ПОНЯТИЕ ФОРМУЛЫ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ. ПОРЯДОК ВЫПОЛНЕНИЯ ЛОГИЧЕСКИХ ОПЕРАЦИЙ. 3
4. ЛОГИЧЕСКАЯ РАВНОСИЛЬНОСТЬ ФОРМУЛ. ОСНОВНЫЕ РАВНОСИЛЬНОСТИ. ЗАКОН ДВОЙСТВЕННОСТИ. 4
5. ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА И СОВЕРШЕННАЯ 'ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА (ДНФ И СДНФ). 5
6. КОНЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА И СОВЕРШЕННАЯ КОНЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА (КНФ И СКНФ). 5