Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
This lecture introduces the basics of formal logic, focusing on logical expressions, tautologies, and constructing mathematical proofs. It covers the importance of formal proofs, logical connectors, quantifiers, and the process of building evidence. The instructor emphasizes the necessity of strict proof writing and provides examples to illustrate the concepts.