Krótkie symboliczne zapisy

[esberitox]

Zapisać symbolicznie:
a) nie ma największej liczby rzeczywistej
b)p jest liczbą pierwszą
c) kwadrat żadnej liczby naturalnej nie jest ujemny
d) największy wspólny dzielnik liczb a ib wynosi 7
e) nie każda liczba naturalna nieparzysta jest podzielna przez 3
f) każdy zbiór niepusty ma co najwyżej dwa elementy
g) istnieje największa niedodatnia liczba całkowita
h) każdy niepusty podzbiór zbioru R ma niepusty podzbiór właściwy

[domos]

d) NWD(a,b)=7

[iwetta]

c)\(\displaystyle{ \forall_{x\in N} \ x^{2}\geqslant 0}\)
e) \(\displaystyle{ \sim\forall_{x\in N} \ (2x+1)|3}\)
f g oraz h podobnie

[Jan Kraszewski]

e) \(\displaystyle{ \sim\forall_{x\in N} \ (2x+1)|3}\)

Raczej \(\displaystyle{ \neg\forall_{x\in N} \ 3|(2x+1)}\)...
JK

[iwetta]

u mnie stosowaliśmy taki znak negowania jaki zastosowałam, ale może tu on oznacza co innego, jeśli tak to przepraszam.

[Piotr Rutkowski]

Tutaj raczej głównie chodziło o złą stronę w podzielności. Z Twojego zapisu wynikało, że 2x+1 miało dzielić 3, a powinno być na odwrót

[iwetta]

Oj tego nie zauważyłam. Mój błąd. Oczywiście miało być tak jak JK napisał.