- •Тема 1 Аудиторная самостоятельная работа №1 «Решение простейших логических задач»
- •Домашняя самостоятельная работа №1
- •Аудиторная самостоятельная работа №2 «Применение основных формально-логических законов»
- •Домашняя контрольная работа №1 «Ловушки языка»
- •Но плавать он не может». Там побывали та и тот
- •Тема 3
- •Аудиторная самостоятельная работа №3 «Понятие как форма мышления. Содержание и объем понятий. Виды понятий»
- •Тема 3. (продолжение) Логические приемы образования понятий.
- •Тема 3 (продолжение)
- •Аудиторная самостоятельная работа №5 «Отношения между понятиями»
- •Аудиторная самостоятельная работа №6 «Отношения между понятиями»
- •Тема 3 (продолжение)
- •Аудиторная самостоятельная работа №7 «Определение и деление понятий»
- •Тема 3 (окончание)
- •Домашняя самостоятельная работа №3 «Обобщение и ограничение понятий, операции с классами»
- •Аудиторная контрольная работа №1
- •Варианты заданий
- •Вариант №2
- •Вариант №3
- •Вариант №4
- •Вариант №5
- •Аудиторная самостоятельная работа №8 «Простые суждения. Объединенная классификация простых суждений. Распределенность терминов в суждении. Отношения между суждениями»
- •Домашняя самостоятельная работа №4
- •Тема 4 (продолжение)
- •Аудиторная самостоятельная работа №9 «Сложные суждения. Построение таблиц истинности сложных суждений»
- •Домашняя самостоятельная работа №5 «Сложные суждения. Построение таблиц истинности сложных суждений»
- •Тема 4 (продолжение)
- •Применение основных равносильностей алгебры высказываний для решения содержательных задач
- •Аудиторная самостоятельная работа №10 «Применение основных равносильностей алгебры высказываний к решению задач»
- •Домашняя самостоятельная работа №6 «Применение основных равносильностей алгебры высказываний к решению задач»
- •Тема 4 (продолжение)
- •Дизъюнктивные и конъюнктивные нормальные формы. Совершенные конъюнктивные и дизъюнктивные нормальные формы.
- •Применение основных равносильностей алгебры высказываний для решения содержательных задач, требующих приведения формул алгебры логики к минимальной кнф и сднф виду.
- •Аудиторная самостоятельная работа №11 «Приведение формул алгебры высказываний к кнф, днф, скнф и сднф виду»
- •Аудиторная контрольная работа №2
- •Варианты заданий Вариант № 1
- •Вариант № 2
- •Вариант № 3
- •Вариант № 4
- •Тема 5. Умозаключение
- •Простой категорический силлогизм Состав простого категорического силлогизма.
- •Полисиллогизмы
- •Сокращенные и сложносокращенные силлогизмы
- •Условные умозаключения, разделительные умозаключения, лемматичекие (условно-разделительные) умозаключения.
- •1. В утверждающе-отрицающем модусе меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член.
- •Домашняя контрольная работа №2
- •Силлогизмы
- •Сокращенные силлогизмы.
- •Условно-категорические умозаключения
- •Разделительные и непрямые умозаключения
- •Примерный список тем рефератов
Домашняя самостоятельная работа №5 «Сложные суждения. Построение таблиц истинности сложных суждений»
Задание №1. Пусть а есть высказывание «9 — четное число» и b — высказывание «9 — нечетное число». Определите значения истинности следующих высказываний:
а) а ¬b, д) ¬a ¬b, и) ¬a ¬b, н) ¬ (а b),
б) b а, е) ¬b а, к) ¬a b, о) ¬ (¬а b),
в) а ¬Ь, ж) ¬b ¬a, л) а ¬b, п) ¬ (а ¬b),
г) ¬а 6, з) а b, м) ¬ (а b), р) ¬ (¬а ¬b).
(максимальное количество баллов - 16)
Задание №2. Используя таблицы истинности для логических связок, определите истинностное значение приведенных сложных высказываний, предполагая, что а — истинное высказывание:
а) а \/ а, е) а & ¬а,
б) а & а, ж) ¬ (а а),
в) а а, з) ¬ (а \/¬а),
г) a а, и) ¬ (а & ¬а),
д) а \/ ¬а, к) а ¬¬а.
(максимальное количество баллов - 10)
Задание №2. Укажите истинное значение приведенных в предыдущем примере сложных высказываний, предполагая, что а — ложное высказывание.
(максимальное количество баллов - 10)
Задание №3. Определите с помощью таблиц истинности, какие из приведенных формул являются тавтологиями:
а) (a b) (b a), з) (а b) ¬ (a & ¬b),
б) (а &b) (b&а), и) (а \/ b) (¬а b),
в) (а b) (b а), к) (a \/ b) ¬ (¬а & ¬b),
г) (а b)& ¬b ¬a, л) (a & b) ¬ (¬а \/ ¬b) ,
д) (¬а ¬b) (b а), м) (а & b) ¬ (а ¬b),
e) (а b) & a b, н) (а b) &(b a) ¬ (a b)
ж) (а b) (¬a b),
(максимальное количество баллов -13)
Задание №4. Определите, какие из приведенных высказываний являются тавтологиями:
а) Если Иванов здоров, то он здоров и богат.
б) Если Иванов здоров, то он здоров или богат.
в) Если Иванов здоров и богат, то он здоров.
г) Если Иванов здоров или богат, то он здоров.
д) Неверно, что число делится на 2 и на 3, только если оно не делится на 2 или не делится на 3.
е) Неверно, что число является простым или четным, если и только если оно не является простым и не является четным.
(максимальное количество баллов - 6)
Задание №5. Определите, какие из приведенных высказываний логически следуют из высказывания «5 больше 3»:
а) 5 больше 3 или 3 больше 5.
б) Если 5 меньше 3, то 5 больше 3.
в) Если Париж расположен на Темзе, то 5 больше 3.
г) Неверно, что 5 больше 3 и вместе с тем 5 равно 3.
(максимальное количество баллов - 4)
Тема 4 (продолжение)
Информационный материал
Сложное высказывание будем назвать тождественно истинным или тавтологией, если оно принимает значение истины для всех наборов значений входящих в него простых высказываний.
Два сложных высказывания будем называть равносильными, если их значения совпадают при одних и тех же наборах значений входящих в них простых высказываний.
Доказательство приведенных ниже основных равносильностей алгебры высказываний выполняется при помощи составления таблиц истинности.
Закон тождества: ;
Закон непротиворечия: ;
Закон исключенного третьего: ;
Закон двойного отрицания: ;
Законы ассоциативности: ;
Законы коммутативности: ;
Законы дистрибутивности:
Законы поглощения:
Законы де Моргана:
Связь конъюнкции, дизъюнкции, импликации и отрицания: ;
:
;
;
;
;
Модусы (разновидности схемы утверждений): -утверждающий модус;
- отрицающий модус;
Отрицающе-утверждающий модус: ;
Законы транзитивности:
Законы контрапозиции:
Законы косвенного доказательства:
Законы Клавия:
В качестве примера докажем, что, например, формулы и являются тождественно истинными (тавтологиями), построив для их левых и правых частей таблицы истинности и используя табличные определения основных логических операций
1.
|
|
|
|
|
|
|
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
В четвертом и седьмом столбцах полученной таблицы содержаться истинностные значения, соответствующие левой и правой частям рассматриваемой формулы, и принимаемые этими выражениями значения одинаковы для всех наборов простых переменных, входящих в состав сложного высказывания. Значит, данная формула является тавтологией.
2.
|
|
|
|
|
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
В третьем и пятом столбцах полученной таблицы содержатся истинностные значения, соответствующие левой и правой частям рассматриваемой формулы, и принимаемые этими выражениями значения одинаковы для всех наборов простых переменных, входящих в состав сложного высказывания. Значит, данная формула также является тавтологией.
Пример:
Определить с помощью таблиц истинности, является ли приведенная формула алгебры высказывание тавтологией
(а \/ b) (¬а b)
а |
b |
¬а |
а+ b |
¬a b |
(а \/ b) (¬а b) |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
В последнем столбце построенной для данной формулы таблицы истинности при всех наборах значений переменных ходящих в нее простых высказываний получены только значения истины, следовательно, она является тавтологией.