Тема 2. Логические исчисления
Основная задача математической логики – формализация правильных способов рассуждения. Элементами логических рассуждений являются утверждения, которые либо истинны, либо ложны (простые высказывание или пропозициональные переменные). Из простых высказываний с помощью логических связок (операций) могут быть построены сложные высказывания.
Таблицы истинности позволяют ответить на многие вопросы, касающиеся формул логики высказываний: о равносильности формул, о противоречивости и т. п. Но более сложные вопросы решить с помощью таблиц истинности нельзя. Поэтому рассмотрим другой метод – метод формальных аксиоматических теорий.
Еще по теме Тема 2. Логические исчисления:
-
Аналитическая геометрия -
Вариационное исчисление -
Векторный и тензорный анализ -
Высшая геометрия -
Высшая математика -
Вычислительная математика -
Дискретная математика -
Дифференциальное и интегральное исчисление -
Дифференциальные уравнения -
Исследование операций -
История математики -
Комплексное исчисление -
Линейная алгебра -
Линейное программирование -
Математика для экономистов -
Математическая логика -
Математическая физика -
Математический анализ -
Пределы -
Ряды -
Статистика -
Теория вероятностей -
Теория графов -
Теория игр -
Теория принятия решений -
Теория случайных процессов -
Теория чисел -
Функциональный анализ -
-
Архитектура и строительство -
Безопасность жизнедеятельности -
Библиотечное дело -
Бизнес -
Биология -
Военные дисциплины -
География -
Геология -
Демография -
Диссертации России -
Естествознание -
Журналистика и СМИ -
Информатика, вычислительная техника и управление -
Искусствоведение -
История -
Культурология -
Литература -
Маркетинг -
Математика -
Медицина -
Менеджмент -
Педагогика -
Политология -
Право России -
Право України -
Промышленность -
Психология -
Реклама -
Религиоведение -
Социология -
Страхование -
Технические науки -
Учебный процесс -
Физика -
Философия -
Финансы -
Химия -
Художественные науки -
Экология -
Экономика -
Энергетика -
Юриспруденция -
Языкознание -