Логіка контрольна 5

домалювати в таблиці і чірочкі над літерами на с.3і 4 не пропечативаются і проставити (файл - сужденія2.док)

Контрольна робота з логіки

2 варіант

ЗМІСТ

1. Виконано операцій Узагальнення та ОБМЕЖЕННЯ три поняття, обраної Вами.
1
2. Наведіть приклади простих суджень видів А, Е, I, O, розкрийте їхлогічну структуру, відносини між термінами зобразите за допомогою кіл
Ейлера (по одному судженню на кожен вид). 2
3. У художній, науковій, публіцистичній літературі підберіть прикладиі зробіть їх символічну запис, визначте модус. 3
4. Підберіть чотири тези, доведіть їх, використовуючи кожен з двох видівспособів докази. Пряме доказ. 5
Непрямий доказ (внутрішньо суперечливі слідства). 7
Непрямий доказ (розділову доказ). 9

1. Виконайте операції узагальнення і обмеження трьох понять, обраних вами.

Обмеження - логічна операція переходу від родового поняття до; крадіжка з незаконним проникненням у житло, приміщення або інше сховище.

> Інструкція логіки; новий підручник логіки; новий підручник логіки для

ВНЗ; новий підручник логіки для ВУЗів А.Д. Гетьмановою.

Узагальнення - логічна операція, зворотній обмеження, колиздійснюється перехід від видового поняття до родового шляхом відкидання відперша його відообразующего ознаки або ознак:

> Поет, літератор; творча особистість; особистість.

> Викрадення; злочин проти особи; злочин; порушення закону.

> Інструкція логіки; підручник; книга; друкована продукція.

2. Наведіть приклади простих суджень видів А, Е, I, O, розкрийте їх логічну структуру, відносини між термінами зобразите за допомогою кіл

Ейлера (по одному судженню на кожен вид).

а) суто умовного умовиводу;

«Правильно внесені добрива різко підвищують врожайність, щопризводить до значного зниження собівартості продукції ». (М. С. Мічурін)

Якщо правильно внести добрива, то врожай підвищиться.

Якщо урожай підвищиться, то собівартість продукції стане нижче. л

Якщо правильно внести добрива, то собівартість продукції станенижче.

((А (В) ^ (B (C)) ((A (C). Тут модус що затверджує. б) умовно-категоричного;

«... Той мерзок, хто лютує, якщо чужий він доблесті свідок »(Данте
Аліг'єрі).

умовивід побудовано так:
Якщо людина при вигляді чужої доблесті лютує, то він гидота.
Ця людина не є огидним. п
Ця людина, побачивши чужої доблесті НЕ лютує.

Якщо А, то C

Не - C р

Не - А

( А (C) ^? (В. Тут модус заперечує. в) розділової-категоричного;

«Коли мені стало ясно, що в кімнату неможливо проникнути ні черездвері, ні через вікно, ... мою увагу одразу привернули вентилятор і шнур віддзвінка, що висить над ліжком. Коли виявилося, що дзвінок фальшивий ...мені відразу прийшла думка про змії ». (оповідання А. Конан Дойла «Строката стрічка »).

розділової-категоричне умовивід було побудовано Ш. Холмсомтаким чином:

мешканців кімнати загрожувала небезпека проникнення в кімнату або черездвері, або через вікно, або через вентилятор.

До кімнати неможливо проникнути ні через двері, ні через вікно. л

До кімнати можна проникнути через вентилятор.

((А v В) ^?) (B. Тут модус отріцающе-який стверджує. г) умовно-роздільник умовиводи,

«Я не одружуся з Робертс, інакше мене чекає нудне існування і длямене наступить повний крах. Я цього не хочу ». (роман Т. Драйзера
«Американська трагедія »).

Головний герой Клайд міркував так:

Якщо я одружуся з Робертс (А), то мене чекає нудне існування (В) ідля мене настане повний крах (С).

Я не хочу тягнути нудне існування (В) чи зазнати повного краху
(?). k

Я не одружуся з Робертс (В).

((А ((У ^ С)) ^ (У v?) (В.

4. Підберіть чотири тези, доведіть їх, використовуючи кожен з двох видівспособів докази. Пряме доказ.

При прямому доведенні завдання полягає в тому, щоб підшукати такіпереконливі аргументи, з яких по логічним правилам виходить тезу.

Доведемо теза про те, що сума кутів чотирикутника дорівнює 360 °.

Наголошуємо, що діагональ ділить чотирикутник на два трикутники.
Отже, сума його кутів дорівнює сумі кутів двох трикутників. Відомо, щосума кутів трикутника становить 180 °. З таких положень виводимо, щосума кутів чотирикутника дорівнює 360 °.

У побудові прямого доказу можна виділити два пов'язаних міжсобою етапи: відшукання тих, визнаних обгрунтованими тверджень, якіздатні бути переконливими аргументами для що доводиться положення;встановлення логічного зв'язку між знайденими аргументами і тезою.
Нерідко перший етап вважається підготовчим і під доказомрозуміється дедукція, що зв'язує підібрані аргументи і доводимотезу.

Непрямий доказ (слідства, які суперечать фактами).

Найчастіше хибність антитези вдається встановити простимзіставленням що випливають з нього наслідків з фактами.

Друг винахідника парової машини Д. Уатта шотландський вчений Д. Блекввів поняття про приховану теплоту плавлення і випаровування, важливе для розумінняроботи такої машини. Блек, спостерігаючи звичайне явище - танення снігу в кінцізими, міркував так: якщо б сніг, що накопичився за зиму, танув відразу, яктільки температура повітря стала вище нуля, то неминучими були бспустошливі повені, а якщо цього не відбувається, значить, на таненняснігу має бути витрачено певну кількість теплоти. Її Блек іназвав прихованою.

Це - непрямий доказ. Слідство антитези, а значить, і вінсам, спростовується посиланням на очевидну обставину: в кінці зимиповеней звичайно немає, сніг тане поступово.

Непрямий доказ (внутрішньо суперечливі слідства).

За логічного закону несуперечливий одне з двох суперечливихдругу тверджень є помилковим. Тому, якщо в числі наслідків якого -якого положення зустрілися і затвердження і заперечення одного і того ж,можна відразу ж зробити висновок, що це положення неправдою.

Доведемо тезу, що ряд простих чисел нескінченний.

Прості - це натуральні числа більше одиниці, що діляться тільки насебе і на одиницю. Прості числа - це як би «первинні елементи», наякі всі цілі числа (більше 1) можуть бути розкладені. Природноприпустити, що ряд простих чисел:

2, 3, 5, 7, 11,13, ... - Нескінченний. Для доказу даної тезиприпустимо, що це не так, і подивимося, до чого веде таке допущення. Якщоряд простих чисел кінцевий, існує останнє просте число ряду - А.
Утворити далі інше число: В = (2 • 3 • 5 • ... • А) + 1. Число У більше
А, тому В не може бути простим числом. Отже, В має ділитися напросте число. Але якщо У розділити на будь-яке з чисел 2, 3, 5, .... А, то взалишок вийде 1. Отже, В не ділиться ні на одне із зазначенихпростих чисел і є, таким чином, простим. У результаті, виходячи зприпущення, що існує останнє просте число, ми прийшли допротиріччя: існує число одночасно і просте, і не єпростим. Це означає, що зроблене припущення помилково і правильнопротилежне твердження: ряд простих чисел нескінченний.

У цьому непрямому доказі з антитези виводиться логічнепротиріччя, що прямо говорить про хибність антитези і відповідно проістинності тези. Такого роду доказу широко використовуються вматематики.

Непрямий доказ (розділову доказ).

У всіх розглянутих вище непрямих доказах висуваються двіальтернативи: теза й антитеза. Потім показується хибність останнього, впідсумку залишається тільки тезу.

Можна не обмежувати число прийнятих до уваги можливостейтільки двома. Це призведе до так званого роздільним непрямимдоказу, або доведення через виключення. Воно застосовується в тихвипадках, коли відомо, що доводить тезу входить до числа альтернатив,повністю вичерпних всі можливі альтернативи цій галузі.

Доведемо теза про те, що з усіх планет у Сонячній системі життя єтільки на Землі. В якості можливих альтернатив висунемо твердження, щожиття є на Меркурії, Венери, Землі і так далі, перераховуючи всі планети
Сонячної системи. Спростовуючи потім всі альтернативи, крім однієї --що говорить про наявність життя на Землі, отримаємо доказ вихідноготези.

ЛІТЕРАТУРА

1. Арно А., Николь П. Логіка, або Мистецтво мислити, М,: Наука, 1981.
2. Гарднер М. А ну-ка, догадайся! М.: Світ, 1984.
3. Горський Д.П., Івін А.А., Никифоров А.Л. Короткий словник по логіці. М,:

Просвещение, 1991.
4. Івін А, А. Мистецтво правильно мислити. М,: Просвещение, 1991.
5. Івін О. О., За законами логіки. М., 1983.
6. Кириллов В. І. Вправи за логікою, М,, 1994.
7. Ковальські Р. Логіка у вирішенні проблем, М.: Наука, 1991.
8. Поварнин С. І. Мистецтво суперечки. М., 1995.
-----------------------