sp25-math240 math240
Lecture 03: Predicates and quantifiers Lecture 03: Predicates and quantifiers
Content locked
The catalog is public. Reading this content requires approved access.
Sign in to readLecture 03: Predicates and quantifiers
Finishing propositional simplification
Predicates need a domain
Universal and existential quantifiers
The same predicate can behave differently in different domains
Free variables and quantifier scope
Translating English
Negating quantified statements
Connections
Source