CIS 1910 Lecture Notes - Lecture 1: Truth Table, Snowplow, Logical Disjunction

• School: University of Guelph
• Department: Computing and Information Science
• Course: CIS 1910
• Professor: Luiza Antonie

Document Summary

Jan 10, 2017 (cid:1004)(cid:1005) introduction to discrete structures. The study of mathematical structures that are fundamentally discrete rather than continuous: logic, proofs, sets, functions and relations. Propositional logic: logic is the study of formal reasoning, logic is useful in any field in which it is important to make precise statements. Proposition (cid:894)de(cid:374)oted as p,(cid:395),(cid:396), (cid:895: most basic element in logic. It is a statement that is either true or false, it has a truth value: ex. Compound propositions: created by connecting individual propositions with logical operations. A logical operation combines propositions using a composition rule. Today is tuesday and tomorrow is wednesday. Today is tuesday then tomorrow is wednesday. Negation operator: the negation operator (not) acts on just one proposition and has the effect of reversing the truth value of the proposition, truth table p. It snowed last night it did not snow last night. The sky is beautiful today the sky is not beautiful today.