Conversiunea

Teorie Exemple Aplicații
Definiţie: operaţie logică prin care termenii propoziţiei asumată ca premisă îşi
schimbă reciproc funcţiile;
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”
 TIP LIMBAJ FORMAL LIMBAJ NATURAL DIAGRAME EULER

CONVERSIUNE (+) SeP (+) → (+) Niciun S nu este P.→

SIMPLĂ PeS (+) Niciun P nu este S.
 (-) SiP (-) → (-) PiS Unii S sunt P. → Unii
(-) P sunt S.

CONVERSIUNE (+) SaP (-) → (-) PiS Toţi S sunt P.→ Unii P
prin ACCIDENT (-) sunt S.
 Unii S nu sunt P. →
CAZUL SoP
Unii P nu sunt S.
Conversiunea
Teorie Exemple Aplicații

1) Conversiune simplă SeP - > PeS (conversiune validă)

Nici un copil nu e obraznic.
-prin conversiune simplă devine:
Nici unul din cei obraznici nu este copil.
2) Conversiune simplă SiP - > PiS (conversiune validă)
Unii elevi şterg tabla.
-prin conversiune simplă devine:
Unii din cei care şterg tabla sunt elevi.
3) Conversiune prin accident SaP - > PiS (conversiune validă)
Toţi studenţii cartierului nostru merg la Facultatea de Informatică.
-prin conversiune prin accident devine:
Unii din cei care merg la Facultatea de Informatică sunt studenţii cartierului nostru.
Notă- tipului SaP nu i se aplică o conversiune simplă pentru că s-ar obţine o
propoziţie PaS ce nu respectă legea distribuirii termenilor:
(+) SaP (-) -> (+) PaS (-) (predicatul propoziţiei 2 nu este distribuit şi în propoziţia 1)
-convertit simplu ar fi:
Toţi cei care merg la Facultatea de Informatică sunt studenţii cartierului nostru. (fals
deoarece facultatea poate avea şi elevi din alte cartiere)
4) Cazul SoP - > PoS (mereu nevalid din cauza legii distribuirii termenilor)
Unii copaci nu sunt înalţi.
-prin conversiune simplă devine:
Unii din cei înalţi nu sunt copaci.
Obversiunea
Teorie Exemple Aplicații
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ă”;
Formulă: SP -> ~(S~P);
Tipuri:
FORMULĂ LIMBAJ NATURAL DIAGRAME VENN

SaP → Toți S sunt P. → Niciun S

Se~P nu este ~P.

SeP → Niciun S nu este P. → Toţi

Sa~P S sunt ~P.
 SiP → Unii S sunt P.→ Unii S nu
So~P sunt ~P.

SoP → Unii S nu sunt P.→ Unii S

Si~P sunt ~P.

1) Din SaP în Se~P

Toţi elevii clasei noastre aşteaptă cu nerăbdare ora de logică.
-prin obversiune devine:
Niciun elev al clasei noastre nu nonaşteaptă cu nerăbdare ora de logică.
2) Din SeP în Sa~P
La petrecerea mea nici un pahar cu suc nu rămâne plin.
-prin obversiune devine:
La petrecerea mea toate paharele cu suc sunt nepline.
3) Din SiP în So~P
Unele elemente din Sistemul Periodic sunt solide.
-prin obversiune devine:
Unele elemente din Sistemul Periodic nu sunt nonsolide.
4) Din SoP în Si~P
Unele probleme de matematică nu sunt complicate.
-prin obversiune devine:
Unele probleme de matematică sunt simple/noncomplicate.