Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 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,
|