Zaprzeczenie
Niki: Jakie jest zaprzeczenie do: ∧x∊N ∨y∊N (x>y)
13 kwi 19:41
pigor: ∃x∊N ∀y∊N x ≥y
13 kwi 19:46
Niki: Nie rozumiem znaczków ∃ i ∀....
13 kwi 19:49
pigor: ..., ∃ to "twój" v − istnieje , zaś ∀, to "twój" ⋀ − dla każdego .
13 kwi 19:59
pigor: ... , to nie znaczniki, tylko kwantyfikatory tak tez oznaczane . ...
13 kwi 20:00
Niki: Już wszystko rozumiem − dziękuję
13 kwi 20:04