vero

vero

véro [agg. e s.m. Der. del lat. verus] [ALG] [FAF] Nella logica matematica, un enunciato o una formula di una teoria si dice v. (simb. V) in un universo (modello della teoria) se è soddisfatta sostituendo le sue variabili con elementi del-l'universo; così, per es., la formula ∀a∃b=a:2 (equivalente all'enunciato "per ogni elemento a esiste un elemento b uguale alla metà di a") è v. se interpretata nell'universo dei numeri razionali, non lo è nell'universo degli interi relativi; si tratta quindi di un concetto semantico, a differenza del concetto sintattico di dimostrabile: un enunciato (o teorema) è dimostrabile in una teoria, se è deducibile correttamente dagli assiomi della teoria. ◆ [ASF] Di misura astrometrica che sia stata corretta da qualche effetto perturbante, per es. dalla rifrazione (altezza v. di un astro, ecc.) ◆ [ASF] Meridiano v.: quello relativo al Sole v. (v. oltre). ◆ [ASF] Sole v.: quello reale, in contrapp. al Sole fittizio e al Sole medio, considerati per la misurazione del tempo: → Sole: S. fittizio e S. medio.