Introduire au calcul propositionnel et à la quantification.
Caractérisation de la logique formelle contemporaine. Présentation d'un calcul propositionnel complet et application à ce calcul de la méthode des tables de vérité ou des tableaux sémantiques. Introduction à la théorie de la quantification et au calcul des prédicats.