Контрольная работа: Логика 8 задач

План работы:

1. Дать определение следующим понятиям: а) судья; б) книга; в) магазин
2. В следующих суждениях определить субъект, предикат и связку, а так же привести их к канонической форме: а) не все званые избранны; б) Ярославль южнее Вологды; в) нет адъютанта без аксельбанта
3. Выделить в сложном суждении простые исходные суждения и привести сложное суждение к символической форме: а) познания путь и долог и тяжёл; б) мал золотник, да дорог; в) в судебном заседании прокурор либо поддерживает обвинение, либо отказывается от него
4. Построить таблицы истинности для следующих сложных суждений, представленных в символической форме: а) ((а → b)/\ а) → b; б) (а /\ b)→(b \/ с); в) (а \/ b) →(с → b)
5. Сделать вывод посредством превращения из следующих посылок: а) некоторые грибы ядовиты; б) ни один приговор суда не должен быть необоснованным; в) не все юристы адвокаты
6. Сделать вывод посредством обращения из следующих посылок: а) некоторые грибы ядовиты; б) ни один приговор суда не должен быть необоснованным; в) не все юристы адвокаты
7. Сделать вывод посредством противопоставления предикату из следующих посылок: а) некоторые грибы ядовиты; б) ни один приговор суда не должен быть необоснованным; в) не все юристы адвокаты
8. Сделать вывод по правилам простого категорического силлогизма (если это возможно) из следующих посылок. Если вывод сделать невозможно - указать причину. а) конфеты сладкие. Все сладости очень нравятся детям; б) в некоторые праздничные дни идут дожди. Дожди навевают тоску; в) ни один старый скряга не жизнерадостный. Некоторые старые скряги тощие
Список литературы