Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 4. Как сделать так, чтобы вас уважали и ценили?
Как сделать лучше себе и другим людям
Как сделать свидание интересным?
Категории:
АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника
Математическая логика
|
|
Задание №9: Доказать или опровергнуть общезначимость формулы, используя а)таблицу истинности; б) законы алгебры логики и формулы равносильных преобразований, в) путем построения дерева доказательства, г) методом резолюций.
2.1 
.
2.2 
2.3 
2.4 
2.5 
.
2.6. 
2.7. 
2.8 
2.9. 
.
2.10. 
2.11 
.
2.12 
2.13 
2.14 
2.15 
.
2.16. 
2.17.
2.18 
2.19. 
.
2.20. 
2.21 
.
2.22 
2.23 
2.24 
2.25 
.
2.26. 
2.27. 
2.28 
2.29. 
.
2.30. 
Задание №10. Формализовать умозаключение по заданному модусу в логике предикатов. Доказать или опровергнуть умозаключение по заданному модусу путём построения диаграммы Эйлера и методом резолюций.
Модель 1. 
Варианты заданий в формате: (номер фигуры силлогизма, название фигуры)
1. 1 - Celarent,
2. 1- Darii,
3. 1- Ferio,
4. 2- Cesare,
Camestres,
Festino,
Baroko,
Darapti,
9. 3- Disamis,
10. 3- Disamis,
11. 3-Felapton,
12.4-Bocardo,
13.4- Ferison,
14. 4-Bramantip,
15. 4- Camenes,
16. 4- Dimaris,
17. 4- Fesapo,
18. 4- Fresison.
19. 1- Darii,
20. 1- Ferio,
21. 2- Cesare,
Camestres,
Festino,
Baroko,
Date: 2015-07-27; view: 1140; Нарушение авторских прав