Les méthodes et les concepts élémentaires pour aborder la logique. La première partie présente les connecteurs logiques d'un point de vue sémantique, avec une attention particulière portée aux questions de traduction en langue naturelle. La deuxième partie est consacrée au calcul des prédicats.