Converse , in logica, la proposizione risultante da uno scambio tra soggetto e predicato. Pertanto, il contrario di "Nessun uomo è una matita" è "Nessuna matita è un uomo". Nella sillogistica tradizionale, generalmente solo le proposizioni E (negativo universale) e I (affermativo particolare) producono un valido contrario. Il contrario di una relazione R è la relazione S tale che x S y ( y ha la relazione S con x ) se, e solo se, y R x ( x ha la relazione R con y ). Se una relazione è identica al suo inverso, è simmetrica.
