и ещё задачки
4.Определить вид суждения, его термины и их распределенность
- а) все излишества губят здоровье
б) некоторые множества бесконечны
а) Общеутвердительное. Субъект(распределён)-излишества, предикат(не распределён)-губят здоровье.
б) Частноутвердительное. Субъект(распределён)-множества, предикат(не распределён)-бесконечны.
5. Перевести на символический язык логики высказываний сложное суждение и выявить с помощью таблицы условия истинности этого суждения
- «Если бы Иван IV был зол по природе или не заботился об интересах государства, то он не отменил бы опричнины».
А-Иван IV был зол по природе
В-Иван IV не заботился об интересах государства
С-он не отменил бы опричнины.
АvВ(импликация)к С
6.Сделать выводы посредством превращения.
- Вселенная бесконечна
решение: Вселенная не является не бесконечной.
7.Сделать выводы посредством обращения.
- Всякий студент обязан сдавать какие-нибудь экзамены.
решение: Некоторые экзамены обязаны сдавать все студенты.
8.Сделать выводы посредством противопоставления предикату.
- Некоторые существительные не склоняются.
??? может быть: склоняются некоторые существительные.
9.Посредством логического квадрата вывести суждения противоположные, противоречащие, и подчиненные данным. Указать их истинностные значения.
- Ни одно млекопитающее не живет в воде.
Решение: Ел-Ни одно млекопитающее не живет в воде.
Ал - Все млекопитающие живут в воде.(противоположность)
Jи - Некоторые млекопитающие живут в воде. (противоречие)
Ои - Некоторые млекопитающие не живут в воде. (подчинение)
10.Сделать вывод из посылок по одному из модусов разделительно-категорического умозаключения, построить его схему.
-. Каждый треугольник является либо тупоугольным, либо прямоугольным, либо остроугольным.
Треугольник АВС не является остроугольным.
решение: Каждый треугольник является либо тупоугольным, либо прямоугольным, либо остроугольным. В(строгая дизъюнкция) С(строгая дизъюнкция)D
Треугольник АВС не является остроугольным. Не- D
_________________________________________
Треугольник АВС является либо прямоугольным, либо тупоугольным. В(с.д.) С
это о трицающе-утверждающий modus tollendo ponens