Inferenz beschreibt in der
Linguistik wie in der
Logik eine Schlussfolgerung. Inferenz ist eine komplexe Aufgabe. Damit werden semantisch verkettete Sprachterme vielfältig in Beziehungen gesetzt, die automatisch wieder verwendet werden können. In der
propositionalen Inferenz werden bekannte natürlichsprachliche Ausdrücke benutzt, um Schlüsse zu ziehen.