Занятие 10, 11.
Контрольные вопросы.
1.Энтимема. Восстановление силлогизма из энтимемы.
2.Полисиллогизм. Понятие соритов.
3.Понятие эпихейрем и алгоритм их решения
Задания.
1. Образуйте энтимемы из следующих силлогизмов:
а) Всякий порок заслуживает порицания
Всякая скупость есть порок
Всякая скупость заслуживает порицания
б) Ни один невменяемый не наказуем
Некоторые преступники невменяемы
Некоторые преступники не наказуемы
2. Восстановите энтимемы до полных силлогизмов:
а) Каждый человек желает добродетели, потому что каждый человек желает счастья.
б) Раб – человек, потому его не следует держать в неволе.
в) Некоторые привычки заслуживают упрека, так как они превращаются во всепоглощающую страсть.
3. Выражают ли следующие силлогизмы энтимемы:
а) Тут раздался легкий свист, и Дубровский умолк.
б) Поскольку сопротивление было бесполезно, гарнизон крепости сдался.
в) Ввиду того, что войска Кутузова преградили путь на юг, армии Наполеона пришлось отступить по Смоленской дороге.
4. Восстановите, если возможно, полисиллогизмы:
а) Все пудинги вкусны.
Это блюдо – пудинг.
Ни одно вкусное блюдо не полезно.
б) Всякий, кто находится в здравом уме, может заниматься логикой.
Ни один лунатик не может быть присяжным заседателем.
Ни один из ваших сыновей не может заниматься логикой.
в) Все мои сыновья стройные.
Никто из моих детей не здоров, если он не делает зарядки.
Все обжоры среди моих детей страдают ожирением.
Ни одна из моих дочерей не делает зарядки.
5.Произведите логический анализ следующих соритов, восстановив входящие в них силлогизмы:
- Гражданин К., являясь лицом, которому преступлением причинен имущественный вред, признается потерпевшим.
- Лицо, которому преступлением причинен имущественный вред, признается потерпевшим.
Потерпевший вправе давать показания по делу.
Гражданин К. вправе давать показания по делу.
- Ответчик имеет право участвовать в исследовании доказательств в гражданском процессе.
- Ответчик признается стороной в гражданском процессе.
- Николаев – ответчик.
-Николаев причинил вред имуществу гражданина Сидорова.
Николаев имеет право участвовать в исследовании доказательств в данном гражданском процессе.
6.Сделайте заключение и проверьте состоятельность силлогизмов.
а) Все гусеницы едят капусту. Иванов ест капусту. Следовательно?
б) Учебные аудитории нуждаются в проветривании.
Эта комната не является учебной аудиторией. Следовательно?
в) Некоторые жидкости обладают приятным запахом.
Некоторые металлы - жидкости. Значит?
г) Ни один негр не был президентом США. Марк Твен не был негром. Значит?
д) Некоторые студенты любят петь. Сидоров - студент. Значит?
е) Картошка - не ананас. Все ананасы приятны на вкус. Значит?
ж) Супруги должны материально поддерживать друг друга.
М. и Н. материально поддерживают друг друга. Значит?
Тема: Сложное суждение: структура, проблема разрешимости
Занятие 12, 13.
Контрольные вопросы
1. Сложное суждение и его структура.
2. Алгоритм формализации суждений и таблица истинности.
Виды сложных суждений по типу логической связи.
Задания.
1. Формализуйте тексты:
а) Жарко, и идет дождь.
б) Идет дождь, но нельзя сказать, что жарко.
в) Дождь не идет, но не жарко.
г) Или я тебя не понимаю, или ты не хочешь меня понять.
д) Подальше положишь, поближе возьмешь.
е) То и полезно, что в рот полезло.
Занятие 14, 15
Контрольные вопросы:
1. Применимость логической формализации при анализе юридического текста.
2. Определение формулы логики высказываний. Тождественно-истинное, тождественно-ложное и логически нейтральные и выполнимые формулы.
3. Равносильность формул логики высказывания.
Задания:
1. Опровергните или докажите истинность суждения с помощью нормальной формы и подстановок:
1). Если «А» является участником преступления, то он знал потерпевшего. «А» не знал потерпевшего «В», но знал его жену –«С». «В» знал « А». Следовательно, «А» – не участник преступления.
2). С помощью нормальных форм определить, является ли формула А гипотезой для формулы В:
_ _
А= ((а \/ в) \/ с) В=(а ↔ (в \/ с) \/ с)
3). С помощью нормальных форм определить, является ли формула В логическим следствием множества формул А:
_ ____
В= (((а ↓ а) | а) ↓ а) А= {а, (с → а), (с /\ а ).}
4). Табличным способом обосновать или опровергнуть вывод:
а) Если мой приятель не выполняет обещаний, то я злюсь и вспоминаю о вреде курения. Обычно я курю с удовольствием. Значит, я вспоминаю о вреде курения, когда мой приятель не выполняет обещаний.
б) Федя съел медведя, если Кузя спал на заборе.
Либо Кузя спал на заборе, либо Федя съел медведя.
Значит, Федя съел медведя.
2. Установите, являются ли суждения равносильными (попарно):
а) Неверно, что Иван IV был зол по природе и не заботился об интересах государства, тогда и только тогда, когда Иван IV не был зол по природе или заботился об интересах государства.
б) Каждый студент этого факультета способен и трудолюбив.
Неверно, что на этом факультете имеются неспособные и нетрудолюбивые студенты.
Занятие 16.
1. Докажите или опровергните методом "от противного":
а) Уголовное дело может быть возбуждено только в тех случаях, когда имеются достаточные данные, указывающие на наличие состава преступления. Действия Х содержат такие признаки. Следовательно, уголовное дело против Х может быть возбуждено.
б) Если части предмета являются частями одного и того же предмета, то их рельеф совпадает. Рельеф данных частей предмета совпадает. Следовательно, они являются частями одного и того же предмета.
в) Если бухта замерзает, то корабли не могут входить в нее. Корабли не могут входить в нее. Следовательно, бухта замерзла.
г) Если приговор не обоснован, то он будет отменен. Данный приговор отменен. Следовательно, он не обоснован.
д) Если обвиняемый был у себя дома, то он не был на месте преступления. Но обвиняемый не был дома. Значит, он был на месте преступления.
е). Если «А» незаконно получил кредит, то он наказывается штрафом в размере от двухсот до пятисот минимальных размеров оплаты труда или лишением свободы на срок от двух до пяти месяцев. «А» получил кредит законно. Следовательно, он не будет лишен свободы на указанный срок.
Дата: 2019-02-25, просмотров: 538.