Elemente einer Logik

Formeln: Wörter in einer formalen Sprache, die syntaktisch genau definiert sind. Damit kann man Aussagen präzise formulieren.
Semantikfunktion: Die Semantik legt fest, ob eine Formel für ein bestimmtes Element der Umgebung gilt.
Die Umgebung (engl. domain): Der Kontext oder die "Welt", in der die Formeln interpretiert werden.