المنطق الرياضي

ما هو البديل في منطق الجموع؟

البديل في منطق الجموع هو عبارة عن قاعدة منطقية تقول: “إما أن يحدث هذا، أو يحدث ذاك”. وتستخدم هذه القاعدة لتحويل الجمل الشرطية إلى صيغ أكثر بساطة. فمثلاً، إذا كانت الجملة الشرطية “إذا ذهب فلان إلى السوق، فسوف يشتري التفاح”، يمكن تحويلها باستخدام البديل إلى “إما أن يذهب فلان إلى السوق ويشتري التفاح، أو لا يذهب إلى السوق”.