CISC 204- Midterm Exam Guide - Comprehensive Notes for the exam ( 30 pages long!)

• School: Queen's University
• Department: Computing
• Course: CISC 204
• Professor: Randy Ellis

Document Summary

This course is an introduction to formal logic, which is the study of abstract deductive rea- soning. 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. One symbolic 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. In this course, a proposition is a declarative sentence that can take on a value of true or false. Proposition: statement that is true or false (lower-case symbols: p, q, r, s, t)