Логика и теория аргументации. Скачков А.С. - 92 стр.

UptoLike

ВУЗ: 

ОмГТУ | Омск

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

Рубрика: 

92
a b c
((c ⊃ a) ∧ (c ⊃ b)) ∧ (¬a ∨ ¬b)) ⊃ ¬c
и и и и и и л л и
и и л и и и л л и
и л и и л л л л и
и л л и и и и и и
л и и л л и л л и
л и л и и и и и и
л л и л л л л л и
л л л и и и и и и
Рис. 27
Сложные дилеммы выражаются тождественно-истинными формулами:
Вариант С — ((a⊃c)∧(b⊃d))∧(a∨b))⊃(c∨d);
Вариант D — ((c⊃a)∧(d⊃b))∧(¬a∨¬b))⊃(¬c∨¬d).
Поскольку же суждения, являющиеся в логической структуре первой посылки
антецедентами или консеквентами, берутся в качестве альтернатив второй по-
сылки
либо без отрицания (конструктивно), либо с отрицанием (деструктивно),
то различают такие разновидности дилемм (в целом — две разновидности лемм),
как конструктивная дилемма и деструктивная дилемма. Итак, простые и слож-
ные дилеммы могут быть как конструктивными, так и деструктивными (напри-
мер, формула варианта А) выражает простую и конструктивную дилемму; фор-
мула варианта
В) выражает простую и деструктивную дилемму; формула вариан-
та С) выражает сложную и конструктивную дилемму; формула варианта D) вы-
ражает сложную и деструктивную дилемму. Схемы всех разновидностей дилемм
— это:
1. Для простых конструктивных дилемм:
((А⊃ С)∧(B⊃C))∧(A∨B))⊃C.
2. Для сложных конструктивных дилемм:
((А⊃С
)∧(B⊃D))∧(A∨B))⊃(C∨D).
3. Для простых деструктивных дилемм:
((С⊃А)∧(C⊃B))∧(¬A∨¬B))⊃¬C.
4. Для сложных деструктивных дилемм:
((С⊃А)∧(D⊃B))∧(¬A∨¬B))⊃(¬C∨¬D). 
           a    b     c   ((c ⊃ a)   ∧ (c ⊃ b))   ∧ (¬a ∨ ¬b))   ⊃ ¬c
           и    и     и       и      и    и       л     л        и
           и    и     л       и      и    и       л     л        и
           и    л     и       и      л    л       л     л        и
           и    л     л       и      и    и       и     и        и
           л    и     и       л      л    и       л     л        и
           л    и     л       и      и    и       и     и        и
           л    л     и       л      л    л       л     л        и
           л    л     л       и      и    и       и     и        и

                                     Рис. 27

   Сложные дилеммы выражаются тождественно-истинными формулами:

                    Вариант С — ((a⊃c)∧(b⊃d))∧(a∨b))⊃(c∨d);
                    Вариант D — ((c⊃a)∧(d⊃b))∧(¬a∨¬b))⊃(¬c∨¬d).

   Поскольку же суждения, являющиеся в логической структуре первой посылки
антецедентами или консеквентами, берутся в качестве альтернатив второй по-
сылки либо без отрицания (конструктивно), либо с отрицанием (деструктивно),
то различают такие разновидности дилемм (в целом — две разновидности лемм),
как конструктивная дилемма и деструктивная дилемма. Итак, простые и слож-
ные дилеммы могут быть как конструктивными, так и деструктивными (напри-
мер, формула варианта А) выражает простую и конструктивную дилемму; фор-
мула варианта В) выражает простую и деструктивную дилемму; формула вариан-
та С) выражает сложную и конструктивную дилемму; формула варианта D) вы-
ражает сложную и деструктивную дилемму. Схемы всех разновидностей дилемм
— это:

   1. Для простых конструктивных дилемм:
                        ((А⊃ С)∧(B⊃C))∧(A∨B))⊃C.

   2. Для сложных конструктивных дилемм:
                       ((А⊃С)∧(B⊃D))∧(A∨B))⊃(C∨D).

   3. Для простых деструктивных дилемм:
                       ((С⊃А)∧(C⊃B))∧(¬A∨¬B))⊃¬C.

   4. Для сложных деструктивных дилемм:
                    ((С⊃А)∧(D⊃B))∧(¬A∨¬B))⊃(¬C∨¬D).




                                       92

Страницы