Diskussion:Quantorenelimination

Symbolbedeutung Bearbeiten

Letzter Kommentar: vor 5 Jahren3 Kommentare2 Personen sind an der Diskussion beteiligt

Wie unterscheidet sich $\doteq$ von $=$ ? --BeginnersMind (Diskussion) 13:38, 17. Mär. 2018 (CET)Beantworten

Das eine ist die interne Implementation der Sprache ( $\doteq$ ) mit präzise definierter Semantik, dass andere ist das allgemeine =, dass von der Bedeutung ja doch Recht überladen ist --Sanitiy (Diskussion) 20:26, 4. Mai 2018 (CEST)Beantworten

Schönen Dank, wenn auch spät! --BeginnersMind (Diskussion) 17:01, 13. Mär. 2019 (CET)Beantworten

Abschnitt hinzufügen