Converse

Converse, mantıkta, özne ve yüklemin birbiriyle yer değiştirmesinden kaynaklanan önerme. Dolayısıyla, "Hiçbir insan bir kalem değildir "in tersi "Hiçbir kalem bir insan değildir "dir. Geleneksel kıyas biliminde genellikle yalnızca E (tümel olumsuz) ve I (tikel olumlu) önermeleri geçerli bir karşıt önerme verir. Bir R bağıntısının tersi S bağıntısıdır, öyle ki xSy (y, x ile S bağıntısına sahiptir) ancak ve ancak yRx (x, y ile R bağıntısına sahiptir) ise. Eğer bir ilişki tersi ile aynı ise simetriktir.