Inserisci una parola o una frase in qualsiasi lingua 👆
Lingua:
Traduzione e analisi delle parole tramite l'intelligenza artificiale ChatGPT
In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:
- come viene usata la parola
- frequenza di utilizzo
- è usato più spesso nel discorso orale o scritto
- opzioni di traduzione delle parole
- esempi di utilizzo (varie frasi con traduzione)
- etimologia
Cosa (chi) è extensional equality - definizione
LOGIC PRINCIPLE THAT JUDGES OBJECTS TO BE EQUAL IF THEY HAVE THE SAME EXTERNAL PROPERTIES
Extensional equality; Extensional relation; Extensional relations
extensional equality
(Or extensionality). Functions, f and g are extensionally
equal if and only if
f x = g x for all x.
where "=" means both expressions fail to terminate (under some
given reduction strategy) or they both terminate with the
same basic value.
Two functions may be extensionally equal but not
inter-convertible (neither is reducible to the other). E.g.
x . x+x and x . 2*x. See also {observational
equivalence}, referential transparency.
extensionality
Extensionality
In logic, extensionality, or extensional equality, refers to principles that judge objects to be equal if they have the same external properties. It stands in contrast to the concept of intensionality, which is concerned with whether the internal definitions of objects are the same.
Wikipedia
Extensionality
In logic, extensionality, or extensional equality, refers to principles that judge objects to be equal if they have the same external properties. It stands in contrast to the concept of intensionality, which is concerned with whether the internal definitions of objects are the same.
