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

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.

Disciplines : Logique mathématique (Logique symbolique)
Mots-clés : ensembles,logique des ensembles,démonstration,implication,disjonction,conjonction
Type de document : texte,ressource interactive
Type de ressource : lecture,exercise,questionnaire
Niveau : higher education,licence
Publics visés : learner
Activité induite : apprendre
Auteurs ou éditeurs : Eliane Cousquer,Carlos Sacré,Gilles Cousquer,Sébastien Picot,Alain Cousquer,Bruno Six,Régis Devoldere,Olivier Touron,Université Lille-I USTL,CERIMES SFRS,UNISCIEL,Ministère de l'Éducation nationale,de l'Enseignement supérieur et de la Recherche