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