CISC 204 Lecture Notes - Lecture 1: Complex Instruction Set Computing, Rational Number, Law And Justice

• School: Queen's University
• Department: Computing
• Course: CISC 204
• Professor: Eric Rapos

Document Summary

This course is an introduction to formal logic, which is the study of abstract reasoning and deduction. We will use symbols to represent elementary things that are either true or false, and study ways of proving that complex statements are true or false (within a given logical system). If the train arrives late and there are no taxis at the station, then john is late for his meeting. Form of this logical argument: p: the train arrives late q: there are taxis at the station r: john is late for his meeting. If a course is fun to learn then you will do well on the exam. Jane did well on the cisc 204 exam, therefore it was fun to learn. Propositional logic: proposition: a declarative sentence that can take on a value of true or false. The sum of 2 and 2 is equal to 5.