Математическая логика

Определение 1. Логика – анализ методов рассуждений.

Рассмотрим два вывода: 1) Все люди смертны. Сократ – человек, следовательно, Сократ смертен. 2) Все кролики любят морковь. Ушастик – кролик, следовательно, Ушастик любит морковь.

Оба вывода имеют одну и ту же форму: все А суть В, С есть А, следовательно, С есть В.

Логик желает знать, вытекает ли истинность заключения из истинности посылок.

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

Главная цель математической логики – дать точное и адекватное определение понятия «математическое доказательство».

Определение 2. Алфавитом называется любое непустое множество. Элементы этого множества называются символами алфавита.

Определение 3. Словом в алфавите называется произвольная, конечная (возможно, пустая) последовательность символов из .

Определение 4. Произведением слов a и b называется слово ab. Предложение – произвольная конечная последовательность слов.

Определение 5. Рассмотрим алфавит: , где , , . Символы из называются переменными высказываниями или пропозициональными буквами. Символы из называются логическими связками или пропозициональными связками. Символы из : скобки, запятые, называются вспомогательными символами.

п. 1. Высказывания (пропозициональные буквы)

Истина и ложь – слова, которые называются значениями истинности.

Определение 6. Высказывание – утвердительное предложение, про которое можно сказать истинно оно или ложно.

Например, «идет дождь» – высказывание, «пойдем обедать» – не высказывание.

Высказывание может быть выражено с помощью слов, а также с помощью математических, химических и других знаков.

Не являются высказываниями 1) восклицательные и вопросительные предложения; 2) также определения (они устанавливают названия и понятия некоторого объекта); 3) также предложения типа: «он сероглаз или » (не указано, о каком человеке идет речь, при каких х рассматривается неравенство; такие предложения с неизвестной переменной называются неопределенными высказываниями).

Например, «некоторые люди – сероглазы» – высказывание, «для всех справедливо неравенство » – высказывание, причем 1) – истинное, а 2) – ложное.

Высказывания, которые можно разложить на части – сложные, нельзя – простые.

Из высказываний путем соединения их различными способами можно составлять новые, более сложные высказывания.

Иногда бывает удобнее представлять некоторые словесные выражения – высказывания, посредством логических символов, которые называются кванторами.

Дата добавления: 2014-01-20