MACM 101 Lecture 6: Lecture 6 Part 1_ Logic Inference
Document Summary
The goal of an argument is to infer the required conclusion from given premises. Formally, an argument is a sequence of statements, each of which is either a premise, or obtained from preceding statements by means of a rule of inference. It is not sunny this afternoon and it is colder than yesterday. We will go swimming only if it is sunny. If we do not go swimming, then we will take a canoe trip. If we take a canoe trip, then we will be home by sunset. "". Notation: p - it is sunny this afternoon q - it is colder than yesterday s - we will take a canoe trip r - we will go swimming t - we will be home by sunset. Step: p q, p, r p, r, r s, s. Reason premise simplification premise modus tollens premise modus ponens: s t, t premise modus ponens.