Operator
in der formalen Logik Zeichen, das dazu dient, aus schon gegebenen Ausdrücken einen neuen Ausdruck zu bilden oder diese in einen neuen Ausdruck umzuformen. z.B. stellen die Junktoren solche O.en dar, mit deren Hilfe aus Aussagen neue Aussagenverbindungen gebildet werden können, die Modaloperatoren (notwendig, möglich), die deontischen Operatoren (sollen, dürfen), die Quantoren. Logische Partikel.
PP