Lecture 1: Predicates, Sets, and Proofs

Name: Lecture 1: Predicates, Sets, and Proofs
Uploaded: 2025-07-22T14:44:41Z
Duration: 1 h 18 min 47 s
Description: 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.

1:18:47

Up Next

Lecture 2: Contradiction and Induction

Continue

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.