حقيقة تعدي شرطي