Ressource pédagogique : Démonstrations (Module : Logique et langage des ensembles)

Informations pratiques sur cette ressource

Description de la ressource pédagogique

Description (résumé)

Dans une démonstration, on a des objets donnés dans l'énoncé, des hypothèses c'est-à-dire de propriétés de ces objets qui sont supposées vraies, et il s'agit de démontrer un but, qui est une propriété que l'on doit établir et qui concerne ces mêmes objets, à l'aide des hypothèses et des propriétés connues antérieurement (les axiomes, les théorèmes, ...). Toutes les démonstrations ne se réduisent pas à des automatismes, mais le peu de logique pratique développée dans ce chapitre doit aider à organiser une démonstration.

• Granularité : cours
• Structure : atomique

"Domaine(s)" et indice(s) Dewey

• Logique mathématique (Logique symbolique) (511.3)

Thème(s)

Informations pédagogiques

• Activité induite : apprendre

Informations techniques sur cette ressource pédagogique

• Implémenteur(s) technique(s) : Gilles Cousquer, Sébastien Picot, Alain Cousquer, Bruno Six, Régis Devoldere, Olivier Touron