Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Preuves : Règles et applications
Cette séance de cours couvre diverses règles d'inférence dans la logique propositionnelle, y compris le syllogisme disjonctif, le modus ponens et les erreurs telles que l'affirmation de la conclusion. Il explore également des énoncés quantifiés, tels que l'instanciation universelle et la généralisation existentielle, et leurs applications dans la construction d'arguments valides. L'instructeur démontre comment prouver des théorèmes en utilisant des méthodes directes et indirectes, comme la preuve par opposition et contradiction, et discute de l'importance des lemmes dans les preuves mathématiques.