Séance de cours
Cette séance de cours couvre les techniques de preuve telles que la preuve directe, la contreposition, la preuve par cas et la preuve par contre-exemple. Il comprend des exemples de déclarations de preuve en utilisant ces techniques et met en évidence les erreurs courantes dans les preuves.