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

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

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

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

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

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

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

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

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

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

1. Всі християни є віруючими людьми.

2. Всі католики є християнами.

3. Всі католики є віруючими людьми.

4. Всі уніати є католиками.

5. Всі уніати є віруючими людьми.

1. ентимема;

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

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

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

5. ентимема.

Б. Аргументами можуть бути:

1. факти, тобто фіксовані певним чином (наприклад, завдяки фотозйомці) події;

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

3. завжди хибне судження (суперечність);

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

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

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

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

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

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

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

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

5. АВС

6. АD

7. BE

8. CD

9. DE

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

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

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

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

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

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

1. один із законів де Моргана;

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

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

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

5. закон тотожності.

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

 ентимеми;

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

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

 сориту

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

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

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

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

«Деякі злодії є вбивцями (істина),

всі злодії не є вбивцями (хиба)».

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

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

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

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

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

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

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

2. АА

3. А~А

4. A→B~B→~A

5. А~А

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

 ЕАО 1 та ІАІ 3

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

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

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

А. Індуктивний умовивід - це:

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

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

3. міркування, в якому засновки і висновки є судженнями однакового рівня загальності;

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

5. один з законів логіки.

Б. Оберіть формулювання закону заборони суперечності:

1. два судження, в одному з яких ми щось стверджуємо, а в іншому те ж саме, в той же самий час, в тому ж самому відношенні заперечуємо не можуть бути одночасно істинними та одночасно хибним;

2. «А» і не «А» можуть бути разом істинними;

3. кожна думка (та її елементи) повинна залишатися незмінною у процесі одного і того ж самого міркування;

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

5. якщо ми маємо «А», то ми маємо «А».

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

 АЕО 2

 АЕА 3

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

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

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

А. Традуктивний умовивід - це:

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

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

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

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

5. один з видів правильно побудованих умовиводів.

Б. Оберіть формулювання закону виключеного третього:

1. «А» і не «А» можуть бути разом істинними;

2. кожна думка (та її елементи) повинна залишатися незмінною у процесі одного і того ж самого міркування;

3. два судження, в одному з яких ми щось стверджуємо, а в іншому те ж саме, в той же самий час, в тому ж самому відношенні заперечуємо не можуть бути одночасно істинними та одночасно хибним;

4. із двох суперечливих суджень, одне завжди буде істинним, друге завжди буде хибним, а третього бути не може;

5. якщо ми маємо «А», то ми маємо «А».

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

 ОАО 4

 ЕАЕ 1

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

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

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