C'est un cours qui traite principalement deux systèmes logiques très connus et utilisés : la logique propositionnelle et la logique du premier ordre (dite des prédicats). Nous étudierons pour chaque système sa syntaxe, sa sémantique, ses systèmes de preuve principaux et nous passerons en revue les résultats principaux d'adéquation , de complétude et de décidabilité de ces derniers .