Логика. Юриспруденция. Контрольная работа

1. Отношения между простыми суждениями.
2. Ограничение и обобщение понятий: вуз, факультет, юрист, юридическое лицо, кодекс.
3.  Изображение отношений между понятиями в кругах Эйлера:

1) юрист, мужчина, человек, сын, прокурор;
2) тоталитарное государство, демократическое государство, Франция, президентская республика, Великобритания;
3) недвижимость, квартира, автомобиль, автомобиль "Мерседес", собственность;
4) квартира, однокомнатная квартира, квартира на втором этаже, собственность гражданина России;
5) кража, кража со взломом, грабёж, хищение, хулиганский поступок.

4. Установить, является ли выражение логическим законом: (((A → B) ˄ (C → B)) ˄ (A ˅ C)) → B

5. Запишите простой категорический силлогизм в стандартной форме. Проверьте по правилам, являются ли приведенные ниже категорические силлогизмы правильными, а заключение – истинным суждением.