Converse

Of proposition.

A proposition obtained by conversion.

This concept's ID is @1~35962