Ce cours est une introduction à la logique formelle. L’objectif principal est de permettre à l’étudiant d’acquérir la maîtrise de deux outils de calcul logique, soit le calcul des propositions et le calcul des prédicats de premier ordre. Nous aborderons ces calculs par le biais de méthodes sémantiques et syntaxiques (tables de vérité, arbres de consistance, déduction naturelle).
- Yves Bouchard: Bouchard, Yves