Implication (Module : Logique et langage des ensembles)

Ce chapitre étudie le signe logique implique qui permet l'écriture formelle des théorèmes.                  Ce signe s'exprime à l'aide des connecteurs logiques déjà étudiés,conjonction,disjonction et négation.                  Nous étudierons les différentes façons d'écrire les théorèmes ainsi que les différentes propositions liées à une proposition donnée,contraposée,réciproque.

Disciplines : Logique mathématique (Logique symbolique)
Mots-clés : ensembles,implications,logique des ensembles,langages
Type de document : texte,ressource interactive
Type de ressource : lecture,exercise,questionnaire,self assessment
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