Er besagt anschaulich, dass (von der Struktur der Formel selbst abgesehen) der Wahrheitswert einer Formel ausschließlich von den Wahrheitswerten der in der Formel enthaltenen Aussagenvariablen abhängt.