Логика высказываний
Автор: Denis Zaev • Октябрь 3, 2022 • Контрольная работа • 348 Слов (2 Страниц) • 494 Просмотры
Для выполнения заданий потребуются учебный, лекционный материал, Интернет - источники
Логика высказываний
I. Формализуйте языком исчисления высказываний следующие суждения. Определите вид каждого сложного суждения (10 баллов, каждое правильное задание – 2 балла: правильно формализованное суждение – 1,5 балла, правильное определение вида суждения – 0,5 балла).
1) Главным при принятии решений и управлении переменами стало доминирование теоретического знания, превалирование теории над эмпиризмом и кодификация знаний в абстрактные своды символов (Д. Белл. Грядущее постиндустриальное общество. Опыт социального прогнозирования);
(A&B)&(C&D) - соединительное
2) А ведь приятен вид толпы необозримой,
Когда она вокруг театра наводнит
Всю площадь и бежит волной неудержимой,
И в двери тесные и рвётся и спешит (И. Гёте. Фауст);
(A&B)&(C&D)&E - соединительное
3) Если у меня нет денег для путешествия, то у меня нет и потребности... Если у меня есть призвание к научным занятиям, но нет для этого денег, то у меня нет и призвания... Наоборот, если я на самом деле не имею никакого призвания к научным занятиям, но у меня есть желание и деньги, то у меня есть к этому действенное призвание (К. Маркс. Экономическо-философские рукописи 1844 года);
(˥A->˥B)&((C& ˥D)-> ˥C)&(((˥C&E)&F)->˥G) - соединительное
4) Когда часть рассола вытекает или вымораживается, температура льда понижается, и он становится более прочным (В.М. Санин. Одержимый);
(AvB)->(C&D) - условное
5) Никому не нужна гонка за метрами, разумеется, – если на рынок выводится некомфортное, некачественное жильё. Нам нужно строить не просто много, а по-современному (В.В. Путин. Заседание Совета по стратегическому развитию и приоритетным проектам, 2017).
((A&B)-> ˥C)&(D&E) - соединительное
II. Сведите данное суждение к равносильному ему (10 баллов). Для выполнения этой операции вам необходимо:
- формализовать предложенное суждение языком исчисления высказываний (1 балл)
- найти формулу равносильную полученной в ходе формализации (4 балла)
- обосновать их равносильность, построив таблицы истинности для обеих формул (3 балла)
- интерпретировать полученную вами равносильную формулу новым предложением, формулировка которого содержит понятия из области правотворчества, правоустановления, правоприменения* (2 балла).
При наличии угля и железа можно варить сталь, и этим объяснялось первенство Англии в самом начале индустриальной революции (Д. Белл. Грядущее постиндустриальное общество. Опыт социального прогнозирования)
(A&B)&C
A | B | C | A&B | (A&B)&C |
И | И | И | И | И |
И | Л | Л | Л | Л |
Л | И | Л | Л | Л |
Л | Л | И | Л | Л |
И | И | Л | И | Л |
И | Л | И | Л | Л |
Л | И | И | Л | Л |
Л | Л | Л | Л | Л |
˥((A&B)→˥C)
Неправда, что если судья вынес оправдательный приговор и потребовал немедленно отпустить обвиняемого, то он не учёт важные улики.
...