6.042J | Fall 2005 | Undergraduate

Mathematics for Computer Science

Lecture Notes

Lecture 4: Predicate Logic Quantifiers ∀, ∃

Description:

This resource discusses propositions with variables, predicates, and quantifiers.

Resource Type:
Lecture Notes
pdf
120 kB
Lecture 4: Predicate Logic Quantifiers ∀, ∃
Download File

Course Info

Departments
As Taught In
Fall 2005
Level
Undergraduate
Topics
Learning Resource Types
Exam Solutions
Exams
Lecture Notes
Problem Set Solutions
Problem Sets
Download Course
MIT Open Learning
Over 2,500 courses & materials
Freely sharing knowledge with learners and educators around the world. Learn more
© 2001–2026 Massachusetts Institute of Technology
Accessibility
Creative Commons License
Terms and Conditions
Proud member of:
© 2001–2026 Massachusetts Institute of Technology