Converse , en logique, la proposition résultant d'un échange de sujet et de prédicat l'un avec l'autre. Ainsi, l'inverse de «Aucun homme n'est un crayon» est «Aucun crayon n'est un homme». En syllogistique traditionnelle, généralement seules les propositions E (universel négatif) et I (particulier affirmatif) donnent une réciproque valide. L'inverse d'une relation R est la relation S telle que x S y ( y a la relation S à x ) si, et seulement si, y R x ( x a la relation R à y ). Si une relation est identique à sa réciproque, elle est symétrique.
