Modèles de termes pour la logique de la première commande

Cette séance de cours couvre des modèles de termes pour la logique de premier ordre, en discutant de l'interprétation qui rend une formule vraie, des sous-structures, des théorèmes de petits modèles, des exemples de sous-structures, des formules universelles demeurant vraies dans les sous-structures, en trouvant la plus petite sous-structure, et le modèle Herbrand comme un modèle compterable générique.