Die Inferenzoperation ist eine Funktion in der klassischen Logik, die einer Formelmenge F die Menge aller Formeln zuordnet, die logisch aus F folgen.

Siehe auch: Operation (Mathematik)