Запитання для самоконтролю та вправи

1. Напишіть структури та формули логіки висловлювань, що відобра­жають:

a) правильні модуси умовно-категоричного виводу;

b) неправильні модуси умовно-категоричного виводу.

2.

a) якщо через провідник пропустити електричний струм, то провід­ник буде знаходитись в електричному полі. Через провідник елект­ричний струм не проходить. Значить, провідник не знаходиться в електричному полі;

b) якщо бухта замерзає, то кораблі не можуть зайти до неї. Зараз ко­раблі не можуть зайти до бухти. Значить, бухта замерзла;

c) К.К. не буде чемпіоном, якщо він не виграє цю партію. Але К.К. виграв цю партію. Значить, він став чемпіоном.

3. Взявши за основу cτpyκτvov

випишіть всі відомі вам правильні різновиди modus Iollendo ρonens розділово-категоричного виводу.

4. Взявши за основу cτρyκτvnv

випишіть всі відомі вам правильні різновиди modus ponendo tollens розділово-категоричного виводу.

5. Зробіть логічний аналіз наведених прикладів (запишіть у формалізо­ваному вигляді, визначте модус і перевірте правильність виводу):

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

b) цей чоловік - викладач або юрист. Він - викладач. Отже, він не юрист;

7. Відновіть приведені ентимеми в повні умовиводи і перевірте їх слушність:

a) цей силогізм має три терміни, значить він правильний;

b) оскільки всі громадяни України мають право на освіту, то такс пра­во маємо і ми;

c) при такій високій температурі вода не може перебувати ні в твердо­му, ні рідкому стані. Значить, вона є газоподібною;

d) ця людина - суддя. Отже, вона не є пі захисником, ні прокурором.