اقرن العبارات من العمود الأول بما يناسبها من مبررات في العمود الثاني وذلك لإثبات انه إذا a b ¯؟
إقران العبارات من العمود الأول مع المبررات المناسبة في العمود الثاني يعتمد على فهم العلاقة بين العبارات المنطقية. عندما نثبت صحة فرضية معينة، نحتاج إلى ربطها بمبررات منطقية توضح كيف يمكن الوصول إلى النتيجة المطلوبة. في حالة ارتباط العبارات بنفي أحد الأطراف، يتم استخدام مبادئ المنطق مثل مبدأ التناقض أو مبدأ الاستدلال بالعكس لإثبات العلاقة بين العبارات. هذا يتطلب فحص العلاقة بين العبارات بشكل دقيق وتحديد المبررات المنطقية التي تساهم في إثبات صحة الاستنتاجات بناءً على القواعد المتفق عليها في المنطق الرياضي.