Inferentele valide bazate pe obversiune sunt:
1) SaP → Se~P
2) SeP → Sa~P
3) SiP → So~P
4) SoP → Si~P
Validitatea acestora,ca si a celor bazate pe conversiune,poate fi probata cu ajutorul diagramelor Venn.
Definitie standard: Obversiunea este operatia logica prin care dintr-o propozitie de forma SP asumata ca premisa,rezulta drept concluzie o propozitie de forma S~P numita „obversa”.Bara asezata deasupra concluziei arata ca obversa este o propozitie categorica de calitate inversa in raport cu premisa din care a fost derivata:daca premisa a fost afirmativa,concluzia este negativa,iar daca premisa a fost negativa,concluzia este afirmativa.
{,,~'' este o liniuta dreapta pe care o pui deasupra lui P}
----Unele bucatarese sunt pricepute in bucătărie.
In limbaj formal avem: SiP → So~P
In limbaj natural:Unii S sunt P.→ Unii S nu sunt ~P.
Exemplu:Unele bucatarese sunt pricepute in bucatarie.→Unele bucatarese nu sunt pricepute in bucatarie.
----Unii poeti nu sunt renumiti.(premisa;din premisa va rezulta concluzia)
Limbaj formal:SoP → Si~P
Limbaj natural:Unii S nu sunt P.→ Unii S sunt ~P(non P se citeste).
Ex:Unii poeti nu sunt renumiti→ (prin obversiune) rezulta propozitia:Unii poeti sunt renumiti.
Alte explicatii suplimentare:
Sip este o propozitie particulara,afirmativa.Adica:Unii S sunt P.
SoP este o propozitie particulara,negativa.Adica:Unii S nu sunt P.
