Logical process deriving specifics from general.

Logical reasoning from general to specific.

inference in which the conclusion is of no greater generality than the premises

Database using logic for inference.

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

Logical structure for proving validity.

Formulating hypotheses and testing them.