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

1.~АВ

2. ~В

3. А

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

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

3. ентимем;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

5 4

4 5

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

4. ентимема;

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

Б. Теза – це:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

S₁ є P

1. S₂ є P

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

n) S_n є Р

S₁, S₂... S_n (1n∞), де n – загальна кількість предметів множини

Всі S є Р

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

1 ~А~В

2 ~А

3 ~В

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1. ~А~В

2. В

3. А

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

1. АВ

2. АС

3. ВD

4. СD

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

1. А В

2. А С

3. В D

4. С D

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 (AA)A

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

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

1. ~А~В

2. СА

3. DB

4. ~C~D

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1. ~АВ

2. ~В

3. А

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

1. АВСD

2. А

3. ~В~С~D

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1. S₁єР

2. S₂ є Р

……………

т.) S_т є Р

S₁,...S₂, ... S_m, ... S_n (1≤т<п), де п є загальною кількістю предметів множини

Всі S є Р

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

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

3. ентимем;

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

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

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

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

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

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

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

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

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

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

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

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

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

1. ~А~В

2. СА

3. DВ

4. ~С~D

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

1. А~В

2. В

3. ~А

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

1. А В С D

2. ~А ~В ~С

3. D

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

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

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

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

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

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

1. ~~АА

2. A(AB)A

3. А~А

4. ~(А~А)

5. ABBA

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

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

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

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

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

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

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

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

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

 ОАО 1

 АЕО 4

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

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

 (AA)A

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

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

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

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

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

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

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

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

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

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

2. АА

3. А~А

4. A(AB)A

5. А~А

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

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

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

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

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

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

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

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

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

1. ~А~В

2. СА

3. СВ

4. ~С

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

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

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

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

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

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

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

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

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

1. А~А

2. A(AB)A

3. A(AB)A

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

5. АА

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

 АЕЕ 2;

 ІАО 4

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

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

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

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

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. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться:

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

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

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

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. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться:

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

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

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

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 приклади умовиводів на кожне відношення):

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

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

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

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

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

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

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

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

1. АВСD

2. АM

3. ВM

4. СM

5. DN

6. NM

1. дилем;

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

3. полілем;

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

5. трилем.

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

1. АА та АА ;

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

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

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

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

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

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

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

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

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

1. S₁ є P

2. S₂ є P

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

m) S_m є Р

S₁, S₂… S_m... S_n (1mn)

Всі S є Р

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

1 АВ

2 А

3 В

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

1. ААЕ 1;

2. ЕЕО 2;

3. ОАО 3;

4. ААА 4;

5. ААІ 2.

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

1. А~А

2. А~А

3. ~(А~А)

4. A(AB)A

5. АА

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

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

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

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

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

1 ~АВ

2 ~А

3 В

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

1. АВ

2. АС

3. ВС

4. С

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

1. А В С

2. АM

3. ВM

4. СM

5. M

1. дилем;

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

3. полілем;

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

5. трилем.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1 ~А~В

2 ~А

3. ~В

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

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

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

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

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

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

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

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

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

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

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

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

 ЕАО 3 та ЕЕІ 2

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

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

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

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

1. АІО 1;

2. ОАО 2;

3. ЕЕА 3;

4. АЕО 4;

5. ІАІ 1.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 ЕАО 3 та АЕЕ 4

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

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

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

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

1. АВСD

2. АM

3. ВM

4. СM

5. DN

6. MN

1. полілема;

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

3. дилема;

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

5. трилема.

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

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

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

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

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

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