Умозаключения. Выводы из сложных суждений.

чисто условные

обе посылки и заключение - условные суждения

следствие следствия есть следствие основания

(р  q), (q  r)

p  r

условно категорические

1 из посылок – условное, а др. посылка и заключение – категорические суждения

В прав. ф-ах выводы имеют необходим. хар-р, т.е. гарант. истинность закл. при истинных посылках, в неправ. – вероятностный.

Виды:

►правильная ф-ма утверждающего модуса

ход умозаключ. направлен от утвержд. истинности основания условной посылки к утвержд. истинности следствия условной посылки:

р→q

p _

q

►неправильная ф-ма утверждающего модуса

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

р→q

q _ _

вероятно,p

► правильная ф-ма отрицающего модуса

ход умозаключ. направлен от отрицания истинности следствия к отрицанию истинности основания условной посылки

p→q

q _

‾ p

►неправильная ф-ме отрицающего модуса

ход рассуждения направлен от отрицания истинности основания к отрицанию истинности следствия условной посылки

p→q

p _

вероятно,‾q

утверждающе-отрицающий модус

отрицающе-утверждающий модус

путем утверждения 1 из членов дизъюнкции производится отрицание всех остальных дизъюнктов

путем отрицания всех членов дизъюнкции, кроме 1, производится утверждение оставшегося члена

Разделит. посылка в должна представлять собой строгую дизъюнкцию

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

p v q

p _

q

p v q

q

p

p v q

p _

q

p v q

q

p

простые

сложные

конструктивные

деструктивные

конструктивные

деструктивные

- В условной посылке утверждается: из 2 различных оснований вытекает 1 и то же следствие.

- В разделит. посылке утверждается: выбор ограничен только этими 2 основаниями.

- В заключении утверждается следствие условных посылок.

В условной посылке указывается: из 1 и того же основания вытекают 2 разных следствия.

В разделит. посылке отрицается по крайней мере 1 из этих следствий.

В заключении отрицается основание.

В условной посылке указывается, что из 2 оснований вытекает не 1 и то же следствие, а 2 разных следствия.

остальное см. в простой

В условных посылках указывается: из 2 разных оснований вытекают разл. следствия.

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

В заключении отрицается 1 из возможных оснований.

Применяется, когда необходимо показать неизбежность какого-л. явл. Данная цель достигается, когда мы показываем, что это явл. может быть обусловлено 2 альтернативами, и что это – все возможные альтернативы.

Используются для опровержения какого-л. мнения.

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

(pq)(rq)

pVr _

q

(pq)(p r)

qVr _

p

(pq) (rs)

pVr _

qVs

(pq) (rs)

qVs _

pVr