Зачётная (экзаменационная) работа по логике, вариант 4, Югорск. Дать определение следующим понятиям: родитель, окно, прокурор.

Вариант № 4 1. Дать определение следующим понятиям: а) родитель Родитель - мужчина или женщина по отношению к своему ребенку (детям). Определяемое понятие - «родитель». Определяющее понятие - «мужчина или женщина по отношению к своему ребенку (детям)». В определяющем понятии род - «мужчина или женщина»; видовое отличие - «по отношению к своему ребенку (детям)». б) окно Окно - проём, специально создаваемый в ограждающих конструкциях здания в процессе строительства для освещения или вентиляции. Определяемое понятие - «окно». Определяющее понятие - «проём, специально создаваемый в ограждающих конструкциях здания в процессе строительства для освещения или вентиляции». В определяющем понятии род - «проем»; видовое отличие - «специально создаваемый в ограждающих конструкциях здания в процессе строительства для освещения или вентиляции». в) прокурор Прокурор – лицо, осуществляющее государственный надзор за точным исполнением законов. Определяемое понятие - «прокурор». Определяющее понятие - «лицо, осуществляющее государственный надзор за точным исполнением законов». В определяющем понятии род - «лицо»; видовое отличие - «осуществляющее государственный надзор за точным исполнением законов». 2. В следующих суждениях определить субъект, предикат и связку, а так же привести их к канонической форме: а) все модные пороки слывут добродетелями В канонической форме: Все модные пороки суть слывущие добродетелями. Субъект (S) - «модные пороки»; предикат (Р) – «слывущие добродетелями»; связка – суть. Суждение общеутвердительное (А). Все S суть Р (SaP). б) компьютеризация в промышленно-развитых странах породила новые виды преступлений В канонической форме: Компьютеризация в промышленно-развитых странах есть породившая новые виды преступлений. Субъект (S) - «компьютеризация в промышленно-развитых странах»; предикат (Р) – «породившая новые виды преступлений»; связка – есть. Суждение общеутвердительное (А). Все S суть Р (SaP). в) судьи несменяемы В канонической форме: Ни один судья не есть сменяем. Субъект (S) - «судьи»; предикат (Р) – «сменяемые»; связка – не есть. Суждение общеотрицательное (Е). Ни один S не есть Р (SеP). 3. Выделить в сложном суждении простые исходные суждения и привести сложное суждение к символической форме. а) я буду очень удивлен, если моя догадка не подтвердится Простые суждения: моя догадка не подтвердится - р; я буду очень удивлен - q. В символической форме: p → q. Данное суждение - импликация. б) ценные бумаги бывают предъявительскими, ордерными или именными Простые суждения: ценные бумаги бывают предъявительскими - р; ценные бумаги бывают ордерными - q; ценные бумаги бывают именными - r. В символической форме: p v q v r. Данное суждение - слабая дизъюнкция. в) курить - здоровью вредить Простые суждения: курить - р; здоровью вредить - q. В символической форме: p → q. Данное суждение - импликация.

ЗАЧЁТНАЯ (ЭКЗАМЕНАЦИОННАЯ) РАБОТА ПО ЛОГИКЕ
Вариант № 4
1. Дать определение следующим понятиям:
а) родитель
б) окно
в) прокурор
2. В следующих суждениях определить субъект, предикат и связку, а так же привести их к канонической форме:
а) все модные пороки слывут добродетелями
б) компьютеризация в промышленно-развитых странах породила новые виды преступлений
в) судьи несменяемы
3. Выделить в сложном суждении простые исходные суждения и привести сложное суждение к символической форме.
а) я буду очень удивлен, если моя догадка не подтвердится
б) ценные бумаги бывают предъявительскими, ордерными или именными
в) курить - здоровью вредить
4. Построить таблицы истинности для следующих сложных суждений, представленных в символической форме:
а) а → ((а → b) v a)
б) a → (b → (c v (a ^ b)))
в) ((b → a) ^ c) ↔ ((b ^ c) ↔ a)
5. Сделать вывод посредством превращения из следующих посылок:
а) не все преступления являются умышленными
б) ни одна захватническая война не бывает справедливой
в) некоторые предприятия рентабельны
6. Сделать вывод посредством обращения из следующих посылок:
а) не все преступления являются умышленными
б) ни одна захватническая война не бывает справедливой
в) некоторые предприятия рентабельны
7. Сделать вывод посредством противопоставления предикату из следующих посылок:
а) не все преступления являются умышленными
б) ни одна захватническая война не бывает справедливой
в) некоторые предприятия рентабельны
8. Сделать вывод по правилам простого категорического силлогизма (если это возможно) из следующих посылок. Если вывод сделать невозможно – указать причину.
а) Джон трудолюбив. Ни один трудолюбивый человек не является несчастным.
б) Те, кто сохраняет самообладание не вспыльчивы. Некоторые судьи вспыльчивы.
в) Некоторые уроки трудны. То, что трудно, требует особого внимания.

1. Гетманова А. Д. Логика для юристов. - М., 2005.
2. Ивин А. А. Логика для журналистов: учебное пособие. - М., 2002.
3. Ивлев Ю. В. Логика: учебник для юристов. - М., 2001.
4. Солодухин О. А. Логика. - Ростов-на-Дону, 2000.