Obwersja () – wnioskowanie polegające na dodaniu negacji do orzecznika zdania z jednoczesną zmianą jego jakości, 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.
Przypisy
Bibliografia Jan Tokarski, Słownik wyrazów obcych, Państwowe Wydawnictwa Naukowe, Warszawa, 1980, . Witold Marciszewski (red.), Mała encyklopedia logiki, wyd. 2 rozszerzone, Wrocław, Ossolineum, 1988 (1sze wyd. 1970) . Krzysztof A. Wieczorek, Wprowadzenie do logiki, Warszawa, Wydawnictwo Skrypt, 2005 .
Kategoria:Logika