logika Rivi: logika/negacja zapis powinien być w kwantyfikatorach, ale tu ich chyba nie ma takie krótkie pytanko, czy drugie zdanie jest negacją pierwszego? (Dla każdego)x∊R istnieje(n∊Z), takie,że (n>x) (dla każdego)n∊Z (istnieje)(x∊R), takie, że (x>n)

Rodney: nie jestem biegły w temacie ale zaprzeczeniem n>x jest chyba n≤x

Rivi: A fakt − zawsze zapomnę o równości... Dzięki wielkie, wnioskuje, że poza tym ok?

agata: Czy można zmieniać kolejność kwantyfikatorów?

Jack: generalnie nie można zamieniać kolejnością kwantyf.