zaprzeczenie Ola: Jak zaprzeczyc zdaniu ∀x∊Z{∃k∊Z (x=2k⋁ x=2k+1)→x² +1>1

Artur_z_miasta_Neptuna: ∃x∊Z{∃k∊Z (x=2k⋁ x=2k+1) ⋀x² +1≤1

Ola: a tego istnieje nie powinno zamienic sie na dla kazdego? i czemu mniejsze rowne?

Artur_z_miasta_Neptuna: a jakie jest zaprzeczenie a⇒b powinno być i nie powinno w normalnym opisie powinno być, ale tutaj ∀_k jest zapisem bez sensu tak naprawdę ten kwatyfikator jest w sumie zbyteczny

Ola: no w sumie masz racje dziekuje

Ola: a tu nic nie trzeba zmienic (x=2k⋁ x=2k+1)? sorki ze sie takdopytuje ale zbyt lotnego umyslu nie mam