Obwersja

Obwersja (łac. - obversio) — 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.

Bibliografia

• 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