S (Р) P (М) SEM II фигура, модус ЕАЕ

Ни один офицер не является уткой.

S M PEM

Все мои птицы являются утками SAM

S P SEM II фигура, модус ЕАЕ

Все мои птицы не офицеры

Решим сорит. (стр. 43, №7)

1. Ни один муж, дарящий жене новые платья, не может быть несговорчивым.

(Все мужья, дарящие жене новые платья, являются сговорчивыми) SAP

2.Аккуратный муж всегда возвращается домой к чаю.

(Подвергнем посылку отрицанию –«Неаккуратный муж никогда не возвращается домой к чаю»)

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

4.Хороший муж всегда дарит жене новые платья.

5.Ни один муж не может быть несговорчивым, если жене очень трудно следить за его одеждой.

(Все мужья являются сговорчивыми, если жене трудно следить за его одеждой)

6.Неаккуратный муж всегда вешает свою шляпу на газовый рожок.

(стр.43, упражнение №7 учебного пособия)

Особенностью этого сорита является перепутанность посылок и для того, чтобы их формализовать обозначим буквами, подберем в порядке наличия «среднего термина».

А –муж, дарящей жене новые платья

В – является сговорчивым.

С – хороший муж

Д- содержать в порядке одежду мужа.== Следить за одеждой

Е- вешать шляпу на газовый рожок

F–неаккуратный муж

G –муж, который возвращается домой к чаю.

Все A-B Все В-D Все D- Е Все Е -F

Все C-A Все С-В Все С- D Все С-Е

Все C-B Все C-D Все C- E Все С-F

Все A есть B Все F не - не G

Все F не есть не G Все C - F

Все D есть E -----------------------------

Все С не есть не G

Все С есть А Все С есть G

Все Е есть F.

Все С не есть не G

Все С есть G

Все хорошие мужья не есть не возвращающиеся всегда домой к чаю

Хороший муж всегда возвращается домой к чаю.

3) Умозаключения логики суждений.

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

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

1) условно-категорические;

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

3) разделительно-категорические;

4) условно-разделительные.

1) Условно-категорическим является умозаключение, в котором одна из посылок условное, а другая категорическое суждение. Данное умозаключение имеет два правильных модуса: утверждающий и отрицающий.

А) Утверждающий модус (vmodus ponens) имеет структуру p-> q, p

--------------

q

Если вина обвиняемого не доказана (р), то он считается невиновным (q)

Вина обвиняемого не доказана (р)

Обвиняемый считается виновным (q)