Некоторые S не суть P – O

Некоторые участник ВОВ не награждены боевыми орденами

Все S суть P – A

Все участники ВОВ награждены боевыми орденами

Все S не суть P – E

Все участники ВОВ не награждены боевыми орденами

Гл. IV

Упр.3.5

Используя условную посылку, постройте умозаключение: а) по утверждающему, б) по отрицательному модусу, постройте их схему в символической записи. Если условная посылка явно не выражена, сформулируйте её в явной логической форме (со связкой «если…, то…»)

Когда в товарищах согласья нет, на лад их дело не пойдет (Крылов)

1.Запишем посылку с помощью логического союза «если…, то…»: если в товарищах согласья нет (p), то на лад их дело не пойдет (q)/

Здесь 2 простых высказывания:

1) В товарищах согласья нет – p

2) На лад их дело не пойдет – q

Логическая формула посылки: p→q

а) построим умозаключение по утверждающему модусу. Его схема:

p→q, p

Q

В соответствии со схемой получаем:

Если в товарищах согласья нет, то на лад их дело не пойдет. В товарищах согласья нет. Следовательно, на лад их дело не пойдет.

б) построим умозаключение по отрицающему модусу. Его схема:

p→q, ┐q

P

В соответствии со схемой получаем: