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

Шпаргалка «Экзаменационная» по Математической логике (Дьячков А. М.)

Кирилл Николоев сб, 19.03.2016 19:58

1.Алгебра высказываний, пропозициональные связи и формы, истинностные таблицы. Высказывания – повествовательное предложение, ктр можно приписать истинностное значение. Сокращенно истинностное значение «истина» обозначается цифрой 1 или буквой И, а «ложь» - цифрой 0 или буквой Л. Сами высказывания обозначаются латинскими буквами A, B, A1, A2…

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

Шпаргалка «Экзаменационная» по Математической логике (Дьячков А. М.)

Кирилл Николоев сб, 19.03.2016 15:50

1.Алгебра высказываний; пропозициональные связки и формы, истинностные таблицы Высказывание – повествовательное предложение, о котором можно сказать, истинно оно или ложно. Значение «истинно» и «ложно» обычно обозначаются 1 или 0, или И и Л.

Содержательно логические операции обычно интерпретируют следующим образом: отрицание (инверсия) (− ) − «не» дизъюнкция − «или» конъюнкция & (А&B или A.В) − «и» импликация → − «если … , то» эквивалентность ~ − «тогда и только тогда» (или «эквивалентно»)

приоритеты по выполнению действий: , &, , →, ~ . Символы , &, , →, ~ наз-ся пропозициональными(или логическими) связками. Буквы, обозначающие высказывания, наз-ся пропозициональными буквами. Осмысленные формулы, составленные из пропозициональных букв, пропозициональных связок, а также скобок, указывающих порядок выполнения операций, наз-ся пропозициональными формами(ПФ).

Лекции по Математической логике (Кулик Б. А.)

Кирилл Николоев вт, 15.03.2016 18:16

Логика естественных рассуждений Пособие к курсу лекций по темам Логика естественных рассуждений и Прикладная математика для студентов Санкт-Петербургского Университета Культуры и Искусств (СПбГУКИ) Часть первая. Полисиллогистика

По материалам книги Б.А. Кулик. Логика естественных рассуждений. СПб, Изд-во Невский диалект, 2001. В подготовке данного курса лекций принимала участие студентка СПбГУКИ Полина Иванова Санкт-Петербургский Университет Культуры и Искусств

2008 Оглавление Предисловие 2 1. Суждение 3 2. Основные понятия алгебры множеств 5 3. E-структуры: определение и основные свойства 12 4. Графы и частично упорядоченные множества 15 5. Анализ E-структур с помощью графов 21

6. Коллизии в рассуждениях 24 7. Инварианты E-структур 29 8. Экзистенциальные суждения 33 9. Формирование и проверка гипотез 39 10. Отрицания и антитезы в E-структурах 48 11. Абдуктивный вывод 51