e/Obversion

Information
has gloss	eng: In traditional logic, obversion is a "type of immediate inference in which from a given proposition another proposition is inferred whose subject is the same as the original subject, whose predicate is the contradictory of the original predicate, and whose quality is affirmative if the original proposition's quality was negative and vice versa". The quality of the inferred categorical proposition is changed but the truth value is equivalent to the original proposition. The immediately inferred proposition is termed the "obverse" of the original proposition, and is a valid form of inference for all types (A, E, I, O) of categorical propositions.
lexicalization	eng: Obversion
instance of	e/Rule of inference

Meaning
Catalan
has gloss	cat: Una obversión lògica és una de les operacions que la lògica clàssica tradicional admetia com a operació lògica.
lexicalization	cat: Obversió lògica
Polish
has gloss	pol: Obwersja (łac. - obversio) — wnioskowanie polegające na dodaniu negacji do orzecznika zdania z jednoczesna zmianą jego jakości, innymi słowy zgodnie z następującymi prawami logiki tradycyjnej:
lexicalization	pol: Obwersja
Castilian
has gloss	spa: Una obversión lógica es una de las operaciones que la lógica clásica tradicional admitía como operación lógica.
lexicalization	spa: Obversion logica
lexicalization	spa: Obversión lógica