افتح القائمة الرئيسية

الضرورة والاكتفاء في المنطق

Question book-new.svg
المحتوى هنا ينقصه الاستشهاد بمصادر. يرجى إيراد مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (فبراير 2016)
N write.svg
هذه مقالة غير مراجعة. ينبغي أن يزال هذا القالب بعد أن يراجعها محرر عدا الذي أنشأها؛ إذا لزم الأمر فيجب أن توسم المقالة بقوالب الصيانة المناسبة. (أكتوبر 2013)

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

Greek letter uppercase Phi.svg
هذه بذرة مقالة عن الفلسفة أو متعلقة بها بحاجة للتوسيع. شارك في تحريرها.