Operator Mathematik und Logik

Operator, in der Mathematik jedes Symbol, das eine auszuführende Operation angibt. Beispiele sind die Quadratwurzel von √x (was angibt, dass die Quadratwurzel genommen werden soll) und ^d / _dx (was angibt, dass eine Differenzierung in Bezug auf x durchgeführt werden soll). Ein Operator kann als eine Funktion, Transformation oder Zuordnung in dem Sinne betrachtet werden, dass er Elemente aus einer Menge mit Elementen aus einer anderen Menge verknüpft oder "abbildet". Siehe auch Automorphismus.

formale Logik: Interdefinierbarkeit von Operatoren

Die Regeln, die gerade angegeben wurden, würden es dem ersten in Tabelle 3 aufgeführten De Morgan-Gesetz ermöglichen, alle wff zu transformieren, die eine beliebige Anzahl von enthalten