Логика. Черняк Н.А. - 31 стр.

UptoLike

ВУЗ: 

ОмГУ | Омск

Составители: 

Рубрика: 

61
Доказательство:
()
()
11. 7, 3, П.К.Д. к сведение - DB 12.
10. 8, В.И.DBC 11.
9. В.Д. - DB 10.
8. 2, У.И.- D 9.
допущение. - С 8.
6. 4, В.И.DBА 7.
5. Д. В. - DB 6.
4.
1, У.И.- В 5.
допущение. -А 4.
П.
CA 3.
DС 2.
ВА 1.
∨
−∨→
∨
−∨→
∨
⎪
⎭
⎪
⎬
⎫
→
→
→
Правило простой деструктивной дилеммы (П.Д.Д.)
А
СВ
СА
ВА
∨
→
→
Доказательство:
5. 4, 3, П.К.Д. - А 6.
2. цииконтрапози правилоАС 5.
1. цииконтрапози правилоАВ 4.
П.
СВ 3.
СА 2.
ВА 1.
−→
−→
⎪
⎭
⎪
⎬
⎫
∨
→
→
Правило сложной деструктивной дилеммы (С.Д.Д.)
CA
DB
DC
BA
∨
∨
→
→
62
Доказательство:
5. 4, 3, С.К.Д. - CA 6.
2. П.К. - CD 5.
1. П.К.AB 4.
.П
DB 3.
DC 2.
BA 1.
∨
→
−→
⎪
⎭
⎪
⎬
⎫
∨
→
→
Вопросы для повторения
1. Что такое отношение логического следования? Как проверить,
имеет ли оно место в умозаключении?
2. Что такое непосредственные умозаключения и каковы их виды?
3. Назовите правила посылок и правила терминов простого кате-
горического силлогизма.
4. Что такое метод натурального вывода?
5. Каковы основные прямые и непрямые правила логики сужде-
ний?
6.
Чем отличается прогрессивный полисиллогизм от регрессив-
ного? 
Доказательство:                                       Доказательство:
1. А → В ⎫                                            1. A → B ⎫
          ⎪                                                    ⎪
2. С → D⎬П.                                           2. C → D⎬П.
3. A → C ⎪⎭                                                    ⎪
                                                      3. B ∨ D ⎭
4. А - допущение.
                                                       4. B → A − П.К.1.
5. В - У.И.1, 4.
                                                       5. D → C - П.К. 2.
6. B ∨ D - В. Д. 5.
7. А → (B ∨ D ) − В.И. 4, 6.                           6. A ∨ C - С.К.Д. 3, 4, 5.
8. С - допущение.
                                                                         Вопросы для повторения
9. D - У.И. 2, 8.
10. B ∨ D - В.Д. 9.                                    1. Что такое отношение логического следования? Как проверить,
                                                 имеет ли оно место в умозаключении?
11. C → (B ∨ D ) − В.И. 8, 10.
                                                       2. Что такое непосредственные умозаключения и каковы их виды?
12. B ∨ D - сведение к П.К.Д. 3, 7, 11.                3. Назовите правила посылок и правила терминов простого кате-
                                                 горического силлогизма.
Правило простой деструктивной дилеммы (П.Д.Д.)         4. Что такое метод натурального вывода?
А→В                                                    5. Каковы основные прямые и непрямые правила логики сужде-
А→С                                              ний?
В∨ С                                                   6. Чем отличается прогрессивный полисиллогизм от регрессив-
                                                 ного?
   А
Доказательство:
1. А → В ⎫
         ⎪
2. А → С⎬П.
         ⎪
3. В ∨ С ⎭
4. В → А − правило контрапозиции 1.
5. С → А − правило контрапозиции 2.
6. А - П.К.Д. 3, 4, 5.

Правило сложной деструктивной дилеммы (С.Д.Д.)
A→B
C→D
B∨ D
 A∨C

                                61                                                  62

Страницы