![]()
|
|||||||
№43 Розділово-категоричний умовивідРозділово — категоричним умовиводом називається умовивід у якому один засновок розділове судження, а другий засновок і висновок категоричні судження. Наприклад, До Києва із Одеси можна доїхати потягом або автобусом. До Києва із Одеси не можна доїхати автобусом. Отже, до Києва з Одеси можна доїхати потягом. Розділово-категоричний силогізм має два правильних різновиди: — « modus tollendo ponens » і — « modus ponendo tollens ». « modus tollendo ponens », у перекладі з латинської мови означає «заперечувально-стверджуючий модус». Наприклад, Злочин міг скоїти N або М. N не був причетним до злочину. Отже, злочин скоїв М. Структура цього умовиводу така: [(р v q) Λ необхідно дотримуватися таких правил: 1. У стверджу вально-заперечу вальному модусі більший засновок має сполучник «або», який вживається у строго розділовому смислі. 2. У більшому засновку повинні бути перераховані усі альтернативи2. Якщо цього не зробити, то отримаємо хибний засновок, а це означає, що такий умовивід буде не ефективним. Наприклад, Студенти бувають вечірньої або заочної форми навчання. Він не є студентом заочної форми навчання. Отже, він студент вечірньої форми навчання.
|
|||||||
|