Computer Science 2209A/B Study Guide - Final Guide: John Tukey, Informal Logic, Vacuous Truth
22 May 2017
School
Department
Course
Professor
Document Summary
Lecture summary: this lectures covers all general concepts and terminology for predicate calculus. Alternative names: predicate logic, rst order logic, elementary logic, restricted predicate calculus, restricted functional calculus, relational calculus, theory of quanti cation, theory of quanti cation with equality, etc. In propositional logic only the logical forms of compound propositions are analyzed. A simple proposition is an unanalyzed whole which is either true or false. There are certain arguments that seem to be perfectly logical, yet they cannot be expressed by using propositional calculus: 1. From these two sentences, one should be able to conclude that: tom has a tail. To show that this argument is sound, we must be able to identify individuals, such as tom, together with their properties and is the objective of predicate calculus. Generally, predicates are used to describe certain properties or relationships between individuals or objects. Terms play a similar role in predicate calculus as nouns and pronouns do in the english language.
