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 :
défilement haut
Objectifs
Avant propos
Calcul Propositionnel (CP)
v
Introduction
Syntaxe (Formalisation)
Sémantique
>
Exercice sur le CP
v
Exercice
Logique des prédicats (Ordre1)
>
Évaluation finale
défilement bas
Masquer le plan
Afficher le plan
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
|
|
