"deductive inference" is correct and usable in written English.
You can use it when inferring something based on given facts, premises, or axioms. For example, "Using deductive inference, we can conclude that the moon orbits the earth because of its gravitational pull."
The use of deductive inference guarantees absolute certainty about inferred statements [ 63], provided that the biomedical ontologies and model annotations that were used for the inference are correct.
The primary means to access and process ontologies semantically are automated reasoners, i.e. software tools that can directly infer knowledge from the axioms and definitions in ontologies using deductive inference.
Ideally, the axioms are chosen in such a way that, through the use of deductive inference, all sentences that are true in the investigated domain can be inferred from the axioms [ 90].
Deductive inference can never support contingent judgments such as meteorological forecasts, nor can deduction alone explain the breakdown of one's car, discover the genotype of a new virus, or reconstruct fourteenth century trade routes.
Monti, M. M., Parsons, L. M. & Osherson, D. N. The boundaries of language and thought in deductive inference.
Everyone knows that deductive inference is monotonic, meaning that more premises never yield fewer conclusions.
He introduced it to denote a type of non-deductive inference that was different from the already familiar inductive type.
On this model, the fallibility of sense perception is assimilated to the fallibility of non-deductive inference.
Some authorities, Carnap in the opening paragraph of The Continuum of Inductive Methods (1952) is an example, take inductive inference to include all non-deductive inference.
Indeed, Gassendi's method cannot be adequately characterized in its entirety in this fashion, given the several other forms of non-deductive inference that he endorses or makes use of as fundamental to his scientific method, including sign-based inference, analogous reasoning, and inference to the best explanation.
If we swap the hypothesis and the predicted datum in the above deduction, we get an example of confirmation: \[ \begin{array}{l} Ea\\ Na\\ \overline{\overline{\forall x (Ex \supset Nx)}} \end{array} \] Here the double-line represents non-deductive inference.
