interpretatie (logica)

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.