Cours d'initiation à la logique (bac à bac+1)

Mathématiques | 13 pages | 21-05-2008 | Format : | Note : Non noté |

PRIX : 3.60€ |

Résumé

Cours de logique formelle idéal pour la 1re année de licence de mathématiques. On trouvera dans ces documents PDF les connecteurs logiques et leur tables de vérité, les fonctions propositionnelles et l'emploi des quantificateurs.

Extrait:

Une théorie mathématique n'est pas le rassemblement de résultats sans liens les uns avec les autres.
A partir de résultats considérés comme acquis le raisonnement mathématique permet d'en
démontrer d'autres. Ce raisonnement s'effectue à l'aide de certaines règles que vous utilisez consciemment ou non depuis plusieurs années et qui sont les règles de la logique (...)

Sommaire:

Introduction

I) Connecteurs logiques

A. Négation
B. Conjonction
C. Disjonction
D. Implication
E. Équivalence logique

II) Lois logiques

III) Fonctions propositionnelles et emploi des quantificateurs

A. Fonction propositionnelle
B. Quantificateurs
C. Quantificateurs et connecteurs logiques

Conclusion

Recommandations

Du même auteur

Nouveautés dans la rubrique Mathématiques

Les plus visités dans la matière Mathématiques