ЛОГ(ПР№3)Гаврилюк Олена ТТ35
.docxГаврилюк Олена ТТ35
Практична №3 (лог)
1. Являются ли логически эквивалентными следующие пары
суждений?
а) A V B и A Λ B; (да, 1) образует логическую связку дизъюнкции, а 2) образует логическую связку конъюнкции; значит, что в первом случае не строгая дизъюнкция истинна тогда, когда хотя бы одно простое суждение истинно., а во втором случае истинны оба простых суждения)
б) A → B и A Λ B; (да, если импликация только не затрагивает случай, когда А истинно, а В ложно)
в) A Λ B и A V B; (да)
2. Определите вид модальности в следующих суждениях:
а) Я убежден, что свидетель заблуждается. (Эпистемическая модальность, суждения, основанные на знании.)
б) Я считаю, что обвиняемый неверно описывает обстоятельства преступления. (Алетическая модальность, проблематические суждения или суждения о возможности чего-либо.)
в) Кислород необходим для поддержания жизни. (Алетическая модальность, ассерторические суждения или суждения о реальном факте)
3. Докажите, являются ли законами логики следующие формулы:
а ((а → в) Λ в) → а; (да, так как (а → в) - импликация и она «слабее» конъюнкции, а значит порядок выполнения логической операции правильный)
б) ((а → в) Λ (а → е) Λ (в V c)) → a; (да)
в) ((а → (в Λ с)) Λ (в V c)) → а; (нет)
4. Правильно ли построены следующие силлогизмы?
а) Все рыбы дышат жабрами. Кашалот не дышит жабрами. Следовательно, кашалот не рыба. (Да, термин «жабры» — это общий термин для двух посылок и он помогает связать термины «кашалот» и «существа способные/неспособные дышать жабрами.»)
б) Мысль — это движение. Движение есть свойство всей материи. Значит, мысль есть свойство всей материи. (Да, термин «движение» — это общий термин для двух посылок и он помогает связать термины «мысль» и понятие «свойство всей материи»)
в) Логика изучает формы и законы правильного мышления. Учение о понятии есть часть логики. Следовательно, оно изучает законы и формы правильного мышления. (Нет, так как нарушена последовательность и силлогизм не может существовать.)