Mantıkta, özne ve yüklemin birbirleriyle değiş tokuşundan kaynaklanan önermeyi tersine çevirin. Dolayısıyla "Hiç kimse kalem değildir" kelimesinin tersi "Kalem erkek değildir" dir. Geleneksel kıyaslamada, genellikle sadece E (evrensel olumsuz) ve I (özel olumlu) önermeler geçerli bir tersi sağlar. Bir R ilişkisinin tersi, x S y'nin ( y'nin S ile x arasındaki ilişkiye sahip olduğu ) S bağıntısıdır , ancak ve ancak, y R x ( x , R ile y ilişkisine sahiptir ). Bir ilişki onun tersiyle özdeşse, simetriktir.
