correttezza
correttézza [Der. di corretto "l'essere esente da errore", dal part. pass. correctus del lat. corrigere "correggere"] [FAF] La proprietà di una teoria formalizzata (un calcolo logico, una [...] verificato in tutti i modelli dellateoria stessa (nell'esempio precedente, in tutti i casi concreti di gruppi). ◆ [FAF] C. forte: v. logica: III 485 d. ◆ [MCC] Principio della c. dimensionale: v. similitudine meccanica: V 192 c. ◆ [FAF ...
Leggi Tutto
similitudine
similitùdine s. f. [dal lat. similitudo -dĭnis, der. di simĭlis «simile»]. – 1. a. letter. Somiglianza, soprattutto in locuzioni, ormai ant., come per s., a s. di, ecc. b. Figura retorica che mira a chiarire (logicamente o fantasticamente)...
congruenza
congrüènza s. f. [dal lat. congruentia, der. di congruens -entis: v. congruente]. – 1. Convenienza, corrispondenza, proporzione fra due cose: non c’è molta c. tra quello che dice e quello che fa. 2. Con accezioni partic. in matematica:...