Közvetlen következtetések kategorikus kijelentésekkel ismétlés

​

A terminusok elosztottságának törvénye szerint a konklúzió valamely terminusa csak abban az esetben elosztott, ha a premisszákban is elosztott.

​A megfordítás és átalakítás

A megfordítás az a logikai művelet, amelynél a konklúzió levonásakor a terminusok (S és  P) helyet cserélnek.

Érvényes alakzatok:

SaP -M-> PiS                       esetlegességen alapuló megfordítás

SeP -M-> PeS                       egyszerű megfordítás

SeP -M-> PoS                        esetlegességen alapuló megfordítás

SiP -M-> PiS                        egyszerű megfordítás

​Az átalakítás az a logikai művelet, amelynél a konklúzió levonásakor megváltozik a kijelentés minőssége, a premissza állítmányát pedig tagadjuk.

Érvényes alakzatok:

SaP -Á-> Se non-P                                 Minden S P. -Á-> Egyetlen S sem non-P.

SeP -Á-> Sa non-P                                 Egyetlen S sem P. -Á-> Minden S non-P.

SiP -Á-> So non-P                                  Némely S P. -Á-> Némely S nem non-P.

SoP -Á-> Si non-P                                  Némely S nem P. -Á-> Némely S non-P.

​Pl. :
Minden S P. -Á-> Egyetlen S sem non-P.

Minden ember intelligens lény. -Á->Egyetlen ember sem non-intelligens lény.


S: ember
P: intelligens lény