În logică, necesitatea și suficiența sunt relații implicite între declarații. Afirmația că o afirmație este o condiție necesară și suficientă a altei înseamnă că prima afirmație este adevărată dacă și numai dacă aceasta din urmă este adevărată. Aceasta înseamnă că cele două afirmații trebuie să fie simultan adevărate sau simultan false. În limbile engleză obișnuită, "necesar" și "suficient" indică relațiile dintre condițiile sau stările afacerilor, nu declarațiile. Fiind un frate de sex masculin este o condiție necesară și suficientă pentru a fi un frate. [Logică][Declaratie: logica] |