Si è presentata la sintassi della logica dei predicati, definendo i concetti di termine, formula ben formata e sottoformula ed illustrandoli con esempi. Definita la nozione di variabile libera, si è introdotta la sostituzione di un termine al posto di una variabile.

Si è poi introdotta la semantica della logica dei predicati, presentando i concetti di dominio, struttura, ambiente e interpretazione e definendo il valore di un termine e la funzione di valutazione sulle formule ben formate.