Lecture 1: Predicates, Sets, and Proofs
This lecture explores what a proof is. It defines proofs, propositions, logical deductions, and axioms and delves into predicate logic. It explores how to use and combine prepositions and how to use implications.
Course Info
Instructors
As Taught In
Spring
2024
Level
Learning Resource Types
theaters
Lecture Videos
notes
Lecture Notes
Readings
assignment
Problem Sets
menu_book
Open Textbooks
