5. Определите вид сложного суждения. Используя сводную таблицу истинности, установите истинность или ложность сложного суждения от истинности или ложности составляющих его простых.

Сводная таблица условий истинности сложных суждений

p	q	p۸q	p ۷ q	p ۷q	p → q	p ≡ q
И	И	И	И	Л	И	И
И	Л	Л	И	И	Л	Л
Л	И	Л	И	И	И	Л
Л	Л	Л	Л	Л	И	И

Например:

Все люди рождаются свободными и равными в своих достоинствах и правах (Всеобщая декларация прав человека). – Конъюнктивное суждение: p۸q. Суждение истинно при истинности составляющих его простых суждений (1-я строка) и ложно во всех остальных случаях.

1. Виновным в преступлении признается лицо, совершившее преступление умышленно или по неосторожности.

2. Суд отказывает в иске истцу, если его исковые требования являются незаконными.

3. Уголовное дело не может быть возбуждено за отсутствием состава преступления.

4. Ее любимые писатели У. Эко и Л. Кэрролл.

5. Разбойное нападение было совершено Петровым О. С. или Фурман В. И.

6. В случае злостного уклонения от уплаты штрафа, он заменяется обязательными работами, исправительными работами или арестом (из ст. 46 УК).

7. Если при пожаре он выпрыгнет из окна, то рискует получить либо ожоги, либо травмы, либо то и другое.

8. В случае отсутствия оснований к возбуждению уголовного дела, а равно при наличии обстоятельств, исключающих производство по делу, прокурор, следователь, орган дознания и судья отказывают в возбуждении уголовного дела.

9. Неверно, что внеземные цивилизации существуют, и не существуют.

Семинар 5. Дедуктивные умозаключения. Выводы из простых суждений

1. Постройте непосредственные умозаключения - обращение, превращение противопоставление предикату и по логическому квадрату.

1. Все безответственные люди не являются надежными.

2. Некоторые россияне являются гражданами других стран.

3. Кальмары – беспозвоночные животные.

4. Граждане РФ имеют право на образование.

5. Частноотрицательные суждения не обращаются.

2. Запишите простые категорические силлогизмы в стандартной форме. Проставьте термины. Определите фигуру. Проверьте получившиеся умозаключения по всем правилам простого категорического силлогизма. Достоверен ли вывод?

1. Ни одна рыба не является теплокровным животным. Это животное – теплокровное. Значит, это животное – не рыба.

2. Ни один ребенок не любит насилия. Я тоже не люблю насилия. Я — ребенок.

3. Все цветы — растения. Мох — тоже растение. Мох — цветок.

4. Некоторые преступники имеют высшее образование. Ни один студент не имеет высшего образования. Ни один студент не преступник.

5. Всякая мысль имеет свою форму. Всякая форма имеет содержание. Всякая мысль имеет содержание.

6. Все математики древности были философами. Пифагор — древнегреческий математик. Пифагор — философ.

7. Все произведения А. К. Дойля — детективы. Книга, которую я читаю не - детектив. Книга, которую я читаю, не - произведение А. К. Дойля.

8. Каждый совершивший преступление должен быть подвергнут справедливому наказанию. Обвиняемый совершил преступление, следовательно, он должен быть подвергнут справедливому наказанию.

9. Многие из нас совершают опрометчивые поступки. Павлов – один из нас. Значит, Павлов совершает опрометчивые поступки.

10. Всякий студент рад пятерке. Всякий школьник рад пятерке. Значит, школьник – это студент.