CIS 1910 Lecture Notes - Lecture 6: Propositional Calculus, Fallacy, Modus Ponens

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

Document Summary

Assignment 1 announcements: individual assignment, read guidelines carefully, pdf submission only, cite or reference any resources you used to help with coming up with answers. Use the rules of inference and the laws of propositional logic to prove that the following argument is valid. P by hypothetical syllogism: p = q q = r. P = r by modus tollens: p = r. Common fallacies: a fallacy is a form of incorrect reasoning, fallacy of af rming the conclusion, fallacy of denying the hypothesis: p = q q. Every student in the class is present today. That is, for all elements in a domain with a property, some arbitrary element in the same domain also has that property. Let c be an arbitrary integer. c < c + 2. Therfore, every integer is less than its values plus 2. That is, for some arbitrary element in a domain with a property, every element within that domain also has this property.