Logisches Symbol

Logische Symbole nennt man Ausdruckselemente formaler Sprachen. Dazu gehören Namen, Variablen für Individuen und Urteile, logische Konstanten.

Aus diesen Bausteinen werden die wohlgeformten Formeln einer Sprache konstruiert.