EECS 203 Lecture Notes - Lecture 3: Truth Table, Propositional Calculus

• School: U of M
• Department: Electrical Engineering And Computer Science
• Course: EECS 203
• Professor: Edmund Durfee

Document Summary

All we have are propositions and connectives, making compound propositions. We learn about deductions and proofs based on the structure of the propositions. We will add objects, properties, and relations. We will be able to make statements about what is true for some, all, or no objects. A declarative statement that is either true or false. A declarative statement with some terms unspecified. It becomes a proposition when terms are specified (aka g rounded) Im taller than both my parents, but theyre the same height . Let t(x,y) be x is taller than y . The logic explicitly describes objects : i, mom, dad. When variables in a relation are grounded. A relation can have just a single argument. We can call this a property of the object. Problem: may be an infinite number of people to list, or you don"t know who everyone . Solution: xb(x,umbrella) (cid:1271)everyone will buy an umbrella(cid:1272)