What Are The 9 Rules Of Inference? Modus Ponens (M.P.) -If P then Q. -P. … Modus Tollens (M.T.) -If P then Q. … Hypothetical Syllogism (H.S.) -If P then Q. … Disjunctive Syllogism (D.S.) -P or Q. … Conjunction (Conj.) -P. … Constructive Dilemma (C.D.) -(If P then Q) and (If R then S)
What Are The Two Basic Type Of Inference? There are two types of inferences, inductive and deductive. Inductive inferences start with an observation and expand into a general conclusion or theory. What are basic inferences? Technical description. Type inference is the ability to automatically deduce, either partially or fully, the type of an expression at