Diskussion:Quantorenelimination

Symbolbedeutung

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

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)

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