Строим умозаключение по утверждающе-отрицающему модусу:
Кража совершена Б., значит В. и Г кражу не совершали.
p vq vr , p – заключение следует с необходимостью
┐q v ┐ r
Строим умозаключение по отрицающе-утверждающему модусу:
Кража совершена не Б., значит либо В., либо Г.
< pvqvr >, ┐р - заключение следует с необходимостью
qvr
9. Подстрекатель мог склонить Г. к совершению преступления путем уговора (p), подкупа (q), угроз
(r) или иным способом (s).
Строим умозаключение по утверждающе-отрицающему модусу:
Подстрекатель склонить Г. к совершению преступления путем уговора, следовательно не подкупом,
угрозой или иным способом.
____p v q vrvs , p – заключение не следует с необходимостью
┐q v ┐p v ┐s
Строим умозаключение по отрицающе-утверждающему модусу:
Подстрекатель склонить Г. к совершению преступления не путем уговора, следовательно подкупом,
угрозой или иным способом.
< pvq >, ┐р - заключение следует с необходимостью
qvpvs
10. В этом озере можно поймать и щуку (p), и леща, и окуня, и плотву.
Строим умозаключение по утверждающе-отрицающему модусу:
В этом озере можно поймать щуку (p), следовательно нельзя поймать леща, окуня и плотву (q).
p v q, p – заключение не следует с необходимостью
┐q
Строим умозаключение по отрицающе-утверждающему модусу:
В этом озере можно не поймать щуку (p), следовательно можно поймать леща, окуня и плотву (q).
< pvq >, ┐р - заключение не следует с необходимостью
q
11. Возникновение проблемных ситуаций в науке свидетельствует либо о противоречиях между
старыми теориями и вновь обнаруженными фактами, либо о недостаточной корректности и
разработанности самой теории, либо о том и другом одновременно.
Строим умозаключение по утверждающе-отрицающему модусу:
Проблемные ситуации в науке свидетельствует о противоречиях между старыми теориями и вновь
обнаруженными фактами (p), следовательно неверно думать о недостаточной корректности и
разработанности самой теории, либо о том и другом одновременно.
p vq vr , p – заключение с необходимостью не следует
┐q ┐ r
Строим умозаключение по отрицающе-утверждающему модусу:
Проблемные ситуации в науке не свидетельствует о противоречиях между старыми теориями и
вновь обнаруженными фактами (p), с одновременной недостаточностью корректности и
разработанности самой теории (q), следовательно недостаточная корректность и разработанности
самой теории имеет место.
< pvqvr >, ┐р - заключение с необходимостью не следует
qvr
12. Потерпевшим признается лицо, которому преступлением причинен моральный (p), физический
(q) или имущественный вред (r).
Строим умозаключение по утверждающе-отрицающему модусу:
Если потерпевшему причинен моральный вред (p), следовательно ему не причинен физический (q)
или имущественный вред (r).