المقدمة (المنطق)

المقدمة هي النصف الأول من القضية الافتراضية ، عندما تسبق جملة "إذا" جملة "إذن". في بعض السياقات، تُسمى المقدمة بالفرضية . ^{[ 1 ]}

أمثلة:

• لو${\displaystyle P}$، ثم${\displaystyle Q}$.

هذه صياغة غير منطقية لقضية افتراضية. في هذه الحالة، المقدمة هي P ، والنتيجة هي Q. في الاستلزام "${\displaystyle \phi }$يشير إلى${\displaystyle \psi }$",${\displaystyle \phi }$يُطلق عليه اسم السابق و${\displaystyle \psi }$يُطلق عليه اسم النتيجة. ^{[ 2 ]} يتم ربط المقدمة والنتيجة عبر رابط منطقي لتشكيل قضية .

• لو${\displaystyle X}$إذا كان رجلاً، فإذن${\displaystyle X}$هو فانٍ.

"${\displaystyle X}$"هو رجل" هو الشرط الأساسي لهذه القضية بينما "${\displaystyle X}$"هو فانٍ" هو نتيجة هذه القضية.

• إذا كان البشر قد ساروا على سطح القمر، فأنا ملك فرنسا.

هنا، "لقد سار الرجال على سطح القمر" هو المقدمة و "أنا ملك فرنسا" هو النتيجة.

يترك${\displaystyle y=x+1}$.

• لو${\displaystyle x=1}$ثم${\displaystyle y=2}$.

"${\displaystyle x=1}$" هو السابق و "${\displaystyle y=2}$"هو نتيجة هذا الافتراض الافتراضي".

• نتيجة
• تأكيد النتيجة (مغالطة)
• إنكار المقدم (مغالطة)
• الضرورة والكفاية