the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > logical inference > terms relating to (3)
Logic. A principle of inference by which a given proposition can be inferred from the conjunction of it with another proposition.
a method, devised separately in 1934 by G. Gentzen (Math. Zeitschr. (1935) 39) and S. Jaśkowski (Studia Logica (1934) 1), whereby formal proofs are…
in a system of logic: any rule permitting inferences of a specified form.