CartCart (0)
Translation  Dictionary  Tools
Free Online Dictionary
Inferenzoperation
Wikipedia Deutsch Die freie EnzyklopädieDownload this dictionary
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.

Mehr unter Wikipedia.org...


© Dieser Eintrag beinhaltet Material aus Wikipedia und ist lizensiert auf GNU-Lizenz für freie Dokumentation
| Inferenzoperation in German