ЛОГ(ПР№3)Гаврилюк Олена ТТ35

Гаврилюк Олена ТТ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. Правильно ли построены следующие силлогизмы?

а) Все рыбы дышат жабрами. Кашалот не дышит жабрами. Следовательно, кашалот не рыба. (Да, термин «жабры» — это общий термин для двух посылок и он помогает связать термины «кашалот» и «существа способные/неспособные дышать жабрами.»)

б) Мысль — это движение. Движение есть свойство всей материи. Значит, мысль есть свойство всей материи. (Да, термин «движение» — это общий термин для двух посылок и он помогает связать термины «мысль» и понятие «свойство всей материи»)

в) Логика изучает формы и законы правильного мышления. Учение о понятии есть часть логики. Следовательно, оно изучает законы и формы правильного мышления. (Нет, так как нарушена последовательность и силлогизм не может существовать.)