Сборник задач и упражнений по логике. Пантыкина М.И. - 38 стр.

UptoLike

ВУЗ: 

ТГУ | Тольятти

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

Рубрика: 

38
Типы умозаключений:
Тип умозаключения Правильные формы
умозаключения
Ошибки и неправильные
формы умозаключения
Дедуктивное чисто условное
умозаключение
p → g, g → r
p → r
Неполный перечень
условных суждений.
Дедуктивное условно-
категорическое
умозаключение
1. Утверждающий модус:
p → g, p
g
2. Отрицающий модус:
p → g, ~g
~p
Неправильные модусы:
1. p → g, ~p
~g
2. p → g, g
p
(отрицание основания не
ведет с необходимостью к
отрицанию следствия и
утверждение следствия не
ведет с необходимостью к
утверждению основания).
Дедуктивное разделительно-
категорическое
умозаключение
1.Утверждающе-
отрицающий модус:
p v g, p
~ g
или
p v g, g
~ p
2.Отрицающе-
утверждающий модус:
p v g, ~p
g
или
p v g, ~g
p
1. В утверждающе-
отрицательном
модусе вместо
строгой дизъюнкции
используется
нестрогая
дизъюнкция.
2. Неполный перечень
альтернатив.
Дедуктивное условно-
разделительное
умозаключение
1. Простая
конструктивная
дилемма:
(p → r) & (g → r), p v g
r
2.Простая деструктивная
дилемма:
(p → g) & (p → r), ~ g v ~ r
~ p
1. Неправильные модусы:
1.1.
(p → r) & (g → r), ~p v ~g
~r
1.2.
(p → g) & (p → r), g v r
p
(отрицание основания не
ведет с необходимостью к
отрицанию следствия и
утверждение следствия не
ведет с необходимостью к
утверждению основания).
2. Вместо строгой
дизъюнкции используется
нестрогая дизъюнкция.

Страницы