Wpis z mikrobloga

@drlect3r: no kwantyfikator ogolny, nie rozumiem dlaczego pierwszy znaczy nie ma x nierownego 1 zamiast nie ma x rownego 1 przeciez jest to zaprzeczenie zdania (uznalem ze jest ten kwantyfikator co wiaze x) ze x rowna sie 1