kwantyfikatory wrrrrr: mam tylko takie pytanie czy to jest dobrze chodzi tu o prawo de Morgana dla kwantyfikatorów ~(V n ∊ N /\ m ∊ N [2m=n]) ⇔ /\ n ∊N V m∊N[ 2m≠n]

wrrrrr: tu się nie doproszę... trudno eeeeee