Нахождение посылок для следствий
Пример 7.
Дано: 
Найти: 
, такие что 
Решение
1 способ (по определению логического следствия)
| х | у |  |  |  |  |  |  |  |  |  |  |
| 0,1 | |||||||||||
| 0,1 | |||||||||||
| 0,1 | |||||||||||
Формулы могут быть найдены с помощью СДНФ или СКНФ. Найдём, к примеру, 
.
; 
и т.д. … 
.
2 способ(по СКНФ)
1. Находим СКНФ
2. Находим недостающие СДО: 
3. Искомыми посылками являются формулы, полученные путём составления конъюнкции формулы с недостающими СДО, взятыми по одному, два, и т.д.
, … и т.д.
7 Нахождение недостающеё посылки в рассуждении
Пример 8.В следующем рассуждении найти недостающую посылку так, чтобы рассуждение было правильным и посылка выражала связь между высказываниями: «Целое число оканчивается 0», «Целое число делится на 5», «Целое число оканчивается цифрой 5».
1. Целое число делится на 5 и не оканчивается 0
2. ???
Следовательно, целое число оканчивается цифрой 5.
Решение
1. Переведём задачу на язык АВ:
х: «Целое число оканчивается 0»,
у: «Целое число делится на 5»,
z: «Целое число оканчивается цифрой 5».
2. Посылка 
, посылка 
? Следствие 
.
Схема рассуждения: 
или 
.
3.
| х | у | z | |  | |  |  |  |  |  | … | ||
| 0,1 | |||||||||||||
| 0,1 | |||||||||||||
| 0,1 | |||||||||||||
| 0,1 | |||||||||||||
| 0,1 | |||||||||||||
| 0,1 | |||||||||||||
| 0,1 |
Формулы могут быть найдены с помощью СДНФ или СКНФ. Найдём, к примеру, 
.
; СДНФ 
; СДНФ 
, … и т.д.
Форма отчётности: конспект.
СРС 4
Подготовка к тестированию № 1по УМП: Акбердин Р.А., Вьялицин А.А. и др. Сборник тестовых заданий по математической логике и дискретной математике. – Петропавловск, СКГУ, 2004, с. 5-18. 103 задания.
Форма отчётности: тестовые задания по модулю 1 должны быть решены в отдельных тетрадях и сданы в срок, указываемый преподавателем. Тестирование № 1.
СРС 5
Выполнение семестрового задания № 2 (по вариантам).
По модулю 2: одна задача.
Докажите независимость аксиомы ИВ.
| № вар. | Задание | № вар. | Задание | № вар. | Задание | ||
 |  |  | |||||
 |  |  | |||||
| | |  | |||||
| | |  | |||||
| | | | |||||
| | | | |||||
| | | | |||||
| | | | |||||
| | | | |||||
| | | | |||||
| балл | балл | балл |
Форма отчётности: семестровое задание необходимо сдавать в отдельных тетрадях в сроки, указываемые преподавателем для каждого задания.
СРС 6
Подготовка к контрольной работе № 1. Повторение материала по модулю 1 и 2.
Форма отчётности: выполнение контрольной работы № 1.
СРС 7
Подготовка к коллоквиуму № 1. Повторение материала по модулю 1 и 2.
Форма отчётности: сдача коллоквиума № 1.
СРС 8
Разбор тестовых заданий по УМП: Акбердин Р.А., Вьялицин А.А. и др. Сборник тестовых заданий по математической логике и дискретной математике. – Петропавловск, СКГУ, 2004, с. 18-25. 53 задания.
Форма отчётности: тестовые задания по модулю 2 должны быть решены в отдельных тетрадях и сданы в срок, указываемый преподавателем.
СРС 9
Выполнение семестрового задания № 2 (по вариантам).
По модулю 3: 6 задач.
| № зад | №2 | №3 | №4 | №5 | №6 | №7 |
| вариант | ||||||
| 1в | 9.23 б | 9.30 б | 9.38 б | 9.65 ж | 10.4 б | 10.10 к |
| 2в | 9.23 в | 9.30 в | 9.38 в | 9.65 е | 10.4 в | 10.10 и |
| 3в | 9.23 г | 9.30 г | 9.38 г | 9.65 д | 10.4 г | 10.10 з |
| 4в | 9.23 д | 9.30 д | 9.38 д | 9.65 г | 10.4 д | 10.10 ж |
| 5в | 9.23 е | 9.30 е | 9.38 е | 9.65 в | 10.4 е | 10.10 е |
| 6в | 9.23 ж | 9.30 ж | 9.38 з | 9.65 б | 10.4 ж | 10.10 д |
| 7в | 9.23 з | 9.30 з | 9.38 и | 9.67 з | 10.4 з | 10.10 г |
| 8в | 9.23 и | 9.29 б | 9.38 к | 9.67 и | 10.4 и | 10.10 в |
| 9в | 9.23 к | 9.29 в | 9.43 б | 9.67 к | 10.5 б | 10.10 б |
| 10в | 9.26 б | 9.29 г | 9.43 в | 9.67 л | 10.5 в | 10.9 б |
| 11в | 9.26 в | 9.29 д | 9.43 г | 9.67 м | 10.5 г | 10.9 в |
| 12в | 9.26 г | 9.29 е | 9.43 д | 9.67 з | 10.5 д | 10.9 г |
| 13в | 9.26 д | 9.29 ж | 9.43 е | 9.67 и | 10.5 е | 10.9 д |
| 14в | 9.26 е | 9.29 з | 9.43 ж | 9.67 к | 10.5 ж | 10.10 к |
| 15в | 9.26 ж | 9.29 и | 9.43 з | 9.67 л | 10.5 з | 10.10 и |
| 16в | 9.26 з | 9.29 к | 9.43 и | 9.69 б | 10.5 и | 10.10 з |
| 17в | 9.26 и | 9.31 б | 9.43 к | 9.69 в | 10.7 б | 10.10 ж |
| 18в | 9.26 к | 9.31 в | 9.43 н | 9.69 г | 10.7 в | 10.10 е |
| 19в | 9.26 к | 9.31 г | 9.43 о | 9.69 д | 10.7 г | 10.10 д |
| 20в | 9.26 и | 9.31 д | 9.43 п | 9.69 е | 10.7 д | 10.10 г |
| 21в | 9.26 з | 9.31 е | 9.43 р | 9.69 ж | 10.7 е | 10.10 в |
| 22в | 9.26 ж | 9.31 з | 9.43 с | 9.69 з | 10.7 ж | 10.10 б |
| 23в | 9.26 е | 9.31 и | 9.44 б | 9.69 и | 10.7 з | 10.9 б |
| 24в | 9.26 д | 9.29 б | 9.44 в | 9.69 к | 10.7 и | 10.9 в |
| 25в | 9.26 в | 9.29 в | 9.44 г | 9.69 л | 10.7 к | 10.9 г |
| 26в | 9.23 б | 9.30 б | 9.38 б | 9.65 ж | 10.4 б | 10.10 к |
| 27в | 9.23 в | 9.30 в | 9.38 в | 9.65 е | 10.4 в | 10.10 и |
| 28в | 9.23 г | 9.30 г | 9.38 г | 9.65 д | 10.4 г | 10.10 з |
| 29в | 9.23 д | 9.30 д | 9.38 д | 9.65 г | 10.4 д | 10.10 ж |
| 30в | 9.23 е | 9.30 е | 9.38 е | 9.65 в | 10.4 е | 10.10 е |
| балл |
Задания по учебнику: Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов.- М., Академия, 2005.
Форма отчётности: семестровое задание необходимо сдавать в отдельных тетрадях в сроки, указываемые преподавателем для каждого задания.
СРС 10
Изучение материала по теме «Численные и ограниченные кванторы» по учебнику: Игошин В. И. Математическая логика и теория алгоритмов.- М., Академия, 2004, с. 161-163.
Форма отчётности: конспект.
СРС 11
Подготовка к тестированию № 2 по УМП: Акбердин Р.А., Вьялицин А.А. и др. Сборник тестовых заданий по математической логике и дискретной математике. – Петропавловск, СКГУ, 2004, с. 26-37. 88 заданий.
Форма отчётности: тестовые задания по модулю 3 должны быть решены в отдельных тетрадях и сданы в срок, указываемый преподавателем. Тестирование № 2.
СРС 12
Подготовка к контрольной работе № 2. Повторение материала по модулю 3.
Форма отчётности: выполнение контрольной работы № 2.
СРС 13-14
Подготовка к коллоквиуму № 2. Повторение материала по модулю 3, 4, 5.
Форма отчётности: сдача коллоквиума № 2.