Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Логіка МКР 2 НУДПСУ.docx
Скачиваний:
0
Добавлен:
01.04.2025
Размер:
100.38 Кб
Скачать

Варіант № 1

Тести:

А. Вкажіть, до якого виду умовиводу відноситься наступна схема:

1.~АВ

2. ~В

3. А

  1. повної індукції;

  2. розділово-умовних;

  3. ентимем;

  4. умовно-категоричних;

  5. розділово-категоричних.

Б. Визначте, вимоги якого формально-логічного закону порушені в наведеному нижче доведенні:

Теза: Четверта планета від Сонця є богом війни римської міфології. Аргументи: 1) Марс є четвертою планетою від сонця (істина) і 2) Марс є богом війни римської міфології (істина).

    1. достатньої підстави;

    2. виключеного третього;

    3. заборони суперечності;

    4. тотожності;

    5. закони логіки не порушено.

Теоретичні питання (проілюструйте відповіді прикладами):

1. Безпосередні умовиводи на основі відношень між судженнями за логічним квадратом.

2. Основні закони логіки.

Практичні завдання:

1. Побудуйте безпосередні умовиводи за логічним квадратом на основі відношень контрадикторності (суперечності), контрарності (протилежності) та субординації (підкорення) (по 2 приклади умовиводів на кожний вид відношень):

 із істинного атрибутивного загальнозаперечного (виду Е) судження-засновку

2. Вирішіть наступні складні судження методом таблиць істинності, вкажіть до якого виду вони відносяться (тавтологій (завжди істинних), суперечностей (завжди хибних) чи виконуваних (можуть бути як істинними, так и хибними):

 (В~В)(А~А);

 (А~В)(А~В)

Варіант № 2

Тести:

А. Вкажіть вид умовиводу:

1. Якщо наступний місяць січень, то зараз триває місяць грудень.

2. Невірно, що зараз триває грудень.

3. Невірно, що наступний місяць січень.

  1. розділово-категоричний;

  2. безпосередній дедуктивний за логічним квадратом;

  3. простий категоричний силогізм (ПКС);

  4. умовно-категоричний;

  5. аналогія відношень.

Б. Під законами логіки в сучасній логіці висловлювань мають на увазі судження, які:

  1. є безпосередньо очевидними;

  2. є завжди хибними (логічні суперечності);

  3. можуть бути істинними або хибними (виконувані);

  4. утворюються внаслідок класифікації понять;

  5. є завжди істинними (логічні тавтології).

Теоретичні питання (проілюструйте відповіді прикладами):

1. Розділово-категоричні умовиводи.

2. Прямі доведення.

Практичні завдання:

1. Побудуйте безпосередні умовиводи за логічним квадратом на основі відношень контрадикторності (суперечності), контрарності (протилежності) та субординації (підкорення) (по 2 приклади умовиводів на кожний вид відношень):

 із істинного атрибутивного загальностверджувального (виду А) судження-засновку

2. Вирішіть наступні складні судження методом таблиць істинності, вкажіть до якого виду вони відносяться: тавтологій (завжди істинних), суперечностей (завжди хибних) чи виконуваних):

 (А~А)(В~В)

 (ВА)(~АВ)

Варіант № 3

Тести:

А. Вкажіть, який закон логіки застосований в наведеному нижче твердженні: «Я склав екзамен з математики на відмінно дякуючи акуратному відвідуванню занять, систематичній самостійній роботі над курсом, активній участі у семінарських і практичних заняттях».

  1. заборони суперечності;

  2. тотожності;

  3. виключеного третього;

  4. достатньої підстави;

  5. комутативності.

Б. Вкажіть вид умовиводу у наступному логічному міркуванні: «Якщо вірно, що 54, то також вірно, що 4 5» або у вигляді схеми:

5 4

4 5

  1. безпосередній із простого релятивного судження;

  2. аналогія відношень;

  3. повна індукція;

  4. простий категоричний силогізм;

  5. безпосередній за логічним квадратом.

Теоретичні питання (проілюструйте відповіді прикладами):

1. Розділово-умовні умовиводи.

2. Структурні компоненти доведення: теза, аргументи, спосіб доведення.

Практичні завдання:

1. Побудуйте безпосередні умовиводи за логічним квадратом на основі відношень контрадикторності (суперечності) та субконтрарності (підпротилежності) (по 2 приклади умовиводів на кожний вид відношень):

 із істинного та хибного атрибутивного частковостверджувального (виду І) судження-засновку

Вирішіть наступні складні судження методом таблиць істинності, вкажіть до якого виду вони відносяться: тавтологій (завжди істинних), суперечностей (завжди хибних) чи виконуваних):

 (В~В)(А~А)

А(~В~АА)

Варіант № 4

Тести:

А. Вкажіть вид умовиводу:

1. Всі ссавці - живі істоти.

2. Всі кити - ссавці.

3. Всі кити - живі істоти.

4. Всі косатки - кити.

5. Всі косатки - живі істоти.

  1. простий категоричний силогізм (ПКС);

  2. безпосередній дедуктивний за логічним квадратом;

  3. складний категоричний силогізм (полісилогізм);

  4. ентимема;

  5. епіхейрема.

Б. Теза – це:

  1. завжди істинне судження (тавтологія);

  2. фіксована певним чином (наприклад, завдяки фотозйомці) подія; яку можливо використовувати у якості аргументу під час доведення;

  3. певне положення істинність або хибність якого обґрунтовується в доведенні;

  4. предмет дійсності, що фіксується органами чуттів;

  1. парадоксальне судження науки, яке обґрунтовується в доведенні.

Теоретичні питання (проілюструйте відповіді прикладами):

1. Специфіка ентимеми та епіхейреми.

2. Апагогічні доведення.

Практичні завдання:

1. Побудуйте безпосередні умовиводи за логічним квадратом на основі відношень контрадикторності (суперечності) та субконтрарності (підпротилежності) (по 2 приклади умовиводів на кожний вид відношень):

 із істинного і хибного атрибутивного частковозаперечного (виду О) судження-засновку

2. Вирішіть наступні складні судження методом таблиць істинності, вкажіть до якого виду вони відносяться (тавтологій (завжди істинних), суперечностей (завжди хибних) чи виконуваних):

 (~ВВ)(А~А)

 (А~А)(В~В)

Варіант № 5

Тести:

А. Вкажіть, яке правило логіки, що випливає із закону логіки, порушується в наведеному нижче прикладі: «Студент Леонід Петренко спочатку стверджував, що він здав літню сесію успішно, дякуючи допомозі при підготовці до іспитів, яку йому надавав студент Юрій Овадчук. Потім він запевняв, що здав би літню сесію і без допомоги Юрія Овадчука».

  1. те, що випливає із закону тотожності;

  2. те, що випливає із закону заборони суперечності;

  3. те, що випливає із закону виключеного третього;

  4. те, що випливає із закону достатньої підстави;

правило логіки не порушується.

Б. Вкажіть вид умовиводу в такому логічному міркуванні:

1. «Література в нашому суспільстві - засіб виховання народу.

2. Театр в нашому суспільстві - засіб виховання народу.

3. Музика також є в нашому суспільстві засобом виховання народу.

4. Література, театр, музика - це види мистецтва, проте існують й інші його види.

5. Будь-яке мистецтво в нашому суспільстві є засобом виховання народу».

1. неповна індукція;

2. умовно-категоричний;

3. простий категоричний силогізм;

4. полісилогізм;

5. аналогія відношень.

Теоретичні питання (проілюструйте відповіді прикладами):

1. Простий категоричний силогізм (ПКС).

2. Логічна характеристика спростування.

Практичні завдання:

1. Вирішіть наступні складні судження методом таблиць істинності, вкажіть до якого виду вони відносяться (тавтологій (завжди істинних), суперечностей (завжди хибних) чи виконуваних):

 (АВ)( ~В~А)

 (~А~В~А)ВАВ)

2. Наведіть 2 приклади міркувань (по 1 прикладу на кожну схему), які б відповідали схемам:

 повної індукції

S1 є P

  1. S2 є P

.........................

n) Sn є Р

S1, S2... Sn (1n∞), де n – загальна кількість предметів множини

Всі S є Р

 четвертої фігури modus ponens

1 ~А~В

2

3 ~В

Варіант № 6

Тести:

А. Вкажіть вид фігури у наступному міркуванні, яке має форму простого категоричного силогізму (ПКС):

  1. Всі комп’ютери є машинами.

  2. Жодна рослина не є машиною.

  3. Жодна рослина не є комп’ютером.

  1. третя фігура ПКС;

  2. перша фігура ПКС;

  3. друга фігура ПКС;

  4. четверта фігура ПКС;

  5. фігуру встановити неможливо.

Б. Апагогічне доведення – це:

  1. пряме доведення (в якому відразу підтверджується) істинність тези;

  2. неправильне (помилкове) доведення;

  3. непряме доведення (таке, що «відводить у бік»), в якому істинність тези доводиться шляхом підтвердження хибності антитези;

  4. доведення, в якому для підтвердження істинності тези використовують винятково парадоксальні судження;

  5. доведення, в якому порушуються закони логіки.

Теоретичні питання (проілюструйте відповіді прикладами):

1. Логічна характеристика індукції як виду недедуктивних умовиводів.

2. Правила доведення та наслідки, до яких призводить порушення цих правил.

Практичні завдання:

1. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться:

 (АВ)(В~А)

 (A(AB))A

2. Наведіть 2 приклади міркувань (по одному прикладу на схему), які б відповідали наступним схемам:

 четвертої фігури modus tollens

1. ~А~В

2. В

3. А

 складної конструктивної дилеми

  1. АВ

  2. АС

  3. ВD

  4. СD

Варіант № 7

Тести:

А. Вкажіть, до якого виду умовиводів відноситься наступна схема:

  1. А В

  2. А С

  3. В D

  4. С D

  1. розділово-категоричних;

  2. умовно-категоричних;

  3. аналогії властивостей;

  4. розділово-умовних;

  5. простих категоричних силогізмів.

Б. Вкажіть, який формально-логічний закон представлений наступною формулою: ~(АВ)(~А~В)

  1. перший закон де Моргана;

  2. закон асоціативності для диз’юнкції;

  3. перший закон складної контрапозиції;

  4. виключеного третього;

  5. третій закон простої контрапозиції.

Теоретичні питання (проілюструйте відповіді прикладами):

1. Умовно-категоричні умовиводи.

2. Логічна характеристика доведення.

Практичні завдання:

1. Побудуйте безпосередні умовиводи на основі відношень за логічним квадратом (наведіть по 2 приклади умовиводів на кожне відношення):

 із істинного атрибутивного загальностверджувального (виду А) судження-засновку на основі відношень протилежності (контрарності) і субординації (підкорення)

 із хибного атрибутивного загальнозапечного (виду Е) судження-засновку на основі відношення суперечності (контрадикторності)

2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться:

 (AA)A

 (А~В)(А~В)

Варіант № 8

Тести:

А. Вкажіть, до якого виду умовиводу (силогізму) відноситься наступна схема:

  1. ~А~В

  2. СА

  3. DB

  4. ~C~D

  1. аналогії відношень;

  2. розділово-умовних;

  3. простого категоричного силогізму;

  4. умовно-категоричних;

  5. 5.розділово-категоричних.

Б. Дана наступна формула: «А1 А2 ... Аn T», вкажіть, що в цій формулі позначає символ «»?

  1. строгу диз’юнкцію між аргументами і тезою;

  2. матеріальну імплікацію між аргументами і тезою;

  3. кон’юнкцію між аргументами;

  4. відношення логічного наслідку між аргументами і тезою;

  5. заперечення логічного наслідку між аргументами і тезою.

Теоретичні питання (проілюструйте відповіді прикладами):

1. Специфіка полісилогізму та сориту.

2. Логічна характеристика спростування.

Практичні завдання:

1. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться:

(A(BC))((AB)(AC))

 (А~В)(В~А)

№ 2. Наведіть 2 приклади міркувань (по 1 прикладу на кожну схему), які б відповідали схемам:

 третьої фігури modus tollens

1. ~АВ

2.

3. А

 modus ponendo tollens розділово-категоричного умовиводу

1. АВСD

2. А

3. ~В~С~D

Варіант № 9

Тести

А. Вкажіть вид умовиводу у наступному логічному міркуванні:

«1. Всі студенти НУ ДПСУ мають добре навчатися, для того щоб отримати диплом.

2. Яворська — студентка НУ ДПСУ.

3. Петренко має добре навчатися, для того щоб отримати диплом».

  1. повна індукція;

  2. безпосередній дедуктивний за логічним квадратом;

  3. простий категоричний силогізм;

  4. умовно-категоричний;

аналогія властивостей.

Б. У п’єсі А. Чехова «Три сестри» сперечаються між собою персонажі: Солоний і лікар. Солоний каже, що чехартма - це баранина, а лікар доводить, що черемша - це цибуля. Обидва гарячкують, майже не слухають один одного, наполягають на своєму і не можуть дійти згоди. Який закон логіки вони порушують?

  1. тотожності;

  2. заборони суперечності;

  3. виключеного третього;

  4. достатньої підстави;

  5. закони не порушено.

Теоретичні питання (проілюструйте відповіді прикладами):

1. Логічна характеристика аналогії як виду недедуктивних умовиводів.

2. Специфіка основних видів доведень.

Практичні завдання:

1. Розкрийте структуру наступного міркування, яке відповідає правильному модусу простого категоричного силогізму (ПКС) і встановіть вид модусу:

 1. Всі крокодили – земноводні.

2. Деякі тварини – крокодили.

3. Деякі тварини – земноводні.

2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться:

 (A(BА))((A~А)(AВ))

 (А~В)~А~В)

Варіант № 10

Тести:

А. Вкажіть, до якого виду умовиводу відноситься наступна схема:

  1. S1єР

  2. S2 є Р

……………

т.) Sт є Р

S1,...S2, ... Sm, ... Sn (1≤т<п), де п є загальною кількістю предметів множини

Всі S є Р

  1. неповної індукції;

  2. умовно-категоричних;

  3. ентимем;

  4. розділово-категоричних;

  5. розділово-умовних.

Б. Аргументи – це:

  1. логічні суперечності;

  2. вид понять, в обсягах яких узагальнюється більше одного предмета;

  3. положення, істинність яких обґрунтовується в процесі доведення;

  4. структурний компонент суджень;

  5. положення, з яких виводиться істинність або хибність тези.

Теоретичні питання (проілюструйте відповіді прикладами):

1. Епіхейреми, ентимеми, полісилогізми, сорити.

2. Апагогічні доведення.

Практичні завдання:

1. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться:

 (А~А)(В~В)

 (A(B~А))((AB)~В)

3 Наведіть 2 приклади міркувань (по одному прикладу на схему), які б відповідали схемам:

 складної деструктивної дилеми

  1. ~А~В

  2. СА

  3. DВ

  4. ~С~D

 другої фігури modus tollens

1. А~В

2. В

3. ~А

Варіант № 11

Тести:

А. Вкажіть, до якого виду умовиводу відноситься наступна схема:

  1. А В С D

  2. D

  1. розділово-умовних;

  2. аналогії відношень;

  3. умовно-категоричних;

  4. розділово-категоричних;

  5. складних категоричних (полісилогізмів).

Б. Яка логічна формула відображає закон виключеного третього?:

  1. ~~АА

  2. A(AB)A

  3. А

  4. ~(А~А)

  5. ABBA

Теоретичні питання (проілюструйте відповіді прикладами):

1. Безпосередні умовиводи за допомогою логічних операцій над простими судженнями.

2. Структурні компоненти доведень.

Практичні завдання:

1. Розкрийте структуру наступного міркування, яке відповідає правильному модусу простого категоричного силогізму (ПКС) і встановіть вид модусу:

1. Всі мавпи - не плазуни.

2. Всі мавпи - примати.

3. Деякі примати – не плазуни.

2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться:

 (А~В)(В~А)

 АВ~А)(~АВ)

Варіант № 12

Тести:

А. Вкажіть, до якого виду умовиводів відноситься наступна схема:

  1. А В С

  2. А D

  3. В D

  4. С M

  5. D M

  1. дилем;

  2. полілем;

  3. трилем;

  4. умовно-категоричних;

  5. простих категоричних силогізмів.

Б. Яка логічна формула відображає закон заборони суперечності?:

  1. ~(А~А)

  2. А~А

  3. A(AB)A

  4. А

  5. АА

Теоретичні питання (проілюструйте відповіді прикладами):

1. Безпосередні умовиводи на основі відношень між простими судженнями.

2. Логічна характеристика спростування.

Практичні завдання:

1. Наведіть приклади міркувань (по одному прикладу на модус), які б відповідали наступним модусам простого категоричного силогізму (ПКС). Вкажіть їх схеми, а також зазначте, який з цих модусів є правильним, а який неправильним:

 ОАО 1

 АЕО 4

2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться:

 (А~А)(В~В)

 (AA)A

Варіант № 13

Тести:

А. Вкажіть вид умовиводу у наступному логічному міркуванні:

«Всі грабіжники є злочинцями (істина),

деякі грабіжники не є злочинцями (хиба)».

  1. умовно-категоричний;

  2. аналогія властивостей;

  3. повна індукція;

  4. простий категоричний силогізм;

  5. безпосередній за логічним квадратом.

Б. Яка логічна формула відображає закон тотожності?:

  1. ~(AB)~A~B

  2. АА

  3. А~А

  4. A(AB)A

  5. А

Теоретичні питання (проілюструйте відповіді прикладами):

1. Логічна характеристика умовиводу як форми мислення.

2. Прямі і непрямі доведення.

Практичні завдання:

1. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться:

 (~(AB))(~A~B)

 (~А~ВВ)АB~А)

2. Наведіть 2 приклади міркувань (по 1 на кожну схему), які б відповідали схемам:

 аналогії властивостей

Предмет S1 має ознаки: a, b, c, d.

Предмет S2 має ознаки: a, b, c.

Ймовірно, що предмет S2 має ознаку d.

 простої деструктивної дилеми

  1. ~А~В

  2. СА

  3. СВ

Варіант № 14

Тести:

А. Вкажіть до якого виводу умовиводів належить наведена нижче схема:

  1. ~А~В

  2. СА

  3. DВ

  4. ~D

  1. дилем;

  2. полілем;

  3. трилем;

  4. умовно-категоричних;

  5. простих категоричних силогізмів.

Б. Яка логічна формула відображає закон контрапозиції?:

  1. АА

  2. (A→B)(~B→~A)

  3. A(AB)A

  4. ~(AB)~A~B

  5. А

Теоретичні питання (проілюструйте відповіді прикладами):

Логічні операції над судженнями.

Практичні завдання:

1. Наведіть приклади міркувань (по одному прикладу на кожний вид), які б мали вигляд:

 ентимеми,

 епіхейреми,

 полісилогізму,

 сориту

2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться:

 (A(B~А))((AB)~В)

 ((ВА)(~АВ))~A

Варіант № 15

Тести:

А. Умовивід - це:

  1. одна з форм емпіричного відображення дійсності;

  2. одна з форм абстрактного мислення людини;

  3. слово, в якому фіксуються ознаки предметів;

  4. множина предметів дійсності;

  5. один з методів пізнання дійсності.

Б. Яка логічна формула відображає один з законів де Моргана?:

  1. А

  2. A(AB)A

  3. A(AB)A

  4. ~(AB)~A~B

  5. АА

Теоретичні питання (проілюструйте відповіді прикладами):

1. Логічна характеристика основних видів умовиводів.

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

Практичні завдання:

1. Наведіть приклади міркувань (по одному прикладу на модус), які б відповідали наступним модусам простого категоричного силогізму (ПКС). Вкажіть їх схеми, а також зазначте, який з цих модусів є правильним, а який неправильним:

 АЕЕ 2;

 ІАО 4

2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться:

 (AB)(BA)

 (В~В)(А~А)

Варіант № 16

Тести:

А. Вкажіть, до якої фігури умовно-категоричних умовиводів відноситься наступна схема:

1. ~АВ

2.

3. В

  1. 1 фігури modus ponens;

  2. 2 фігури modus tollens;

  3. 3 фігура modus ponens;

  4. 4 фігура modus ponens;

  5. 1 фігура modus tollens.

Б. Яка логічна формула відображає один з законів ідемподентності?:

  1. ~(AB)~A~B

  2. ~(А~А)

  3. А~А

  4. A(AB)A

  5. AAA

Теоретичні питання (проілюструйте відповіді прикладами):

1. Логічна характеристика законів логіки.

2. Апагогічне доведення.

Практичні завдання:

1. Наведіть приклади міркувань (по одному прикладу на кожний вид), які б мали вигляд:

 ентимеми,

 епіхейреми,

 полісилогізму,

 сориту

2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться:

 (~ВВ)(А~А)

 (A→B)(~B→~A)

Варіант № 17

Тести:

А. Вкажіть, до якої фігури умовно-категоричних умовиводів відноситься наступна схема:

1 А~В

2 А

3. ~В

  1. 3 фігури modus ponens;

  2. 2 фігури modus tollens;

  3. 2 фігура modus ponens;

  4. 4 фігура modus tollens;

  5. 1 фігура modus ponens.

Б. Яка логічна формула відображає один з законів асоціативності?:

  1. A(BC)(AB)C

  2. AAA

  3. А~А

  4. A(AB)A

  5. A(BC)(AB)(AC)

Теоретичні питання (проілюструйте відповіді прикладами):

1. Види безпосередніх умовиводів.

2. Основні структурні компоненти доведень.

Практичні завдання:

1. А) За допомогою логічної операції протиставлення суб’єкту побудуйте безпосередні умовиводи з наступних суджень:

 «Деякі кішки є ягуарами»;

«Всі моря є водоймами»;

«Деякі машини є автомобілями».

Б) Побудуйте безпосередній умовивід з простого релятивного судження на основі транзитивного відношення:

 Ф.М.Достоєвський прожив довше ніж О.С.Пушкін

2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться:

 (А~А)(В~В)

 (A(AB))A

Варіант № 18

Тести:

А. Вкажіть, до якої фігури умовно-категоричних умовиводів відноситься наступна схема:

1 А~В

2 В

3. ~А

  1. 2 фігури modus tollens;

  2. 1 фігури modus ponens;

  3. 4 фігура modus tollens;

  4. 3 фігура modus ponens;

  5. 1 фігура modus tollens.

Б. Які дві логічні формули відображають закон тотожності?:

  1. ~~АА та А~~А;

  2. ~~АА та А~~А;

  3. А~А та ~(А~А);

  4. AAA та AAA;

  5. АА та АА.

Теоретичні питання (проілюструйте відповіді прикладами):

1. Безпосередні умовиводи.

2. Правила доведень і помилки до яких призводять порушення цих правил.

Практичні завдання:

1. А) Побудуйте безпосередні умовиводи з простих категоричних атрибутивних суджень на основі відношеннях за логічним квадратом (по 2 приклади умовиводів на кожне відношення):

 підкорення (з істинного судження виду А; з істинного судження виду Е)

 субконтрарності (з хибного судження виду І; з хибного судження виду О)

Б) Побудуйте безпосередні умовиводи з простих релятивних суджень на основі транзитивних відношень:

 «Інна старша Олену» та «Азовське море мілкіше за Чорне».

2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться:

 (А~А)(В~В)

(АВ)(~В~АВ)

Варіант № 19

Тести:

А. Вкажіть, до якого виду умовиводів відноситься наступна схема:

  1. АВСD

  2. АM

  3. ВM

  4. СM

  5. DN

  6. NM

  1. дилем;

  2. простих категоричних силогізмів;

  3. полілем;

  4. умовно-категоричних;

  5. трилем.

Б. Які дві логічні формули відображають закон ідемподентності?:

  1. АА та АА ;

  2. А~А та ~(А~А);

  3. ~~АА та А~~А;

  4. ~~АА та А~~А;

  5. AAA та AAA.

Теоретичні питання (проілюструйте відповіді прикладами):

1. Повна і неповна індукція.

2. Логічна характеристика спростування.

Практичні завдання:

1. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться:

 (~(AB))(~A~B)

 А(~В~АВ)

2. Наведіть 2 приклади міркувань (по 1 прикладу на кожну схему), які б відповідали схемам

 неповної індукції

  1. S1 є P

  1. S2 є P

.........................

m) Sm є Р

S1, S2… Sm... Sn (1mn)

Всі S є Р

 першої фігури modus ponens

1 АВ

2 А

3 В

Варіант № 20

Тести:

А. Оберіть з наведених модусів ПКС один правильний:

  1. ААЕ 1;

  2. ЕЕО 2;

  3. ОАО 3;

  4. ААА 4;

  5. ААІ 2.

Б. Яка з наведених логічних формул відображає суперечність?:

  1. А~А

  2. А

  3. ~(А~А)

  4. A(AB)A

  5. АА

Теоретичні питання (проілюструйте відповіді прикладами):

1. Умовиводи із складних суджень.

2. Спростування як різновид доведень.

Практичні завдання:

1. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться:

 (В~В)(А~А)

В(~В~В~А)

2 Наведіть 2 приклади міркувань (по 1 прикладу на кожну схему), які б відповідали схемам:

 третьої фігури modus ponens

1 ~АВ

2

3 В

 простої конструктивної дилеми

  1. АВ

  1. АС

  1. ВС

  2. С

Варіант № 21

Тести:

А. Вкажіть, до якого виду умовиводів відноситься наступна схема:

  1. А В С

  2. АM

  3. ВM

  4. СM

  5. M

      1. дилем;

      2. простих категоричних силогізмів;

      3. полілем;

      4. умовно-категоричних;

      5. трилем.

Б. Антитеза – це:

  1. предмет дійсності, що фіксується органами чуттів;

  2. структурний компонент апагогічного доведення, істинність або хибність якого обґрунтовується;

  3. завжди істинне судження (тавтологія);

  4. певне положення, яке є логічною суперечністю;

  5. парадоксальне судження науки, яке неможливо обґрунтувати в доведенні.

Теоретичні питання (проілюструйте відповіді прикладами):

1. Види аналогії.

2. Основні закони логіки.

Практичні завдання:

1. Побудуйте безпосередні умовиводи за допомогою логічних операцій над наступними атрибутивними судженнями:

 Логічну операцію обернення над судженням: «Деякі ссавці є вовками»

 Логічну операцію перетворення над судженням: «Всі футболісти є спортсменами»

 Логічну операцію протиставлення суб’єкта над судженням: «Всі сучасні колі є шотландськими вівчарками»

 Логічну операцію протиставлення суб’єкта над судженням: «Всі мотоцикли не є нетранспортними засобами»

2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться:

 (~(AА))(~В~B)

 (~А~АВ)(АB~B)

Варіант № 22

Тести:

А. Вкажіть, до якої фігури умовно-категоричних умовиводів відноситься наступна схема:

1 ~А~В

2

3. ~В

  1. 3 фігури modus ponens;

  2. 2 фігури modus tollens;

  3. 2 фігура modus ponens;

  4. 4 фігура modus ponens;

  5. 1 фігура modus ponens.

Б. Дана наступна формула: «А1 А2 ... Аn T», вкажіть, що в цій формулі позначає символ «»?

  1. матеріальну імплікацію між аргументами і тезою;

  2. строгу диз’юнкцію між аргументами і тезою;

  3. кон’юнкцію між аргументами;

  4. відношення логічного наслідку між аргументами і тезою;

  5. кон’юнкцію між тезами.

Теоретичні питання (проілюструйте відповіді прикладами):

1. Безпосередні умовиводи.

2. Другорядні закони логіки.

Практичні завдання:

1. Наведіть приклади міркувань (по одному прикладу на модус), які б відповідали наступним модусам простого категоричного силогізму (ПКС). Вкажіть їх схеми, а також зазначте, який з цих модусів є правильним, а який неправильним:

 ЕАО 3 та ЕЕІ 2

2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться:

 (~(В~В))(~А~B)

 (~В~АВА)(АB~А~B)

Варіант № 23

Тести:

А. Оберіть з наведених модусів ПКС один правильний:

  1. АІО 1;

  2. ОАО 2;

  3. ЕЕА 3;

  4. АЕО 4;

  5. ІАІ 1.

Б. Аргумент – це:

  1. структурний компонент доведення, за допомогою якого підтверджується істинність тези;

  2. певне положення істинність або хибність якого обґрунтовується в доведенні;

  3. парадоксальне судження науки, яке обґрунтовується в доведенні;

  4. логічна суперечність;

  5. одна з форм абстрактно-теоретичного мислення.

Теоретичні питання (проілюструйте відповіді прикладами):

1. Ентимема, епіхейрема, полісилогізм, сорит.

2. Другорядні закони логіки.

Практичні завдання:

1. Побудуйте безпосередні умовиводи за допомогою логічних операцій над наступними атрибутивними судженнями:

Логічну операцію обернення над судженням: «Будь-які мотоцикли є технічними пристроями»

Логічну операцію перетворення над судженням: «Жоден крадій не є незлочинцем»

Логічну операцію протиставлення суб’єкта над судженням: «Деякі вбивці є водіями»

Логічну операцію протиставлення суб’єкта над судженням: «Деякі планшети не є некомп’ютерами»

2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться:

 (А~А)(В~В)

 (~AA)(~ВВ)

Варіант № 24

Тести:

А. Вкажіть, до якої фігури умовно-категоричних умовиводів відноситься наступна схема:

1 ~А~В

2 В

3. А

  1. до 4 фігури modus ponens;

  2. до 4 фігури modus tollens;

  3. до 2 фігури modus ponens;

  4. до 2 фігури modus tollens;

  5. до 1 фігури modus ponens.

Б. Яка логічна формула відображає один з законів асоціативності?:

  1. A(AB)A

  2. АА

  3. ~(А~А)

  4. A(BC)(AB)C

  5. (A→B)(~B→~A)

Теоретичні питання (проілюструйте відповіді прикладами):

1. Логічна характеристика умовиводу як форми мислення.

2. Другорядні закони мислення.

Практичні завдання:

1. Наведіть приклади міркувань (по одному прикладу на модус), які б відповідали наступним модусам простого категоричного силогізму (ПКС). Вкажіть їх схеми, а також зазначте, який з цих модусів є правильним, а який неправильним:

 ЕАО 3 та АЕЕ 4

2 Вирішіть наступні складні судження методом таблиць істинності, вкажіть до якого виду вони відносяться: тавтологій (завжди істинних), суперечностей (завжди хибних) чи виконуваних):

 (А~В)(В~А)

 (АВ)(~АВ~В)

Варіант № 25

Тести:

А. Вкажіть вид умовиводу:

  1. АВСD

  2. АM

  3. ВM

  4. СM

  5. DN

  6. MN

1. полілема;

2. простий категоричний силогізм;

3. дилема;

4. умовно-категоричний;

5. трилема.

Б. Непряме доведення – це:

  1. доведення, в якому порушуються закони логіки;

  2. доведення (в якому відразу підтверджується) істинність тези;

  3. неправильне (помилкове) доведення;

  4. апагогічне доведення (таке, що «відводить у бік»), в якому істинність тези доводиться шляхом підтвердження хибності антитези;

  5. доведення, в якому для підтвердження істинності тези використовують винятково парадоксальні судження.

Теоретичні питання (проілюструйте відповіді прикладами):

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]