Häufig wird zur Beschreibung der Negation in Systemen mehrwertiger Logik die Wahrheitswertfunktion non1 verwendet, die sich durch die Formel non1(x) =df 1 - x beschreiben lässt. Man nennt diese Negation auch Lukasiewicz-Tarski-Negation. In der fünfwertigen Logik ergibt sich folgende Funktionstabelle x 0 1/4 1/2 3/4 1 non...