<logic, philosophy of science> the relationship between two propositions that are logically equivalent. In categorical logic, the traditional immediate inferences include: conversion, obversion, and contraposition.
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google