Краткая методичка по логике

  • Просмотров 3869
  • Скачиваний 276
  • Размер файла 139
    Кб

Постраничный перечень понятий и теорем. Логика. Язык. Высказывание. Истинное высказывание. Ложное высказывание. Истина. Ложь. Обозначение для истины. Обозначение для лжи. Истинностное значение высказывания. Равносильные высказывания. Синонимы для истинного высказывания. Доказательство. Правило вывода. Обозначение для конструктивного правила. Компоненты конструктивного правила. Посылки конструктивного правила. Заключение

конструктивного правила. Индуктивная последовательность объектов. Правила порождения индуктивной последовательности. Формальный язык. Логические знаки. Вспомогательные знаки. n-местные функциональные знаки. n-местные предикатные знаки. Переменные. Алфавитный порядок знаков. Выражение. Синонимы для выражения. Обозначения для нульместных функциональных знаков. Обозначения для функциональных знаков. Обозначения для

предикатных знаков. Обозначения для выражений. Обозначения для переменных. Обозначение для соединения выражений. Терм. Правила порождения термов. Обозначения для термов. Индуктивная последовательность термов. Высказывание. Синонимы для высказывания. Правила порождения высказываний. Индуктивная последовательность высказываний. Обозначения для высказываний. Соглашения об упразднении скобок. Константа. Квантор всеобщности.

Квантор существования. Предикат. Элементарное высказывание. Компонента высказывания. Синоним для компоненты высказывания. Пропозициональная компонента высказывания. Интерпретация формального языка. Универсум интерпретации. Синоним для универсума. Значение переменной. Значение функционального знака. Значение предикатного знака. Значение терма. Значение высказывания. Денотаты термов и высказываний. Индуктивное

определение значения терма. Индуктивное определение значения высказывания. Обобщение высказывания по данной переменной. Синонимы для выражения обобщения. Подтверждение высказывания по данной переменной. Синонимы для выражения подтверждения. Отрицание высказывания. Синонимы для выражения отрицания. Конъюнкция высказываний. Конъюнкты. Синонимы для выражения конъюнкции. Дизъюнкция высказываний. Дизъюнкты. Синонимы для