Witam. Za pomocą kwantyfikatorów możemy ładnie zapisać "dla każdego x", "istnieje takie x, że" oraz "istnieje dokładnie jedno takie x, że", ale jak ładnie zapisać "nie istnieje takie x, że"?
0
1
Negacja istnienia.
0
Chyba jednak lepiej to inaczej zapisać, w formie "x nie należy", albo "x nie jest równe", czy też "f(x) nie jest równe" itp.
Nie widzę potrzeby istnienia symbolu "nie istnieje takie x".
0
@szweszwe zwyczajnie przekleślony symbol "istnieje takie x"?
0
Nie przekreślony tylko ze znakiem negacji przed:
http://pl.wikipedia.org/wiki/Negacja
0
- Do licznika i mianownika ułamka 5/9 dodano pewną dodatnią liczbę a.
b) Wykaż, że nie istnieje liczba dodatnia a, która dodana do licznika i mianownika tego ułamka pozwoli otrzymać liczbę 1/2.
Co prawda mógłbym zapisać dla każdego a>0 (5+a)/(9+a) != 1/2
, ale zastanawiałem sie właśnie nad tym drugim sposobem.
0
@szweszwe racja, nie wiem dlaczego na to nie wpadłem ;p dzieki wielkie.
0
http://home.agh.edu.pl/~cmiel/airalgebra/W01.pdf
Zobacz na kwantyfikatory. Mniej więcej w połowie dokumentu.
1
Rzadko spotykany, ale jest http://www.fileformat.info/info/unicode/char/2204/index.htm