INFS1603 Lecture Notes - Lecture 6: Inductive Reasoning, Deductive Reasoning, Modus Ponens
Document Summary
In logic, an argument is a set of statements. Some statements, the premises, are intended to support other statements, the conclusions: valid argument not equal to true argument, valid means that the argument is following a logical structure, valid does not mean that the contents are true. Abduction (cid:862)reverse i(cid:373)pli(cid:272)atio(cid:374)(cid:863) ister says they will drop something, you see something, you think it is her. Inference is the process or the outcome of (cid:862)inferring (deriving by reasoning, concluding from premises: deductive inference: arriving at conclusions based on the strict logical consequences of (assumed true) premises. Inductive inference: arriving at some conclusion that, though it is not logically derivable from the assumed premises, possesses some degree of probability relative to the premises. Inference rules: modus ponens (e. g. daniel is reliable, so when its lecture time, daniel is at. If q is true, p is true: modus tollens (e. g. daniel is reliable, so when its lecture time, daniel is at.