Inference

Inference is another word for drawing a conclusion.

Please choose
 * Inference (general)
 * Inference in predicate calculus