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

