Постраничный перечень понятий и теорем.

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

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

Конъюнкты. Синонимы для выражения конъюнкции. Дизъюнкция высказываний.
Дизъюнкты. Синонимы для выражения дизъюнкции. Импликация высказываний.
Посылка импликации. Заключение импликации. Синонимы для выражения импликации. Эквиваленция высказываний. Левая и правая части эквиваленции.
Синонимы для выражения эквиваленции.

Замечание о языковой смеси. Замечание об использовании знака равенства для высказываний. Пропозициональная логика. Синоним для пропозициональной логики. Логические (пропозициональные) операции. Истинностная таблица высказываний. Входные и результирующие столбцы истинностной таблицы.
Тавтология и ее синоним. Тавтологическое следствие. Теорема об отрицании отрицания. Теорема об отрицании конъюнкции. Теорема об отрицании дизъюнкции. Теорема об исключении импликации. Теорема об исключении эквиваленции. Теорема об устранении альтернативы. Теорема о коммутативности... Теорема о равносильности. Теорема о тавтологическом следствии. Арифметическая запись высказываний. 12 равенств. Правило отделения. Теорема о выводе в пропозициональной логике. Теорема о самодостаточной выразительности пропозициональной логики.

Кванторная логика. Синоним для кванторной логики. Кванторные операции.
Кванторологически истинное высказывание. Кванторологическое следствие.
Связанное вхождение переменной. Свободное вхождение переменной. Результат подстановки в высказывание терма вместо переменной и его обозначение.
Допустимый заменитель. Замкнутое высказывание. Открытое высказывание.

Теорема о всезначности переменной. Теорема об отрицании обобщения и подтверждения. Теорема о взаимоисключении кванторов. Теорема о перестановочности кванторов. Типовые кванторы. Теорема о равносильной замене. Позитивное высказывание. Позитивная форма высказывания. Теорема о позитивной форме. Теорема о выводе в логике предикатов. Правило тавтологии.
Правило отделения. Правило обобщения. Правило подтверждения. Правило общевнесения. Правило сущевнесения.

Эгалитарная логика. Синоним для эгалитарной логики. Эгалитарная интерпретация. Логическое следствие. Обозначение для логического следствия.
Логически истинное высказывание. Обозначение для логически истинного высказывания. Правило тождества. Правило равенства. Правило неотличимости.
Теорема об эгалитарной замене. Теорема о транзитивности логического следствия. Теорема о расширении списка гипотез. Теорема о конъюнктивизации гипотез. Теорема дедукции. Теорема о выводе в эгалитарной логике. Теорема о сравнительной силе выводов. Алгоритм. Теорема о неразрешимости проблемы логического следствия. Теорема о неразрешимости проблемы логической истинности. Замечание о слове ЛОГИКА.

Формальные теории. Аксиомы формальной теории. Теоремы формальной теории. Доказательный текст. Девять основных правил вывода.

Способы компактизации доказательных текстов. Операционная форма записи для двухместных функциональных и предикатных знаков. Соглашение об упразднении скобок. Соглашение о сравнительной силе связи логических и нелогических знаков. Специальные начертания знаков. Знаковые фигуры.

Определяющая аксиома для нового предикатного знака. Определяющая аксиома для нового функционального знака. Теорема об определениях. Правило отделения конъюнкта. Правило присоединения дизъюнкта. Теорема о методе от противного. Формальная арифметика. Определяющие аксиомы для 2 3 4 5 ( ? ?
?.

Множество. Элемент множества. Х(А. Х(А. Подмножество. А(В. A(B. {а(р}.
Пустое множество и его обозначение. {Х1,....Хn,}. Объединение двух множеств и его обозначение. Пересечение двух множеств и его обозначение. Дополнение множества В относительно множества А, его обозначение и синоним.
Обозначение для множества натуральных, целых и действительных чисел.
Упорядоченная n-ка, ее обозначение и синонимы. k-ая компонента упорядоченного набора, ее обозначение и синоним. Декартово произведение множеств и его обозначение. К-ая проекция n-мерного множества и ее обозначение Аn.

Функция. Область определения функции, ее синоним и обозначение.
Область значений функции, ее синоним и обозначение. Значение функции F в х и его обозначение. Образ множества относительно функции и его обозначение.

Отображение множества в множество. Отображение множества на множество.
F ( А ( В. Сужение функции. Расширение функции. Обратная функция.
Симметричность понятия обратной функции. n-аргументная функция. Обозначение
F ((Х1,….,Хn)). Однозначная функция. Многозначная функция.
Взаимнооднозначная функция и ее синоним. Последовательность. n-ый член последовательности. Бесконечное множество. Конечное множество.

Тема 1. Предмет и основные понятия логики.

Логика - наука о мышлении, наука о языковом выражении мыслей. Язык - знаковая система, предназначенная для фиксации, передачи и переработки информации. Высказывание - языковое выражение, о котором представляется естественным спросить, истинно оно или ложно. Высказывание является истинным, если его содержание соответствует действительности; в противном случае высказывание является ложным. Т. о. любое высказывание является либо истинным либо ложным и тем самым служит обозначением либо истины либо лжи, которые мы можем рассматривать как два различных умозрительных объекта, обозначаемых обычно буквами И, Л и называемых истинностными значениями высказываний: И есть истинностное значение истинного высказывания, Л есть истинностное значение ложного высказывания. Высказывания с одинаковыми истинностными значениями называются равносильными. Про истинное высказывание говорят, что оно справедливо, верно, имеет место.
Доказательством называется конечная последовательность высказываний, в которой каждое высказывание получается из некоторых предыдущих по какому- либо правилу вывода. Правила вывода - это конструктивные операции над высказываниями, сохраняющие свойство истинности, т. е. такие операции, в результате которых из истинных высказываний получаются истинные высказывания. Конструктивное правило преобразования объектов u1,..,un-1 в объект un будем записывать в виде (u1,....,un. При этом u1,....,un называются компонентами, последняя из которых называется заключением, а остальные посылками. Последовательность объектов называется индуктивной относительно некоторого набора правил, если каждый ее член получается из предыдущих по какому-либо из этих правил, которые называются правилами порождения данной последовательности. Например, возрастающая последовательность всех нечетных чисел и последовательность 1, 3, 1, 5, 7,
3 являются индуктивными относительно правил (1 и (х, х+2, а последовательность 1, 3, 7 не является индуктивной относительно этого набора правил.

Тема 2. Унификация языка.

Для четкого выражения мыслей ученые придумали формальный язык, в котором все осмысленные выражения строятся по определенным правилам из следующих знаков, символов:

Логические знаки ( ( ( ( ( ( ( вспомогательные знаки ( ), нульместные функциональные знаки f[pic] f [pic] f[pic] f[pic] … одноместные функциональные знаки f[pic] f[pic] f[pic] f[pic]…

………………………… нульместные предикатные знаки g[pic] g[pic] g[pic] g[pic]… одноместные предикатные знаки g[pic] g[pic] g[pic] g[pic]…

………………………… переменные (0 (1 (2 (3 …
Порядок в котором здесь перечислены знаки, называется алфавитным порядком.

Выражением, знакосочетанием, символосочетанием в этом формальном языке называется несколько записанных друг за другом в направлении слева на право знаков. c, c0, c1, … обозначают нульместные функциональные знаки. f, f0, f1, … обозначают функциональные знаки. g, g0, g1, … обозначают предикатные знаки. u, v, w, u0, v0, w0, u1, v1, w1, … обозначают выражения. х, y, z, х0, y0, z0, х1, y1, z1, … обозначают переменные. uv обозначает результат написания выражения v после выражения u.

Термами называются знакосочетания с такими порождающими правилами:

( х

( c