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
Introduction
Table de vérité
Validité et consistance
Équivalence des formules bien formées
Conséquence logique (satisfaction)
Formes normales (Normalisation)
Théorie du rappel
Théorie de la preuve (démonstration)
Exercice sur le CP
Logique des prédicats (Ordre1)
Évaluation finale
Contenu :
Théorie du rappel
A ╞ B si seulement si
.
Généralisation de la théorie
A
1
, A
2
, A
3
...A
n
╞ B ssi
A
1
, A
2
...╞
ssi
.
Exemple
:
,
,
.
Navigation :
Précédent
|
Suivant
Accueil
|
Imprimer
|
|
.
ssi
.
,
,
.
