Terzo

Dizionario delle Scienze Fisiche (1996)

terzo


tèrzo [agg. numerico ordinale Der. del lat. tertius, da tres "tre"] [LSF] Che in una serie numericamente ordinata viene dopo altri due. ◆ T. suono: (a) [ACS] lo stesso che suono di combinazione, di Tartini: v. acustica musicale: I 40 e; (b) [FBT] onde superficiali nell'elio II: v. elio liquido: II 396 d. ◆ [ALG] [FAF] Principio del t. escluso: nella logica matematica, principio, già noto nella logica classica (lat. tertium non datur), generalm. adoperato nelle dimostrazioni per assurdo. Per stabilire la verità di una proposizione A, si suppone che essa sia falsa, cioè che sia vera la proposizione contraria A'; quindi, attraverso una serie di deduzioni partendo dalla verità di A', si arriva a un risultato in contrasto con teoremi precedentemente stabiliti; si conclude che A' è falsa, e che quindi è vera la sua contraria A, in quanto una proposizione, e in ciò consiste il principio del t. escluso, o è vera, o è falsa. Il principio del t. escluso è stato confutato dalla logica matematica degli anni '30: v. Gödel, teorema di.

CATEGORIE