Міністерство освіти і науки України
Сумський державний університет
Факультет Електроніки Та Інформаційних Технологій
Кафедра Комп’ютерних Наук
Звіт з лабораторної роботи № 1
з дисципліни “Алгоритми та системи правильних міркувань”
Тема “Алгоритми та системи правильних міркувань Аристотеля.”
Варіант 6
Виконав студент групи ІН-13
Громовий Костянтин Віталійович
Перевірив Шаповалов Сергій Павлович
Суми 2022
1 Завдання лабораторної роботи
Побудувати схему умовиводу за варіантом завдань, застосувавши теорію силогізмів Аристотеля.
З’ясувати тип модусу та зробити висновок про міркування.
Дослідити істинність чи хибність міркувань.
Побудувати діаграми силогізму, використовуючи діаграми Ейлера-Венна, щоб визначити валідність.
Представити висновки.
2 Роз’язання
А. Цінності зберігають у сейфі; Знання є цінність├ Знання зберігають у сейфі.
1
M (Цінності) – P (Сейф)
S(Знання) – M (Цінності)
S (Знання) – Р (Сейф)
Виходить 1 фігура
2
A - Цінності зберігають у сейфі
I - Знання є цінність
A - Знання зберігають у сейфі
Одна передумова є загально стверджувальна і одна частково з загально стверджувальним висновком, а отже вийшов модус AІA
3
Виходь що міркування є правильним,оскільки модус збігається з фігурою
4
5
Фігура, модус і діаграмми Ейлера-Венна показали нам що силогізм є істинним
Б. Деякі студенти - майбутні банкіри; Деякі студенти погано навчаються ├ Майбутні банкіри погано навчаються.
1
M (Студенти) – P (Банкіри)
М (Студенти) – S (Погано навчаються)
S (Погано навчаються) – Р (Банкіри)
Виходить 3 фігура
2
І - Деякі студенти - майбутні банкіри
I - Деякі студенти погано навчаються
А - Майбутні банкіри погано навчаються
Порушено правило побудови силогізму
3
Виходь що міркування не є правильним,оскільки порушено сьоме правило. Із двох часткових засновків достовірний висновок отримати неможливо.
4
Неможливо побудувати фігуру
5
Порушено правило,подальше міркування неможливе