CST 329 - Week 1
This was our first week in CST 329 - Reasoning and Logic. Our textbook for this class is A Concise Introduction to Logic , which is available for free. Chapter 1: Developing a Precise Language Propositional Logic: Meaning the logic of sentences. Sometimes also called "sentential logic" or "sentential calculus". In propositional logic the smallest independent parts of a language are sentences. Declarative Sentence: A sentence that describes the world and can be either true or false. An example would be "It rained in Central Park on June 26, 2015". A declarative sentence cannot be ambigous, for example "Tom is kind of tall" is too vague to be declarative (how can we tell if Tom is tall?). Bivalence: Also called the principle of non-contradiction. The belief that there are two truth values (true and false) and that they exlude each other, meaning that something must either be true or false, and cannot be both or neither. Primitives: Somethin...