Nutnost a postačitelnost
Nutnost a postačitelnost jsou termíny používané v logice a matematice k popisu podmíněného nebo implikačního vztahu mezi dvěma výroky.
Nutnost
Výrok Q je nutný pro výrok P, pokud je pravdivost Q zaručena pravdivostí P. Jinak řečeno, není možné mít P bez Q, nebo nepravdivost Q zajišťuje nepravdivost P.
Postačitelnost
Výrok P je postačující pro výrok Q, pokud pravdivost P vždy implikuje pravdivost Q, ale nepravdivost P nemusí vždy implikovat nepravdivost Q.
Nutná a postačující podmínka
Tvrdí-li se, že výrok je nutná a postačující podmínka jiného výroku, znamená to, že první výrok je pravdivý právě tehdy, když je pravdivý druhý výrok. To znamená, že oba výroky musí být buď současně pravdivé, nebo současně nepravdivé.
Příklady
Být mužem je nutná podmínka pro to být bratrem, ale není postačující - zatímco být mužským sourozencem je nutná a postačující podmínka pro to být bratrem.
Déšť je nutná podmínka pro růst rostlin, ale není postačující - zatímco dostatek vody je nutná a postačující podmínka pro růst rostlin.
Podmíněný výrok
Každý podmíněný výrok se skládá z alespoň jedné postačující podmínky a alespoň jedné nutné podmínky.
Datová analýza
V datové analýze mohou nutnost a postačitelnost odkazovat na různé kauzální logiky, kde analýza nutných podmínek a kvalitativní komparativní analýza mohou být použity jako analytické techniky pro zkoumání nutnosti a postačitelnosti podmínek pro konkrétní výsledek zájmu.