That is exempt from payment of income tax.

The set of all the statements that can be deduced from a given set of statements.

inference in which the conclusion is of no greater generality than the premises / inference in which the conclusion is just as certain as the premises

plural of deductive inference

plural of deductive closure