Condições necessárias e suficientes

Origem: Wikipédia, a enciclopédia livre.

As noções de condições necessárias e suficientes são muito usadas em filosofia. Tradicionalmente, a essência de uma coisa F são as condições necessárias e suficientes para que que algo seja F.

Ser A é condição necessária para X ser F quando é impossível que X seja F e não seja A. Por exemplo: ter um assento é uma condição necessária para algo ser uma cadeira.

Ser B é uma condição suficiente para X ser F quando é impossível que X seja B e não seja F. Por exemplo: ser um ser humano é uma condição suficiente (mas não necessária) para algo ser um animal.

Ser C é uma condição necessária e suficiente para X ser F quando é impossível tanto que X seja F sem ser C quanto X ser C sem ser F. Por exemplo: ser formado por moléculas compostas de dois átomos de hidrogênio e um átomo de oxigênio é uma condição necessária e suficiente para algo ser água.