3. Зробіть те саме, що і в завданні 1:

а) будь-яке атрибутивне судження є або загальним, або частковим, або одиничним. Це судження – одиничне. Отже, воно не є ні загальним, ні частковим.

____________________________________________________________________________;

в) цей чоловік військовий або юрист. Але він – військовий. Отже, він не юрист.

_____________________________________________________________________________;

5. Перевірте правильність виводу лише за структурою:

а) ((А В)  ~ В) → А____________________________________________________;

в) ((А  В  С)  А) → (~ В  ~ С)_________________________________________;

с) ((А  В  С)  (~ А  ~ В)) → С_________________________________________;

Аналітичні тести до модуля № 10

1. Сформулюйте висновки та назвіть вид індуктивного умовиводу:

а) поняття – це певна структура думки

судження – це певна структура думки

умовивід – це певна структура думки

____________________________________

в) залізо – тверде тіло

мідь – тверде тіло

золото – тверде тіло

платина – тверде тіло

_____________________________________

с) для нижчих організмів характерним є біологічний обмін речовин

для вищих організмів характерним є біологічний обмін речовин

___________________________________________________________

d) Земля обертається навколо Сонця

Венера обертається навколо Сонця

Марс обертається навколо Сонця

___________________________________

е) дедукція має власні правила виводу

індукція має власні правила виводу

аналогія має власні правила виводу

____________________________________

2. Сформулюйте висновок та назвіть метод, за яким його зроблено:

а) АВСDЕ → h

КМАFN → h

РQROA → h

QALXY → h

_______________

в) АВСDЕ → q

FGHCI → q

KCLMN → q

АВDE → ?

FGHI → ?

KLMN → ?

c) АВСDE → abcdef

A→ a

B → b

C → c

D →d

E → e

________________________

d) АВС → с

АВС¹ → с¹

АВС² → с²

……………..

АВСⁿ → сⁿ

___________________

Аналітичні тести до модуля № 11

1. Доведіть твердження:

а) (А → В)  С, ~ В  ~ С, отже ~ А

_________________________________________________________________________;

в) А  В, А → D, В → Е, отже D  Е

_________________________________________________________________________;

с) А  В, В → С, D  ~ С, отже А

_________________________________________________________________________;

d) (А → В)  ~ С, В → С, отже ~ А

_________________________________________________________________________;

е) А → (В  С), ~ В  D, А, отже D

_________________________________________________________________________;

2. Спростуйте твердження:

а) (А В) → С, С → D, ~ D  В, отже ~ А

__________________________________________________________________________;

в) С → (А  В), ~ С → D, ~ D  Е, ~ Е  ~ А, отже ~ В

__________________________________________________________________________;

с) В ↔ ~ D, А → (С  ~D), А  F, ~ F  ~ В, отже D

__________________________________________________________________________;

d) (F  M) → D, D → A, ~ А  ~ В, В  М, отже ~ F

__________________________________________________________________________;

е) К → ~ (М  N), ~ К → С, ~ С  А, ~ А  М, отже N

__________________________________________________________________________;