contenu
menu
navigation
outils
pied de page
Attention, votre navigateur ne supporte pas le javascript ou celui-ci a été désactivé. Certaines fonctionnalités de ce module sont restreintes.
Logique mathématique
Mode :
Cours
Outils
Menu :
Objectifs
Avant propos
Calcul Propositionnel (CP)
Introduction
Syntaxe (Formalisation)
Sémantique
Exercice sur le CP
Exercice
Logique des prédicats (Ordre1)
Évaluation finale
Contenu :
Traduire les énoncés suivants en formules.
Quand il fait beau, Jean est heureux ;
Il fait soleil ; donc, Jean est heureux.
Navigation :
Précédent
|
Suivant
Accueil
|
Imprimer
|
|
