Example image of eyePlorer eyePlorer-Ergebnisse für 'Inferenzoperation': Funktion (Mathematik) Hypothese Logik Menge (Mathematik) Prämisse Ableitung (Logik) Aussagenlogik Intuitionismus Modallogik Prädikatenlogik Alfred Tarski Extensive Abbildung Idempotenz Konsequenz Monotonie (Logik) Kompaktheit (Logik) Hüllenoperator Abgeschlossenheit
Disclaimer