Séance de cours
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.