Condició necessària

Una condició necessària és un concepte de llògica, raonament i matemàtiques.

Es definix com una conclusió a la que s'aplega com a resultat d'algun fet específic. Si existix un fet, llavors, necessàriament, també deu existir un fet que siga una conclusió. En atres paraules: si una condició necessària no es complix, definitivament no es complirà el fet pel qual es complix eixa condició necessària.

Per eixemple: si un número natural $n$ és divisible per $15$, llavors el seu últim dígit és 0 o 5. El fet de que un número tinga una última sifra de 0 o 5 és una condició necessària per a que un número siga divisible per 15. Si l'últim dígit del número no fora 0 ni 5, llavors es podria deduir que no és divisible entre 15.

Sent aixina, es diu que una condició necessària per a ser un número divisible entre 15, és que l'última sifra siga 0 o 5.

Vore també

• Bicondicional
• Estat de necessitat
• Causalitat
• Contingència