الافتراض عبارة عن مقولة او عبارة تطرح في بداية أطروحة سواء كانت على شكل فرضية أو نظرية جاهزة للانطلاق منها في حالة البرهان لكنها لا تشكل عبارة مقطوع في صحتها كما يتم افتراضه في حالة البديهية أو المسلمة . غالبا ما تستخدم عبارة افتراض أو مقدمة افتراضية Proposition في المنطق فعملية القياس حسب منطق أرسطو تتم بوضع مقدمتين : صغرى و كبرى للحصول على نتيجة . اما في الرياضيات فيتم صياغة الافتراض على شكل عبارة يمكن إثبات صحتها او خطئها ، في حال تم إثبات صحتها يتم تحويلها إلى مبرهنة .