افتراض

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

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

 انظر أيضا

• دالة بوليانية القيمة Boolean-valued function
• Main contention
• Premise (argument)
• حساب القضايا Propositional calculus

 وصلات خارجية

• Stanford Encyclopedia of Philosophy articles on:
  • Propositions, by Matthew McGrath.
  • Singular Propositions, by Greg Fitch.
  • Structured Propositions, by Jeffrey C. King.