COMPSCI 1JC3 Lecture Notes - Lecture 4: Propositional Calculus, Propositional Formula, Logical Consequence
5 Dec 2017
School
Department
Course
Professor
Document Summary
Logic - the study of principles underlying sound reasoning, branch of mathematics underlying mathematical reasoning, branch of mathematics underlying computing. A reasoning system with a formal language with a formal syntax and precise semantics. Logical consequence -if some things are true, other things must be true. Proof system for establishing that statements in the language are true. Theoretic uses to study computation, programming languages, software design. Documenting about software artifacts that can be stored and manipulated by computers. Reason about them using logic, using software systems, like proof assistants. Software artifacts are by--products of the software development process, that include requirements specifications, design documents, etc. Includes bool, boolean functions, predicates, conditional expressions, guarded function definitions and case expressions. Type bool consists of two boolean values denoted by the literals true and false. Boolean expression (formula) is an expression of type bool. Predicates - have a value that is a boolean (e. g 1 == 2 is false)
