Умозаключения подчинения

Схемы:

А(и) Е(и) О(л) I(л)

I(и) , О(и) , Е(л) , А(л)

Можно из истинности общих суждений делать вывод об истинности подчиненных им частных сужде-

ний, из ложности частных суждений делать вывод о ложности подчиняющих общих суждений.

Умозаключения противоречия

Е(и) --> I(л) А(и) -->О(л) А(л) -->О(и) Е(л) --> I(и)

О(и) -->А(л) I(и) --> Е(л) I(л) --> Е(и)

О(л) -->А(и)

Можно из ложности одного из противоречащих суждений делать вывод об истинности другого противоречащего суждения

Можно из истинности одного из противоречащих суждений делать вывод о ложности другого противоречащего суждения.

Схемы:

O(л) I(л)

I(и) O(и)