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ă”;

Formulă: SP -> ~(S~P);

Tipuri:

FORMULĂ	LIMBAJ NATURAL	DIAGRAME VENN
SaP → Se~P	Toți S sunt P. → Niciun S nu este ~P.
SeP → Sa~P	Niciun S nu este P. → Toţi S sunt ~P.
SiP → So~P	Unii S sunt P.→ Unii S nu sunt ~P.
SoP → Si~P	Unii S nu sunt P.→ Unii S sunt ~P.