Conversiunea

Definiţie: operaţie logică prin care termenii propoziţiei asumată ca premisă îşi

schimbă reciproc funcţiile; raţionament deductiv imediat
Formulă: SP -> PS;
Validitate: LEGEA DISTRIBUIRII TERMENILOR: oricare din cei doi termeni
(S şi P) apare distribuit în concluzie, dacă şi numai dacă a apărut distribuit şi
în premisă;

TIP S P

Sa
+ -
P

Se
+ +
P

SiP - -

So
- +
P

„+” semnifică „termen distribuit”

„-” semnifică „termen nedistribuit”

Tipuri:

LIMBAJ LIMBAJ
TIP DIAGRAME EULER
FORMAL NATURAL
 Niciun S nu
(+) SeP
este P.→
(+) → (+)
Niciun P nu
PeS (+)
este S.

CONVERSIUNE
SIMPLĂ

(-) SiP (-) Unii S sunt

→ (-) PiS P. → Unii P
(-) sunt S.

(+) SaP (-) Toţi S sunt

CONVERSIUNE
→ (-) PiS P.→ Unii P
prin ACCIDENT
(-) sunt S.

SoP nu se converteste valid

SeP se convertește și prin accident, in PoS
Obversiunea

Definiție: operație logică prin care, dintr-o propoziție de forma SP asumată ca

premisă, rezultă drept concluzie o propoziție echivalentă de forma ~(S~P)
numită „obversă”; raţionament deductiv imediat
Formulă: SP -> ~(S~P);
Tipuri:

FORMULĂ LIMBAJ NATURAL DIAGRAME VENN

SaP → Toți S sunt P. → Niciun

Se~P S nu este ~P.

SeP → Niciun S nu este P. →

Sa~P Toţi S sunt ~P.
SiP → Unii S sunt P.→ Unii S
So~P nu sunt ~P.

SoP → Unii S nu sunt P.→ Unii

Si~P S sunt ~P.