Mathematical logic can be applied to help developers understand and accurately describe the basic facts in a problem and their relationships to one another.

Inference is the process used to reach a logical conclusion from premises which are thought or known to be true.