 In a deductively valid argument, the conclusion will be true in all situations where the premises are true, with no exceptions. A slightly more technical gloss of this idea goes as follows: in all possible worlds where the premises hold, the conclusion will also hold. This means that, if I know the premises of a deductively valid argument to be true of a given situation, then I can conclude with absolute certainty that the conclusion is also true of that situation. An important property typically associated with deductive arguments (but with exceptions, such as in relevant logic), and which differentiates them from inductive and abductive arguments, is the property of monotonicity: if premises A and B deductively imply conclusion C, then the addition of any arbitrary premise D will not invalidate the argument. In other words, if the argument “A and B; therefore C” is deductively valid, then the argument “A, B and D; therefore C” is equally deductively valid.