Krótkie symboliczne zapisy

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
esberitox
Użytkownik
Użytkownik
Posty: 49
Rejestracja: 14 gru 2006, o 15:35
Płeć: Mężczyzna
Lokalizacja: wawa
Podziękował: 8 razy

Krótkie symboliczne zapisy

Post autor: esberitox » 10 paź 2007, o 18:27

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
Rekrutacja Instytut Matematyczny, Uniwersytet Wrocławski (gif)

domos
Użytkownik
Użytkownik
Posty: 1
Rejestracja: 11 paź 2007, o 18:59
Płeć: Mężczyzna
Lokalizacja: Warszawa

Krótkie symboliczne zapisy

Post autor: domos » 11 paź 2007, o 21:41

d) NWD(a,b)=7

iwetta
Użytkownik
Użytkownik
Posty: 188
Rejestracja: 22 wrz 2005, o 19:02
Płeć: Kobieta
Lokalizacja: Polska
Podziękował: 15 razy
Pomógł: 18 razy

Krótkie symboliczne zapisy

Post autor: iwetta » 12 paź 2007, o 16:58

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
Administrator
Administrator
Posty: 27940
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4650 razy

Krótkie symboliczne zapisy

Post autor: Jan Kraszewski » 12 paź 2007, o 19:48

iwetta pisze:e) \(\displaystyle{ \sim\forall_{x\in N} \ (2x+1)|3}\)
Raczej \(\displaystyle{ \neg\forall_{x\in N} \ 3|(2x+1)}\)...
JK

iwetta
Użytkownik
Użytkownik
Posty: 188
Rejestracja: 22 wrz 2005, o 19:02
Płeć: Kobieta
Lokalizacja: Polska
Podziękował: 15 razy
Pomógł: 18 razy

Krótkie symboliczne zapisy

Post autor: iwetta » 12 paź 2007, o 19:55

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
Gość Specjalny
Gość Specjalny
Posty: 2234
Rejestracja: 26 paź 2006, o 18:08
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 22 razy
Pomógł: 389 razy

Krótkie symboliczne zapisy

Post autor: Piotr Rutkowski » 12 paź 2007, o 19:57

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
Użytkownik
Użytkownik
Posty: 188
Rejestracja: 22 wrz 2005, o 19:02
Płeć: Kobieta
Lokalizacja: Polska
Podziękował: 15 razy
Pomógł: 18 razy

Krótkie symboliczne zapisy

Post autor: iwetta » 12 paź 2007, o 20:02

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

ODPOWIEDZ