A
decision procedure tries to say whether some
hypothesis H holds or does not (usually based on some
observed data, O). If it says H does not hold, it is said to give a
negative. If, in fact, H does hold, this is a false negative.
For procedures that always decide in the positive or in the negative, there is usually a tradeoff between false negatives and false positives.
See also selectivity.