В) Отрицающе-утверждающий модус имеет формулу

p v q, q

~p

 

Преступление совершено умышленно (р) или по неосторожности (q)

Данное преступление совершено по неосторожности (q)

Значит, не умышленно (~p)

Основное правило: данные умозаключения являются тождественно-истинными формулами только при строгой дизъюнкции.

Ошибки возникают при использовании нестрогой дизъюнкции, когда не перечислены все возможные случаи.

Например, Данное хищение является разбоем (p) или кражей (q)

Данное преступление не является кражей (`~q)

Значит оно является разбоем (р)

В данном случае умозаключение ошибочно, так как не перечислены все возможные случаи хищения –растрата, присвоение, мошенничество как исключенные уже в посылке.

 

Условно-разделительные умозаключения

-Эти умозаключения являются сложными и включают - одну из посылок разделительное суждение, а остальные – условные суждения. Они могут быть дилеммами, трилеммами, полилеммами. Мы рассмотрим лишь дилеммы.

 

А) простая конструктивная дилемма; условная посылка содержит два основания, из которых вытекает одно и тоже следствие. Разделительная посылка утверждает оба возможных основания, заключение утверждает следствие

Основное правило:

Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствия.

Схема: p –> r, q -> r, p v q

r

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

Если преступление совершено под влиянием сильного душевного волнения, вызванного неправомерным действием потерпевшего (q), то это обстоятельство также признается смягчающим ответственность (r)

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

Имеются обстоятельства, смягчающие ответственность виновного (r).

 

 

В сложной конструктивной дилемме условная посылка содержит два основания и два следствия.

Разделительная посылка утверждает оба возможных основания.

 

Основное правило:

Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий.

Схема:

p -> q, r -> s, p v r

Q v s

 

Если сберегательный сертификат является предъявительским (р), то он передается другому лицу путем вручения (q).

Если он является именным (r), то предъявляется в порядке, установленном для уступки требований (s).

Но сберегательный сертификат может быть предъявительским (р) или именным (r).

Следовательно, сберегательный сертификат передается другому лицу путем вручения (q) или в порядке, установленным для уступки требований (s).