Bir önermenin niteliğini değiştirmeden, öznenin olumsuz halini yüklem, yüklemin olumsuz halini özne yapmaya "ters döndürme" denir. Buna göre "Her bitki canlıdır." önermesinin ters döndürmesi aşağıdakilerden hangisidir?
Bütün canlılar bitkidir.
Bazı bitkiler canlı değildir.
Her canlı olmayan bitki olmayandır.
Bazı bitki olmayanlar canlı olmayan değildir.