Inferenzoperation

Die Inferenzoperation ist eine Funktion in der Logik, die einer (gegebenenfalls leeren) Formelmenge (den Annahmen oder Prämissen) die Menge aller Formeln zuordnet, die logisch aus folgen.