Контрольная по логике

Тема 16
Упражнения:
1.Укажите вид следующих умозаключений:
1.1. Все планеты Солнечной системы - небесные тела
Некоторые небесные тела входят в Солнечную систему
1.2. Ни один вулкан не является безопасным
Следовательно, все вулканы являются. небезопасными
1.3. Все христиане не являются язычниками .
Следовательно, некоторые не язычники - христиане
2. Проверьте правильность следующих непосредственных умозаключений по логическому квадрату:
2.1.Если верно, что все квадраты являются равносторонними прямоугольниками, то неверно, что некоторые квадраты не являются равносторонними прямоугольниками.
2.2. Если неверно, что ни одно преступление не раскрывается, то также неверно и то, что все преступления раскрываются.
2.3. Если неверно, что все импрессионисты - французы, то следует признать, что некоторые из них не были французами.
2.4. Если верно, что некоторые писатели являются лауреатами Нобелевской премии, то также верно и то, что некоторые из писателей ими не являются.