
- •Предмет и задачи логики как науки. Исторические этапы становления логики как науки. Соотношение логики и других наук.
- •Логика высказываний. Предметный язык логики высказываний. ( определение алфавита, формулы).
- •3 Основные пропозициональные связки. ( определение отрицания, конъюнкции, дизъюнкции, импликации,эквивалентности). Таблицы истинности для связок.
- •4.Алгоритм построения таблицы истинности. Виды формул логики высказываний.
- •5.Законы логики высказываний. Основные законы логики. (тождества, противоречия, исключение третьего, недостаточного основания).
- •Р≡р Закон тождества
- •Р& ̚р≡0 ̚ (р& ̚р) Закон противоречия
- •Av¬a закон исключенного третьего;
- •6.Понятие булевой алгебры и булевых функций. Бинарные булевы функции.
- •7.Условно-категорические умозаключения. Понятие дедуктивного умозаключения. Типичные ошибки в дедуктивных умозаключениях.
- •8. Условно разделительные умозаключения. (диллемы)
- •3) Рассуждение сведением к абсурду.
- •10.Понятие индуктивного умозаключения.Виды индуктивных умозаключений: полная и неполная индукция, научная индукция, умозаключения по аналогии.
- •11. Логика предикатов. Предметный язык логики предикатов.
- •12. Понятие высказывания, функции высказывания, функции указателя. Понятие квантора. Универсальный и экзистенциональный кванторы. Свободные и связанные переменные.
- •15. Категорические атрибутивные высказывания: типы и структура, определение истинности.
- •16.Логический квадрат. Непосредственные умозаключения по логическому квадрату.
- •Силлогистика.Виды силлогистических теорий. Законы позитивной силлогистики.
- •Понятие простого категорического силлогизма. Фигуры и модусы простого категорического силлогизма. Правила силлогизма.
- •Непосредственные умозаключения в негативной силлагистике.
- •Понятие как форма мысли. Выди понятий.
- •Соотношение между понятиями и логические операции с понятиями.
- •Определение. Правила определения. Классификация. Правила классификации.
Логика высказываний. Предметный язык логики высказываний. ( определение алфавита, формулы).
Высказывание- повествовательное предложение, истинное или ложное.
Функция высказывания-выражения, содержащие переменные и превращающиеся в высказывание при замене переменных постоянными.
Функция указатель-выражение, которое при замене переменных постоянными превращается в обозначение, описание предмета.
Высказывание истинно, если имеет значение «истина».
Высказывание ложно, если имеет значение «ложь».
Предметный язык логики высказываний состоит из алфавита и формул.
Алфавит – совокупность исходных символов данного формализованного языка.
Алфавит:
P,q,r,….-пропозициональные переменные
̚,&, V, →,↔,..-пропозициональные связки
( , )- технические символы
Формулы:
Всякая пропозициональная переменная является формулой, р-формула
Если р-формула, то ̚р-то же формула
Если р и q- формулы, то р&q, pvq, р→q, p↔q,- тоже формулы.
Ничто иное не является формулой.
Логика высказываний( пропозициональная логика)- это логическая теория, язык который содержит 1 тип нелогических символов(переменные), а так же 1 тип логических символов-связки.
3 Основные пропозициональные связки. ( определение отрицания, конъюнкции, дизъюнкции, импликации,эквивалентности). Таблицы истинности для связок.
Отрицание истинно, тогда и только тогда, когда высказывание ложно.
̚ А
Конъюнкция истинна, тогда и только тогда, когда оба высказывания истинны.
А&В
Дизъюнкция истинна тогда и только тогда, когда оба высказывания ложны.
AVB
Импликация ложна тогда и только тогда, когда из истинного антецедента следует ложный консеквент.
А→В
Эквиваленстность истинна тогда и только тогда, когда оба высказывания либо истинны, либо ложны.
А↔В
Таблица истинности связки - отражает все ситуации влияния значений элементарной переменной на значение сложного высказывания.
Пример:
4.Алгоритм построения таблицы истинности. Виды формул логики высказываний.
Любая логическая функция может быть задана с помощью таблицы истинности, в левой части которой записывается набор аргументов, а в правой части - соответствующие значения логической функции.
При построении таблицы истинности необходимо учитывать порядок выполнения логических операций. Операции в логическом выражении выполняются слева направо с учетом скобок в следующем порядке:
1. инверсия;
2. конъюнкция;
3. дизъюнкция;
4. импликация и эквивалентность.
1) Выделяются все различные пропозициональные переменные, входящие в состав А.
2) В столбик выписываются все возможные наборы значений этих переменных.
3) В составе формулы А выделяются все подформулы (начиная с элементарных и кончая самой формулой А).
4) Вычисляется значение каждой подформулы при каждом наборе значений переменных.
Формула называется тождественно ложной тогда и только тогда, когда она принимает значение ложь при любых наборах значений, входящих в нее переменных
Формула называется выполнимой если она принимает значение истина покрайне менее при 1 наборе значений, входящих в нее переменных.