افتراض

الافتراض 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.

bg:Пропозиция ca:Proposició ckb:پێشنیار cs:Výrok (logika) da:Udsagn de:Aussage (Logik) Proposition]] es:Proposición et:Propositsioon fa:گزاره (منطق) fi:Propositio gl:Proposición he:טענה hy:Դատողություն io:Propoziciono it:Proposizione (logica) ja:命題 ko:명제 nl:Propositie nn:Proposisjon pl:Sąd (logika) pt:Proposição ru:Суждение simple:Proposition sk:Výrok (logika) sv:Påstående th:ประพจน์ uk:Судження ur:مستلف vi:Mệnh đề toán học zh:命题 zh-yue:命題