＞(5)　(-1)^2+2(-1)+1≠0　i.e.　(-1+1)^2≠0　　　　　　(3)

は間違いだ
¬((∀x∈R)x^2+2x+1=0)からxに(4)と同じ-1を代入することはできない