In der Logik nennt man eine Abbildung, die jedem n-Tupel von Wahrheitswerten einen Wahrheitswert zuordnet, eine Wahrheitswertfunktion bzw. genauer eine n-stellige Wahrheitswertfunktion. Man redet mitunter auch kurz von einer Wahrheitsfunktion. Ein Satz heiß wahrheitsfunktionell, wenn sein Wahrheitswert nur von den Wahrheitswerten der atom...