 ##  [Wahrheitszuweisung](/de/node/59885) 

  ##  [Wahrheitszuweisung](https://mathlogic.quantumdictionary.io/de/node/59886) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural &amp; Formal Sciences -

**Mathematics &amp; Logic Dictionary**

 







 

 

 

 



 

 

 

 

Definition

Eine Funktion (häufig Valuation oder Wahrheitszuweisung genannt), die atomaren Aussagenvariablen oder Formeln in einem gegebenen semantischen Rahmen Wahrheitswerte zuordnet und sich gemäß den semantischen Klauseln der Logik auf komplexe Formeln erstreckt.

 

 

 

 

 





 

 



 ##  [Wahrheitszuweisung](https://puremath.quantumdictionary.io/de/node/61496) 

  

 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics &amp; Logic -

**Pure Mathematics Dictionary**

 







 

 

 

 



 

 

 

 

Definition

Eine Abbildung v von einem Körper oder Ring in eine total geordnete abelsche Gruppe (häufig R∪{∞} oder Z∪{∞}), die Größe oder Teilbarkeit misst, multiplikativ ist (v(xy)=v(x)+v(y) in additiver Schreibweise) und eine dreiecksähnliche Ungleichung v(x+y) ≥ min(v(x),v(y)) im nicht-archimedischen Fall erfüllt.