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