I. Calcul des énoncés : syntaxe formelle, tests de validité par la méthode des tables de vérité, par celle des arbres de consistance et celle de la déduction naturelle. II. Calcul des prédicats : syntaxe formelle, la notion d'interprétation, tests de validité par la méthode des arbres de consistance et de la déduction naturelle.

Liste des cours PHIL