سهم مزدوج إلى اليمين

اقرأ A ⇒ B هكذا: «إذا كانت A، فإن B». يشير سهم الاستلزام إلى نتيجة منطقية، لا إلى خطوة قابلة للعكس. إثبات أن B ⇒ A يحتاج إلى حجة مستقلة.

للترميز بالأسهم تاريخ في الرياضيات: يظهر السهم المفرد → في عمل لعالم الرياضيات هيلبرت عام 1922؛ ويظهر السهم المزدوج ⇒ في ترميز بورباكي الرياضي عام 1954. تجدر الإشارة إلى أنه في النصوص الرياضية المكتوبة من اليمين إلى اليسار، قد يُستخدم السهم المعاكس ⇐ للحفاظ على اتجاه الاستلزام.