Sufficientemente grande: differenze tra le versioni

Nessun cambiamento nella dimensione ,  15 anni fa
m
nessun oggetto della modifica
m (Sostituisco perchè & co. con perché)
mNessun oggetto della modifica
dove <math>P</math> indica una generica proprietà, o affermazione ben definita, che per esteso si esprime:
 
:[[quantificatore esistenziale (simbolo)|esiste]] <math>a\in\mathbb{R}</math> tale che <math>P</math> è verovera [[Quantificatore universale (simbolo)|per ogni]] <math>x\ge a</math>.
 
A volte si dice anche che <math>P</math> è '''definitivamente''' vera. Questo non significa necessariamente che siano noti dei valori particolari di <math>a</math> che soddisfino tale condizione, ma solo che un tale <math>a</math> esiste.
vuol dire:
 
:per ogni <math>a \in \R</math> esiste <math>x\geq a</math> talitale che <math>P</math> è vera per <math>x</math>.
 
Per fare un esempio:
20 627

contributi