Met
interpretatie wordt in de
logica de extensie van
symbolen en
strings aan de hand van
tupels bedoeld. Een interpretatiefunctie met het
predicaat L (van "lang") kan op deze manier bijvoorbeeld de extensie
{bo} (van "Barack Obama") krijgen. De uitkomst van deze logische interpretatie is dat
Barack Obama lang is.