In Logica Proposizionale:

è un'assegnazione di valori di verità ad ogni componente atomico di una proposizione secondo le tavole di verità dei connettivi logici.

In Logica dei Predicati:

un'interpretazione consiste nella specificazione di un Universo di Discorso (U.D.: insieme non vuoto di elementi) e nell'assegnazione di

• un valore di verità ad ogni lettera proposizionale
• un membro di U. D. ad ogni costante individuale
• un insieme di n-uple di membri di U D. a ciascun predicato ad n-posti.