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

1. З наведених формул виберіть ті, які відповідають основним законам логіки:

А   В, А  В, А  ~ А, ~ (А  В), А → В, ~ (А  ~ А), (А  А)  В, А ↔ А,

А ↔В, А  ~ В, ~(А  В), ~ (А → В), ~В → ~А, (А  В)  ~ А, В ↔ А.

2. З наведених формул виберіть ті, які відповідають відношенню еквівалентності:

А (SР) ≡ І (SР), О (SР) ≡ І (SР), ~A (SP)  O(SP), E (SP)  A (SP), ~Е(SР)  І(SР), Е(SР)  І(SР), ~І(SР)  Е(SР), ~А(SР)  ~А(РS), ~І(SР)  ~ О(SР), А(SР)  Е(SР), ~О(SР)  А(SР), О(РS)  І(SР), І(РS)  ~ А(РS), А(РS)  О(SР), Е(РS)  ~О(SР).

3. Наведіть приклад суджень І(SР) та О(SР) з однаковими S та Р, коли вони були б:

1. одночасно істинними;

2. одночасно хибними;

3. І(SР) – істинне, О(SР) – хибне;

4. І(SР) – хибне, О(SР) – істинне.

4. Наведіть приклад суджень А(SР) та І(SР) з однаковими S та Р, коли вони були б:

1. одночасно істинними;

2. одночасно хибними;

3. А(SР) – істинне, І(SР) – хибне;

4. А(SР) – хибне, І(SР) – істинне.

5. Наведіть приклад суджень а(sр) та е(sр) з однаковими s та р, коли вони були б:

1. одночасно істинними;

2. одночасно хибними;

3. А(SР) – істинне, Е(SО) – хибне;

4. А(SР) – хибне, Е(SР) – істинне.

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

1. Молекула (А→В) – істинна, а (А↔В) – хибна. Яке значення істинності (В→А) ?

2. Висловлювання (А↔В) – істинне. Яке значення істинності будуть мативисловлювання: (~ А↔ ~В); (А↔ ~В) ?

3. Не будуючи повні таблиці істинності, визначте істинність таких формул:

А) (А  ~А) → В___________________________________________________________

В) (А  В) → (С  ~ С)_____________________________________________________

С) (В↔ ~В) → (А  С)____________________________________________________

D) (А  ~ А) ↔ (В  ~ В)____________________________________________________

Е) (А ↔ ~ А)   (В  ~ В)___________________________________________________

4. Визначте істинність таких висловлювань:

А) (1 0  0) → (А  ~ А)____________________________________________________

Б) (1 0) ↔ (1  0  1)______________________________________________________

С) А → (1 1  0)___________________________________________________________

D) (((1 → 0) → 1) → 1) → 0)__________________________________________________

Е) ((0 → 1) ↔ 0) → (1  0)___________________________________________________

де, 1 – означає “істина”, 0 – “хиба”.

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

1. Оберніть (conversio) висловлювання:

а) всі українці – слов’яни

_____________________________________________________________________;

в) ніхто не карається за думки

______________________________________________________________________;

с) деякі юристи не є адвокатами

_______________________________________________________________________;

d) деякі віруючі – православні

_______________________________________________________________________;

2. Перетворіть (obversio) висловлювання:

а) невігластво не є аргументом

______________________________________________________________________;

в) деякі люди – віруючі

______________________________________________________________________;

с) деякі закони не є гуманними

______________________________________________________________________;

d) будь-який злочин карається

______________________________________________________________________.

3. Здійсніть протиставлення предикату (contrapositio praedicatum):

а) деякі ромби – квадрати

_______________________________________________________________________;

в) ніхто не карається за думки

_______________________________________________________________________;

с) дехто з нас не знає логіки

_______________________________________________________________________;

d) будь-яке визначення є запереченням

_______________________________________________________________________.