Логика (контрольная)

1. Суждение. Классификация суждений по качественной, количественной и качественно-количественной характеристикам. Привести примеры.
2. Четвертая фигура категорического силлогизма, ее правила и модусы с примерами.
3. Даны понятия. Установить, в каких отношениях они находятся между собой. Изобразить с помощью кругов Эйлера.
Десерт. Первое. Второе.
Тарелка. Кастрюля. Домашняя утварь.
Умный. Неумный.
4. Даны суждения. Найти субъект, предикат суждения, определить тип суждения, исследовать термины субъекта и предиката на распределенность. Проиллюстрировать с помощью кругов Эйлера.
Ничто не бывает просто так.
5. Дано сложное суждение. Представить его в явной логической форме, привести его символическую запись. Для символической записи построить таблицу истинности.
Если тебя не будет дома, а я ...

1. Суждение. Классификация суждений по качественной, количественной и качественно-количественной характеристикам. Привести примеры.
2. Четвертая фигура категорического силлогизма, ее правила и модусы с примерами.
3. Даны понятия. Установить, в каких отношениях они находятся между собой. Изобразить с помощью кругов Эйлера.
Десерт. Первое. Второе.
Тарелка. Кастрюля. Домашняя утварь.
Умный. Неумный.
4. Даны суждения. Найти субъект, предикат суждения, определить тип суждения, исследовать термины субъекта и предиката на распределенность. Проиллюстрировать с помощью кругов Эйлера.
Ничто не бывает просто так.
5. Дано сложное суждение. Представить его в явной логической форме, привести его символическую запись. Для символической записи построить таблицу истинности.
Если тебя не будет дома, а язабуду ключи от двери, то я не смогу попасть в квартиру.
6. Дан простой категорический силлогизм. Сделать полный его разбор: указать заключение, меньшую и большую посылки, меньший, средний и больший термины. Изобразить отношение между терминами с помощью кругов Эйлера. Определить фигуру силлогизма.
Ни один ученый не глуп.
Некоторые мужчины глупы.
Некоторые мужчины не ученые.
7. Даны 2 посылки. Определить большую и меньшую. Сделать вывод. Проверить правильность вывода с помощью кругов Эйлера. Определить фигуру силлогизма, с помощь правил силлогизмов установить, следует ли вывод с необходимостью.
Все адвокаты имеют высшее юридическое образование, некоторые из них занимаются научной деятельностью.
8. Составить 19 правильных умозаключений, соответствующих 19 правильным модусам фигур силлогизмов

1. Суждение. Классификация суждений по качественной, количественной и качественно-количественной характеристикам. Привести примеры.
2. Четвертая фигура категорического силлогизма, ее правила и модусы с примерами.
3. Даны понятия. Установить, в каких отношениях они находятся между собой. Изобразить с помощью кругов Эйлера.
Десерт. Первое. Второе.
Тарелка. Кастрюля. Домашняя утварь.
Умный. Неумный.
4. Даны суждения. Найти субъект, предикат суждения, определить тип суждения, исследовать термины субъекта и предиката на распределенность. Проиллюстрировать с помощью кругов Эйлера.
Ничто не бывает просто так.
5. Дано сложное суждение. Представить его в явной логической форме, привести его символическую запись. Для символической записи построить таблицу истинности.
Если тебя не будет дома, а я забуду ключи от двери, то я не смогу попасть в квартиру.
6. Дан простой категорический силлогизм. Сделать полный его разбор: указать заключение, меньшую и большую посылки, меньший, средний и больший термины. Изобразить отношение между терминами с помощью кругов Эйлера. Определить фигуру силлогизма.
Ни один ученый не глуп.
Некоторые мужчины глупы.
Некоторые мужчины не ученые.
7. Даны 2 посылки. Определить большую и меньшую. Сделать вывод. Проверить правильность вывода с помощью кругов Эйлера. Определить фигуру силлогизма, с помощь правил силлогизмов установить, следует ли вывод с необходимостью.
Все адвокаты имеют высшее юридическое образование, некоторые из них занимаются научной деятельностью.
8. Составить 19 правильных умозаключений, соответствующих 19 правильным модусам фигур силлогизмов

Л
И
И
Л
И
И
Л
И
Л
Л
И
Л
Л
Л
И
Л
И
И
Л
Л
Л
Л
И
Л
Данное суждение не является тожественно-истинным, но вы является выполнимым (может принимать истинное и ложное значение).
6. Дан простой категорический силлогизм. Сделать полный его разбор: указать заключение, меньшую и большую посылки, меньший, средний и больший термины. Изобразить отношение между терминами с помощью кругов Эйлера. Определить фигуру силлогизма.
Ни один ученый не глуп.
Некоторые мужчины глупы.
Некоторые мужчины не ученые.
Заключение: Некоторые мужчины не ученые. Меньший термин силлогизма (субъект заключения) – мужчины. Больший термин силлогизма (предикат заключения) – ученые. Средний термин силлогизма – глупый.
Запишем силлогизм:
Ни один ученый не глуп – большая посылка.
Некоторые мужчины глупы – меньшая посылка.
Некоторые мужчины не ученые – заключение.
Схема силлогизма:
Ни один Р+ не есть М+.
Некоторые S- есть М-.
Некоторые S- не есть Р+.
Это вторая фигура силлогизма (средний термин – предикат в обеих посылках). Модус EIO (Festino) – правильный.
Вывод следует с необходимостью.
7. Даны 2 посылки. Определить большую и меньшую. Сделать вывод. Проверить правильность вывода с помощью кругов Эйлера. Определить фигуру силлогизма, с помощью правил силлогизмов установить, следует ли вывод с необходимостью.
Все адвокаты имеют высшее юридическое образование, некоторые из них занимаются научной деятельностью.
В зависимости от того, какую посылку считать большей, возможно два вывода:
1) Все адвокаты имеют высшее юридическое образование.
Некоторые адвокаты занимаются научной деятельностью.
Некоторые из тех, кто занимается научной деятельностью, имеют высшее юридическое образование.
Схема силлогизма:
Все М+ есть Р-.
Некоторые М- есть S-.
Некоторые S- есть Р-.
Это третья фигура силлогизма (средний термин – субъект в обеих посылках). Модус AII (Datisi) – правильный.
Проверим силлогизм по правилам:
Правила терминов соблюдены: в силлогизме три термина; средний термин распределен в большей посылке; в заключении оба термина не распределены.
Правила посылок соблюдены: обе посылки – утвердительные суждения; меньшая посылка – частное суждение, но и заключение – частное.
Правила третьей фигуры соблюдены: меньшая посылка – утвердительное суждение; заключение – частное суждение.
Вывод следует с необходимостью.
1) Некоторые адвокаты занимаются научной деятельностью.
Все адвокаты имеют высшее юридическое образование.
Некоторые из тех, кто имеет высшее юридическое образование, занимаются научной деятельностью.
Схема силлогизма:
Некоторые М- есть Р-.
Все М+ есть S-.
Некоторые S- есть Р-.
Это третья фигура силлогизма (средний термин – субъект в обеих посылках). Модус IAI (Disamis) – правильный.
Проверим силлогизм по правилам:
Правила терминов соблюдены: в силлогизме три термина; средний термин распределен в меньшей посылке; в заключении оба термина не распределены.
Правила посылок соблюдены: обе посылки – утвердительные суждения; большая посылка – частное суждение, но и заключение – частное.
Правила третьей фигуры соблюдены: меньшая посылка – утвердительное суждение; заключение – частное суждение.
Вывод следует с необходимостью.
8. Составить 19 правильных умозаключений, соответствующих 19 правильным модусам фигур силлогизмов.
Модусы по первой фигуре.
Barbara:
Все планеты Солнечной системы вращаются вокруг Солнца.
Юпитер – планета Солнечной системы.
Юпитер вращается вокруг Солнца.
Celarent:
Ни один студент первой группы не явился на занятия.
Иванов – студент первой группы.
Иванов не явился на занятия.
Darii:
Скрипки участвуют в симфоническом оркестре.
Некоторые смычковые инструменты – скрипки.
Некоторые смычковые инструменты участвуют в симфоническом оркестре.
Ferio:
Никто из спортсменов, участвующих в соревновании, не сошел с дистанции.
Петров участвовал в соревновании.
Петров не сошел с дистанции.
Модусы по второй фигуре.
Cesare:
Ни один невиновный не должен быть осужден.
Н. должен быть осужден.
Н. не является невиновным.
Camestres:
Все москвичи знают, где находится Арбат.
Ни один член семьи Федоровых не знает, где находится Арбат.
Ни один член семьи Федоровых не москвич.
Festino:
Ни один судья не является депутатом.
Некоторые люди, имеющие юридическое образование, являются депутатами.
Некоторые люди, имеющие юридическое образование, не являются судьями.
Baroco:
Все студенты изучают иностранный язык.
Некоторые молодые люди не изучают иностранный язык.