'''الافتراض''' Proposition هو مقولةٌ أو عبارة تطرح في بداية أطروحة سواء كانت على شكل [[فرضية]] أو [[نظرية]] جاهزة للانطلاق منها في حالة البرهان لكنها لا تشكل عبارة مقطوع في صحتها كما يتم افتراضه في حالة [[بديهية|البديهية أو المسلمة]]. غالبا ما تستخدم عبارة '''افتراض أو مقدمة افتراضية''' في المنطق فعملية [[قياس منطقي|القياس]] حسب [[منطق أرسطو]] تتم بوضع مقدمتين : صغرى وكبرى للحصول على نتيجة. اما في الرياضيات فيتم صياغة الافتراض على شكل عبارة يمكن إثبات صحتها أو خطئها، في حال تم إثبات صحتها يتم تحويلها إلى [[مبرهنة]].
== انظر أيضا ==
* [[دالة بوليانية القيمة]] Boolean-valued function
* [[حساب القضايا]]
== وصلات خارجية ==
* [[Stanford Encyclopedia of Philosophy]] articles on:
** [http://plato.stanford.edu/entries/propositions/ Propositions], by Matthew McGrath.
** [http://plato.stanford.edu/entries/propositions-singular/ Singular Propositions], by Greg Fitch.
** [http://plato.stanford.edu/entries/propositions-structured/ Structured Propositions], by Jeffrey C. King.