В традиционной логике , обверсия — это «тип непосредственного вывода , в котором из данного предложения выводится другое предложение, субъект которого совпадает с исходным, предикат которого противоречит исходному предикату, и качество которого является утвердительным, если качество исходного предложения было отрицательным, и наоборот». [1] Качество выведенного категорического предложения изменяется, но истинностное значение остается тем же, что и у исходного предложения. Непосредственно выведенное предложение называется «обратным» исходному предложению и является допустимой формой вывода для всех типов (A, E, I, O) категорических предложений.
В общеутвердительном и общеотрицательном суждениях подлежащее и сказуемое заменяются своими отрицательными эквивалентами:
Общеутвердительное (суждение «А») преобразуется в общеотрицательное (суждение «Е»).
Общеотрицательное (суждение «Е») преобразуется в общеутвердительное (суждение «А»).
В частном утвердительном предложении количество субъектного термина остается неизменным, но предикатный термин выводимого предложения отрицает дополнение предикатного термина исходного предложения. Частное утвердительное предложение (предложение "I") преобразуется в частное отрицательное предложение (предложение "O").
При замене частного отрицательного предложения на частное утвердительное количество субъекта также остается неизменным, а предикатный термин изменяется с простого отрицания на термин дополнительного класса. Частное отрицательное предложение («О») преобразуется в частное утвердительное предложение («I»).
Обратите внимание, что истинностное значение исходного утверждения сохраняется в его результирующей обратной форме. Благодаря этому, обверсия может использоваться для определения непосредственных выводов всех категорических предложений, независимо от качества или количества.
Кроме того, обверсия позволяет нам перемещаться по традиционному квадрату логической оппозиции , предоставляя средство для перехода от предложений "A" к предложениям "E", а также от предложений "I" к предложениям "O" и наоборот. Однако, хотя полученные предложения от обверсии логически эквивалентны исходным утверждениям с точки зрения истинностного значения, они семантически не эквивалентны своим исходным утверждениям в их стандартной форме.