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

ما هو مفهوم الأصل والفرع في المنطق؟

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

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

وبشكل عام، يستخدم مفهوم الأصل والفرع في المنطق لتحليل العلاقات العقلية بين العبارات وترتيبها بطريقة منطقية.