Привести пять-шесть собственных примеров различных дедуктивных умозаключений (возможно, из личного опыта). Приводя примеры, необходимо указать тип умозаключений (простой категорический силлогизм, условные, условно-категорические, разделительные,

Вот несколько примеров дедуктивных умозаключений, каждый из которых относится к различным типам:

Пример 1: Простой категорический силлогизм (Фигура 1)

Утверждение 1: Все студенты учатся.
Утверждение 2: Иван — студент.
Вывод: Следовательно, Иван учится.

Логическая структура:
1. Все A (студенты) — B (учатся).
2. C (Иван) — A (студент).
3. Следовательно, C (Иван) — B (учится).

Тип умозаключения: Простой категорический силлогизм.

---

Пример 2: Условное умозаключение (по утверждающему...

Если идет дождь, то улица мокрая. Идет дождь. Следовательно, улица мокрая.

1. Если A (идет дождь), то B (улица мокрая).
2. A (идет дождь).
3. Следовательно, B (улица мокрая).

Условное умозаключение (по утверждающему модусу).

---

Если я не сплю, то я работаю. Я не работаю. Следовательно, я сплю.

1. Если A (я не сплю), то B (я работаю).
2. Не B (я не работаю).
3. Следовательно, не A (я сплю).

Условно-категорическое умозаключение (по отрицающему модусу).

---

Либо я пойду в кино, либо я останусь дома. Я не пойду в кино. Следовательно, я останусь дома.

1. A (я пойду в кино) или B (я останусь дома).
2. Не A (я не пойду в кино).
3. Следовательно, B (я останусь дома).

Разделительное умозаключение (по утверждающе-отрицающему модусу).

---

Либо у меня есть собака, либо у меня есть кошка. У меня нет кошки. Следовательно, у меня есть собака.

1. A (у меня есть собака) или B (у меня есть кошка).
2. Не B (у меня нет кошки).
3. Следовательно, A (у меня есть собака).

Разделительно-категорическое умозаключение (по отрицающему-утверждающему модусу).

---

Все люди смертны. Сократ — человек. Следовательно, Сократ смертен.

1. Все A (люди) — B (смертны).
2. C (Сократ) — A (человек).
3. Следовательно, C (Сократ) — B (смертен).

Лемматическое умозаключение.

---

Эти примеры демонстрируют различные типы дедуктивных умозаключений, каждый из которых имеет свою структуру и логику.