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 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 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.
