...erungen** enthält. citeturn0search39

Beispiel (technisch gedacht):
- neuronales Model sagt: „Diese Aussage ist wahr“  
- symbolischer Teil prüft: „Passt das zu den logischen Regeln?“  
→ nur wenn beides stimmt, wird die Antwort akzeptiert.

---

## Warum das relevant ist

Reine LLMs haben strukturelle Limitationen:
- sie generieren „wahrscheinliche“ Antworten, **nicht beweisbare Wahrheiten**  
- sie „hallu...