Контрольная работа: Дефініція та поділ понять

П. Нещодавно повернувся з місць позбавлення волі.

П. ніде не працює.

П. купує дорогі речі

Злочин було вчинено П.

Дане міркування побудовано способом відбору вихідного матеріалу, а саме методом неповної індукції – індукції переліком (популярна індукція)

7. Хто з підозрюваних А, В і С має тверде алібі, коли відомі такі обставини: 1)твердження про участь у вчиненні злочину А і В суперечать одне одному; 2) якщо до злочину причетний С, то цього досить для звинувачення А ( але не навпаки ); 3) алібі С є достатнім, але не необхідним для зняття звинувачення з В. Розв’язок подайте у формалізованому вигляді

Твердження про участь у вчиненні злочину А і В суперечать одне одному;

АÒ ùВ, ВÒ ùА

Якщо до злочину причетний С, то цього досить для звинувачення А ( але не навпаки )

С ÒА

Алібі С є достатнім, але не необхідним для зняття звинувачення з В

С ñ В

ñ – не необхідність

Виходячи із цих формалізованих обставин підозрювані А та С мають тверде алібі.

8. Чи правильні такі умовиводи?

_ _

а) А v В б) АÒ В в) АÒ В г) А v В

_ _

А А В В

------- ------- ------- -------

_ _ _ _

В В А А

Дані умовиводи будуть не правильними тому що вони не відносяться ані до стверджувальних модусів, ані до заперечних.

У стверджувальному модусі від істинності основи йдеться до істинності наслідку. Умовивід ґрунтується на положенні: ствердження основи веде до ствердження наслідку. У заперечному модусі робиться висновок від хибності наслідку до хибності основи. Умовивід ґрунтується на положенні: заперечення наслідку є запереченням основи. А у даних умовиводах жодного із положень не дотримано.

9. Побудуйте пряме доведення тези Т, виходячи з таких аргументів:

1) А (( В( С ); 2) А (( С; 3) ( В ( Т ; 4) С.

Доведення – це процес думки, що полягає в обґрунтуванні істинності якогось положення за допомогою інших положень, істинність котрих установлена раніше.

Будь-яке доведення складається із трьох частин: тези, аргументів (основи) і демонстрації (форми доказу). Тезою доказу називається положення, істинність якого треба довести. Аргументом (основою) називаються ті судження, які наводяться для доведення тези. Демонстрацією (формою доказу) називається спосіб логічного зв’язку тези з основою.

Доведімо тезу Т на основі таких аргументів: