Condição

Em lógica, uma condição é um fato que indica a verdade de um outro fato. Existem dois tipos de condições: a condição necessária e a condição suficiente. Uma condição pode ser:

• Necessária mas não suficiente: "Estar vivo é uma condição necessária mas não suficiente para a respiração. É necessário estar vivo para respirar. No entanto, estar vivo não é uma prova de que está respirando - porque se pode segurar o fôlego".
• Suficiente mas não necessária: "Tomar um vôo para a Europa" é uma condição suficiente para "chegar à Europa". Se você tomar um vôo para a Europa, você chega lá. No entanto, não é uma condição necessária - porque você poderia ter tomado um barco.
• Necessária e suficiente: "Ter alelos para olhos castanhos em ambos os cromossomos é uma condição necessária e suficiente para ter olhos castanhos. Se você tiver dois alelos castanhos, você definitivamente terá olhos castanhos. Se você tem olhos castanhos, você definitivamente tem dois alelos para a cor castanha".
• Nem necessária nem suficiente: "Ter a gripe não é nem uma condição necessária nem suficiente para se sentir enjoado. Você pode sentir náuseas se você não tiver a gripe, e você pode ter a gripe, sem se sentir enjoado".