Etudier la verite de ces propositions

[haithem6]

etudier la verite des propositions suivantes :

∀n ∊ N, 4divise n² ou 4 divise n²-1
∀x∊ R, x>1 implique E(1/x) = 0²
∀n ∊ N, n²-1 n'est pas divisible par 8 implique n est pair
(∃x ∊ R, x+1=0) ⋀ (∃x ∈ R, x+2=0)

[pascal16]

pour la 1 :
si n pair, il s'écrit 2q et donc...
si n impair, il s'écrit 2q+1 et donc...