
Варіант № 1
Тести:
А. Вкажіть, до якого виду умовиводу відноситься наступна схема: 1.~АВ 2. ~В 3. А
|
Б. Визначте, вимоги якого формально-логічного закону порушені в наведеному нижче доведенні: Теза: Четверта планета від Сонця є богом війни римської міфології. Аргументи: 1) Марс є четвертою планетою від сонця (істина) і 2) Марс є богом війни римської міфології (істина).
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Безпосередні умовиводи на основі відношень між судженнями за логічним квадратом.
2. Основні закони логіки.
Практичні завдання:
№ 1. Побудуйте безпосередні умовиводи за логічним квадратом на основі відношень контрадикторності (суперечності), контрарності (протилежності) та субординації (підкорення) (по 2 приклади умовиводів на кожний вид відношень): із істинного атрибутивного загальнозаперечного (виду Е) судження-засновку |
№ 2. Вирішіть наступні складні судження методом таблиць істинності, вкажіть до якого виду вони відносяться (тавтологій (завжди істинних), суперечностей (завжди хибних) чи виконуваних (можуть бути як істинними, так и хибними): (В~В)(А~А); (А~В)(А~В) |
Варіант № 2
Тести:
А. Вкажіть вид умовиводу: 1. Якщо наступний місяць січень, то зараз триває місяць грудень. 2. Невірно, що зараз триває грудень. 3. Невірно, що наступний місяць січень.
|
Б. Під законами логіки в сучасній логіці висловлювань мають на увазі судження, які:
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Розділово-категоричні умовиводи.
2. Прямі доведення.
Практичні завдання:
№ 1. Побудуйте безпосередні умовиводи за логічним квадратом на основі відношень контрадикторності (суперечності), контрарності (протилежності) та субординації (підкорення) (по 2 приклади умовиводів на кожний вид відношень): із істинного атрибутивного загальностверджувального (виду А) судження-засновку |
№ 2. Вирішіть наступні складні судження методом таблиць істинності, вкажіть до якого виду вони відносяться: тавтологій (завжди істинних), суперечностей (завжди хибних) чи виконуваних): (А~А)(В~В) (ВА)(~АВ) |
Варіант № 3
Тести:
А. Вкажіть, який закон логіки застосований в наведеному нижче твердженні: «Я склав екзамен з математики на відмінно дякуючи акуратному відвідуванню занять, систематичній самостійній роботі над курсом, активній участі у семінарських і практичних заняттях».
|
Б. Вкажіть вид умовиводу у наступному логічному міркуванні: «Якщо вірно, що 54, то також вірно, що 4 5» або у вигляді схеми: 5 4 4 5
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Розділово-умовні умовиводи.
2. Структурні компоненти доведення: теза, аргументи, спосіб доведення.
Практичні завдання:
№ 1. Побудуйте безпосередні умовиводи за логічним квадратом на основі відношень контрадикторності (суперечності) та субконтрарності (підпротилежності) (по 2 приклади умовиводів на кожний вид відношень): із істинного та хибного атрибутивного частковостверджувального (виду І) судження-засновку |
Вирішіть наступні складні судження методом таблиць істинності, вкажіть до якого виду вони відносяться: тавтологій (завжди істинних), суперечностей (завжди хибних) чи виконуваних): (В~В)(А~А) А(~В~АА) |
Варіант № 4
Тести:
А. Вкажіть вид умовиводу: 1. Всі ссавці - живі істоти. 2. Всі кити - ссавці. 3. Всі кити - живі істоти. 4. Всі косатки - кити. 5. Всі косатки - живі істоти.
|
Б. Теза – це:
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Специфіка ентимеми та епіхейреми.
2. Апагогічні доведення.
Практичні завдання:
№ 1. Побудуйте безпосередні умовиводи за логічним квадратом на основі відношень контрадикторності (суперечності) та субконтрарності (підпротилежності) (по 2 приклади умовиводів на кожний вид відношень): із істинного і хибного атрибутивного частковозаперечного (виду О) судження-засновку |
№ 2. Вирішіть наступні складні судження методом таблиць істинності, вкажіть до якого виду вони відносяться (тавтологій (завжди істинних), суперечностей (завжди хибних) чи виконуваних): (~ВВ)(А~А) (А~А)(В~В) |
Варіант № 5
Тести:
А. Вкажіть, яке правило логіки, що випливає із закону логіки, порушується в наведеному нижче прикладі: «Студент Леонід Петренко спочатку стверджував, що він здав літню сесію успішно, дякуючи допомозі при підготовці до іспитів, яку йому надавав студент Юрій Овадчук. Потім він запевняв, що здав би літню сесію і без допомоги Юрія Овадчука».
правило логіки не порушується. |
Б. Вкажіть вид умовиводу в такому логічному міркуванні: 1. «Література в нашому суспільстві - засіб виховання народу. 2. Театр в нашому суспільстві - засіб виховання народу. 3. Музика також є в нашому суспільстві засобом виховання народу. 4. Література, театр, музика - це види мистецтва, проте існують й інші його види. 5. Будь-яке мистецтво в нашому суспільстві є засобом виховання народу». 1. неповна індукція; 2. умовно-категоричний; 3. простий категоричний силогізм; 4. полісилогізм; 5. аналогія відношень. |
Теоретичні питання (проілюструйте відповіді прикладами):
1. Простий категоричний силогізм (ПКС).
2. Логічна характеристика спростування.
Практичні завдання:
№ 1. Вирішіть наступні складні судження методом таблиць істинності, вкажіть до якого виду вони відносяться (тавтологій (завжди істинних), суперечностей (завжди хибних) чи виконуваних): (АВ)( ~В~А) (~А~В~А)ВАВ) |
№ 2. Наведіть 2 приклади міркувань (по 1 прикладу на кожну схему), які б відповідали схемам: |
|
повної індукції S1 є P
......................... n) Sn є Р S1, S2... Sn (1n∞), де n – загальна кількість предметів множини Всі S є Р |
четвертої фігури modus ponens 1 ~А~В 2 ~А 3 ~В |
Варіант № 6
Тести:
А. Вкажіть вид фігури у наступному міркуванні, яке має форму простого категоричного силогізму (ПКС):
|
Б. Апагогічне доведення – це:
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Логічна характеристика індукції як виду недедуктивних умовиводів.
2. Правила доведення та наслідки, до яких призводить порушення цих правил.
Практичні завдання:
№ 1. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться: (АВ)(В~А) (A(AB))A |
№ 2. Наведіть 2 приклади міркувань (по одному прикладу на схему), які б відповідали наступним схемам: |
|
четвертої фігури modus tollens 1. ~А~В 2. В 3. А |
складної конструктивної дилеми
|
Варіант № 7
Тести:
А. Вкажіть, до якого виду умовиводів відноситься наступна схема:
|
Б. Вкажіть, який формально-логічний закон представлений наступною формулою: ~(АВ)(~А~В)
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Умовно-категоричні умовиводи.
2. Логічна характеристика доведення.
Практичні завдання:
№ 1. Побудуйте безпосередні умовиводи на основі відношень за логічним квадратом (наведіть по 2 приклади умовиводів на кожне відношення): із істинного атрибутивного загальностверджувального (виду А) судження-засновку на основі відношень протилежності (контрарності) і субординації (підкорення) із хибного атрибутивного загальнозапечного (виду Е) судження-засновку на основі відношення суперечності (контрадикторності) |
№ 2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться: (AA)A (А~В)(А~В) |
Варіант № 8
Тести:
А. Вкажіть, до якого виду умовиводу (силогізму) відноситься наступна схема:
|
Б. Дана наступна формула: «А1 А2 ... Аn T», вкажіть, що в цій формулі позначає символ «»?
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Специфіка полісилогізму та сориту.
2. Логічна характеристика спростування.
Практичні завдання:
№ 1. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться: (A(BC))((AB)(AC)) (А~В)(В~А) |
№ 2. Наведіть 2 приклади міркувань (по 1 прикладу на кожну схему), які б відповідали схемам: |
|
третьої фігури modus tollens 1. ~АВ 2. ~В 3. А |
modus ponendo tollens розділово-категоричного умовиводу 1. АВСD 2. А 3. ~В~С~D |
Варіант № 9
Тести
А. Вкажіть вид умовиводу у наступному логічному міркуванні: «1. Всі студенти НУ ДПСУ мають добре навчатися, для того щоб отримати диплом. 2. Яворська — студентка НУ ДПСУ. 3. Петренко має добре навчатися, для того щоб отримати диплом».
аналогія властивостей. |
Б. У п’єсі А. Чехова «Три сестри» сперечаються між собою персонажі: Солоний і лікар. Солоний каже, що чехартма - це баранина, а лікар доводить, що черемша - це цибуля. Обидва гарячкують, майже не слухають один одного, наполягають на своєму і не можуть дійти згоди. Який закон логіки вони порушують?
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Логічна характеристика аналогії як виду недедуктивних умовиводів.
2. Специфіка основних видів доведень.
Практичні завдання:
№ 1. Розкрийте структуру наступного міркування, яке відповідає правильному модусу простого категоричного силогізму (ПКС) і встановіть вид модусу: 1. Всі крокодили – земноводні. 2. Деякі тварини – крокодили. 3. Деякі тварини – земноводні. |
№ 2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться: (A(BА))((A~А)(AВ)) (А~В)~А~В) |
Варіант № 10
Тести:
А. Вкажіть, до якого виду умовиводу відноситься наступна схема:
…………… т.) Sт є Р S1,...S2, ... Sm, ... Sn (1≤т<п), де п є загальною кількістю предметів множини Всі S є Р
|
Б. Аргументи – це:
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Епіхейреми, ентимеми, полісилогізми, сорити.
2. Апагогічні доведення.
Практичні завдання:
№ 1. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться: (А~А)(В~В) (A(B~А))((AB)~В) |
№3 Наведіть 2 приклади міркувань (по одному прикладу на схему), які б відповідали схемам: |
|
складної деструктивної дилеми
|
другої фігури modus tollens 1. А~В 2. В 3. ~А |
Варіант № 11
Тести:
А. Вкажіть, до якого виду умовиводу відноситься наступна схема:
|
Б. Яка логічна формула відображає закон виключеного третього?:
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Безпосередні умовиводи за допомогою логічних операцій над простими судженнями.
2. Структурні компоненти доведень.
Практичні завдання:
№ 1. Розкрийте структуру наступного міркування, яке відповідає правильному модусу простого категоричного силогізму (ПКС) і встановіть вид модусу: 1. Всі мавпи - не плазуни. 2. Всі мавпи - примати. 3. Деякі примати – не плазуни. |
№ 2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться: (А~В)(В~А) АВ~А)(~А~ВВ) |
Варіант № 12
Тести:
А. Вкажіть, до якого виду умовиводів відноситься наступна схема:
|
Б. Яка логічна формула відображає закон заборони суперечності?:
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Безпосередні умовиводи на основі відношень між простими судженнями.
2. Логічна характеристика спростування.
Практичні завдання:
№ 1. Наведіть приклади міркувань (по одному прикладу на модус), які б відповідали наступним модусам простого категоричного силогізму (ПКС). Вкажіть їх схеми, а також зазначте, який з цих модусів є правильним, а який неправильним: ОАО 1 АЕО 4 |
№ 2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться: (А~А)(В~В) (AA)A |
Варіант № 13
Тести:
А. Вкажіть вид умовиводу у наступному логічному міркуванні: «Всі грабіжники є злочинцями (істина), деякі грабіжники не є злочинцями (хиба)».
|
Б. Яка логічна формула відображає закон тотожності?:
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Логічна характеристика умовиводу як форми мислення.
2. Прямі і непрямі доведення.
Практичні завдання:
№ 1. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться: (~(AB))(~A~B) (~А~ВВ)АB~А) |
№ 2. Наведіть 2 приклади міркувань (по 1 на кожну схему), які б відповідали схемам: |
|
аналогії властивостей Предмет S1 має ознаки: a, b, c, d. Предмет S2 має ознаки: a, b, c. Ймовірно, що предмет S2 має ознаку d. |
простої деструктивної дилеми
|
Варіант № 14
Тести:
А. Вкажіть до якого виводу умовиводів належить наведена нижче схема:
|
Б. Яка логічна формула відображає закон контрапозиції?:
|
Теоретичні питання (проілюструйте відповіді прикладами):
Логічні операції над судженнями.
Практичні завдання:
№ 1. Наведіть приклади міркувань (по одному прикладу на кожний вид), які б мали вигляд: ентимеми, епіхейреми, полісилогізму, сориту |
№ 2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться: (A(B~А))((AB)~В) ((ВА)(~АВ))~A |
Варіант № 15
Тести:
А. Умовивід - це:
|
Б. Яка логічна формула відображає один з законів де Моргана?:
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Логічна характеристика основних видів умовиводів.
2. Правила доведень та логічні помилки до яких призводить їх порушення.
Практичні завдання:
№ 1. Наведіть приклади міркувань (по одному прикладу на модус), які б відповідали наступним модусам простого категоричного силогізму (ПКС). Вкажіть їх схеми, а також зазначте, який з цих модусів є правильним, а який неправильним: АЕЕ 2; ІАО 4 |
№ 2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться: (AB)(BA) (В~В)(А~А) |
Варіант № 16
Тести:
А. Вкажіть, до якої фігури умовно-категоричних умовиводів відноситься наступна схема: 1. ~АВ 2. ~А 3. В
|
Б. Яка логічна формула відображає один з законів ідемподентності?:
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Логічна характеристика законів логіки.
2. Апагогічне доведення.
Практичні завдання:
№ 1. Наведіть приклади міркувань (по одному прикладу на кожний вид), які б мали вигляд: ентимеми, епіхейреми, полісилогізму, сориту |
№ 2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться: (~ВВ)(А~А) (A→B)(~B→~A) |
Варіант № 17
Тести:
А. Вкажіть, до якої фігури умовно-категоричних умовиводів відноситься наступна схема: 1 А~В 2 А 3. ~В
|
Б. Яка логічна формула відображає один з законів асоціативності?:
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Види безпосередніх умовиводів.
2. Основні структурні компоненти доведень.
Практичні завдання:
№ 1. А) За допомогою логічної операції протиставлення суб’єкту побудуйте безпосередні умовиводи з наступних суджень: «Деякі кішки є ягуарами»; «Всі моря є водоймами»; «Деякі машини є автомобілями». Б) Побудуйте безпосередній умовивід з простого релятивного судження на основі транзитивного відношення: Ф.М.Достоєвський прожив довше ніж О.С.Пушкін |
№ 2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться: (А~А)(В~В) (A(AB))A |
Варіант № 18
Тести:
А. Вкажіть, до якої фігури умовно-категоричних умовиводів відноситься наступна схема: 1 А~В 2 В 3. ~А
|
Б. Які дві логічні формули відображають закон тотожності?:
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Безпосередні умовиводи.
2. Правила доведень і помилки до яких призводять порушення цих правил.
Практичні завдання:
№ 1. А) Побудуйте безпосередні умовиводи з простих категоричних атрибутивних суджень на основі відношеннях за логічним квадратом (по 2 приклади умовиводів на кожне відношення): підкорення (з істинного судження виду А; з істинного судження виду Е) субконтрарності (з хибного судження виду І; з хибного судження виду О) Б) Побудуйте безпосередні умовиводи з простих релятивних суджень на основі транзитивних відношень: «Інна старша Олену» та «Азовське море мілкіше за Чорне». |
№ 2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться: (А~А)(В~В) (АВ)(~В~АВ) |
Варіант № 19
Тести:
А. Вкажіть, до якого виду умовиводів відноситься наступна схема:
|
Б. Які дві логічні формули відображають закон ідемподентності?:
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Повна і неповна індукція.
2. Логічна характеристика спростування.
Практичні завдання:
№ 1. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться: (~(AB))(~A~B) А(~В~АВ) |
№ 2. Наведіть 2 приклади міркувань (по 1 прикладу на кожну схему), які б відповідали схемам |
|
неповної індукції
......................... m) Sm є Р S1, S2… Sm... Sn (1mn) Всі S є Р |
першої фігури modus ponens 1 АВ 2 А 3 В
|
Варіант № 20
Тести:
А. Оберіть з наведених модусів ПКС один правильний:
|
Б. Яка з наведених логічних формул відображає суперечність?:
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Умовиводи із складних суджень.
2. Спростування як різновид доведень.
Практичні завдання:
№ 1. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться: (В~В)(А~А) В(~В~В~А) |
№ 2 Наведіть 2 приклади міркувань (по 1 прикладу на кожну схему), які б відповідали схемам: |
|
третьої фігури modus ponens 1 ~АВ 2 ~А 3 В |
простої конструктивної дилеми
|
Варіант № 21
Тести:
А. Вкажіть, до якого виду умовиводів відноситься наступна схема:
|
Б. Антитеза – це:
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Види аналогії.
2. Основні закони логіки.
Практичні завдання:
№ 1. Побудуйте безпосередні умовиводи за допомогою логічних операцій над наступними атрибутивними судженнями: Логічну операцію обернення над судженням: «Деякі ссавці є вовками» Логічну операцію перетворення над судженням: «Всі футболісти є спортсменами» Логічну операцію протиставлення суб’єкта над судженням: «Всі сучасні колі є шотландськими вівчарками» Логічну операцію протиставлення суб’єкта над судженням: «Всі мотоцикли не є нетранспортними засобами» |
№ 2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться: (~(AА))(~В~B) (~А~АВ)(АB~А~B) |
Варіант № 22
Тести:
А. Вкажіть, до якої фігури умовно-категоричних умовиводів відноситься наступна схема: 1 ~А~В 2 ~А 3. ~В
|
Б. Дана наступна формула: «А1 А2 ... Аn T», вкажіть, що в цій формулі позначає символ «»?
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Безпосередні умовиводи.
2. Другорядні закони логіки.
Практичні завдання:
№ 1. Наведіть приклади міркувань (по одному прикладу на модус), які б відповідали наступним модусам простого категоричного силогізму (ПКС). Вкажіть їх схеми, а також зазначте, який з цих модусів є правильним, а який неправильним: ЕАО 3 та ЕЕІ 2 |
№ 2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться: (~(В~В))(~А~B) (~В~АВА)(АB~А~B) |
Варіант № 23
Тести:
А. Оберіть з наведених модусів ПКС один правильний:
|
Б. Аргумент – це:
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Ентимема, епіхейрема, полісилогізм, сорит.
2. Другорядні закони логіки.
Практичні завдання:
№ 1. Побудуйте безпосередні умовиводи за допомогою логічних операцій над наступними атрибутивними судженнями: Логічну операцію обернення над судженням: «Будь-які мотоцикли є технічними пристроями» Логічну операцію перетворення над судженням: «Жоден крадій не є незлочинцем» Логічну операцію протиставлення суб’єкта над судженням: «Деякі вбивці є водіями» Логічну операцію протиставлення суб’єкта над судженням: «Деякі планшети не є некомп’ютерами» |
№ 2. Серед наведених нижче складних суджень можуть бути наявні тавтології (завжди істинні судження), суперечності (завжди хибні судження) та виконувані (такі судження можуть бути як істинними, так и хибними). Вирішіть їх за допомогою методу таблиць істинності і вкажіть до якого виду вони відносяться: (А~А)(В~В) (~AA)(~ВВ) |
Варіант № 24
Тести:
А. Вкажіть, до якої фігури умовно-категоричних умовиводів відноситься наступна схема: 1 ~А~В 2 В 3. А
|
Б. Яка логічна формула відображає один з законів асоціативності?:
|
Теоретичні питання (проілюструйте відповіді прикладами):
1. Логічна характеристика умовиводу як форми мислення.
2. Другорядні закони мислення.
Практичні завдання:
№ 1. Наведіть приклади міркувань (по одному прикладу на модус), які б відповідали наступним модусам простого категоричного силогізму (ПКС). Вкажіть їх схеми, а також зазначте, який з цих модусів є правильним, а який неправильним: ЕАО 3 та АЕЕ 4 |
№2 Вирішіть наступні складні судження методом таблиць істинності, вкажіть до якого виду вони відносяться: тавтологій (завжди істинних), суперечностей (завжди хибних) чи виконуваних): (А~В)(В~А) (А~АВ)(~АВ~В) |
Варіант № 25
Тести:
А. Вкажіть вид умовиводу:
1. полілема; 2. простий категоричний силогізм; 3. дилема; 4. умовно-категоричний; 5. трилема. |
Б. Непряме доведення – це:
|
Теоретичні питання (проілюструйте відповіді прикладами):