- •Практичне заняття до теми «Безпосередній дедуктивний вивід»
- •1. Безпосередні виводи.
- •1.1. Оберніть (сonversio) висловлювання:
- •1.2. Перетворіть (obversio) висловлювання:
- •1.3. Побудуйте умовиводи через протиставлення предикату (contrapositio praedicatum):
- •1.4. Наведені висловлювання приведіть до нормальної форми, а потім кожне з них оберніть, перетворіть та протиставте предикату:
- •1.5. Побудуйте умовиводи за “логічним квадратом”, визначте істинність вихідного і отриманих суджень:
- •1.6. Перевірте правильність безпосередніх виводів, побудованих через видозміну суджень. Вкажіть вид безпосереднього виводу. Якщо у виводі є помилка, поясніть її причину і зробіть правильний вивід:
- •Експрес – тест до модуля 7
- •Аналітичні тести до модуля 8
- •2. Перевірте правильність силогізмів:
- •Аналітичні тести до модуля 9.
- •За структурою схем визначте, які з них є правильними виводами:
- •Зробіть те саме, що і в завданні 1:
- •Перевірте правильність виводу лише за структурою:
Аналітичні тести до модуля 8
1. Перевірте правильність силогізмів за допомогою діаграм Ейлера. У разі помилки вкажіть яке правило порушено:
а) деякі студенти педагогічного університету імені М.П. Драгоманова - відмінники і деякі з них – спортсмени, значить, деякі спортсмени – відмінники.
_______________________________________________________________________
_______________________________________________________________________;
в) деякі солі нерозчинні у воді, а мідний купорос – сіль, значить, він не розчиняється у воді.
_______________________________________________________________________
_______________________________________________________________________;
с) якщо папороть ніколи не цвіте, а ця рослина теж ніколи не цвіте, то ця рослина - папороть.
_______________________________________________________________________
_______________________________________________________________________;
d) всі судді - - юристи і всі прокурори – юристи, отже, всі прокурори – судді.
_______________________________________________________________________
_______________________________________________________________________;
е) вони не є членами клубу, бо вони не платять членських внесків, значить, ті хто платять членські внески, є членами клубу.
_______________________________________________________________________
_______________________________________________________________________;
2. Перевірте правильність силогізмів:
а) Е (МР) Ù А (МS) → І (SР)
_______________________________________________________________________;
в) А (МР) Ù А (SМ) → А (SР)
_______________________________________________________________________;
с) Е (МР) Ù І (SМ) → О (SР)
_______________________________________________________________________;
d) А (РМ) Ù І (МS) → О (SР)
_______________________________________________________________________; е) Е (МР) Ù І(МS) → О(SР)
Аналітичні тести до модуля 9.
Формалізуйте умовиводи і перевірте їх правильність за допомогою таблиць істинності: а) якщо бухта замерзає, то кораблі не можуть зайти до неї. Зараз кораблі не можуть зайти до бухти. Значить бухта замерзла.
____________________________________________________________________________
___________________________________________________________________________ ;
в) К.К. не буде чемпіоном, якщо він не виграє цю партію. Але К.К. виграв цю партію. Значить, він став чемпіоном.
_____________________________________________________________________________
_____________________________________________________________________________;
За структурою схем визначте, які з них є правильними виводами:
а) (((А → В) → С) Ù (А → В)) → С
_____________________________________________________________________________;
в) ((( А Ù В ) → С) Ù ~ В) → ~ С
_____________________________________________________________________________;
с) (((А → В) → (С Ù D)) Ù ~ С) → (А Ù ~ В)
_____________________________________________________________________________;