Obwersja (łac. - obversio) — wnioskowanie polegające na dodaniu negacji do orzecznika zdania z jednoczesną zmianą jego jakości[1], innymi słowy zgodnie z następującymi prawami logiki tradycyjnej:
- SaP → SeP'
- SeP → SaP'
- SiP → SoP'
- SoP → SiP'
Na przykład:
- Każdy kot jest ssakiem. Zatem: Żaden kot nie jest nie-ssakiem.
- Żadna mrówka nie jest słoniem. Zatem: Każda mrówka jest nie-słoniem.
- Jan Tokarski, Słownik wyrazów obcych, Państwowe Wydawnictwa Naukowe, Warszawa, 1980, ISBN 83-01-00521-1
- Witold Marciszewski (red.), Mała encyklopedia logiki, wyd. 2 rozszerzone, Wrocław, Ossolineum, 1988 (1sze wyd. 1970) ISBN 83-04-01327-4
- Krzysztof Wieczorek, Wprowadzenie do logiki, Warszawa, Wydawnictwo Skrypt, 2005 ISBN 83-89522-50-0