P: (quelque soit x appartient à |R) : ( a < x => b < x )
Négation de P : ( il existe x appartient à |R ) : ( a < x et b >= x )
Négation de P : ( il existe x appartient à |R ) : ( a < x <= b )
Négation de P : ( il existe x appartient à |R ) : ( a <= b )
P : ( quelque soit x appartient à |R) : ( b < a )