necessary and sufficient condition — In logic, the condition necessary and sufficient for a proposition.