Логика высказываний

Для выполнения заданий потребуются учебный, лекционный материал, Интернет - источники

Логика высказываний

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)

        Неправда, что если судья вынес оправдательный приговор и потребовал немедленно отпустить обвиняемого, то он не учёт важные улики.