Podstawy logiki i informacje ogólne o zbiorach

Zbiór wzorów, definicji i najczęściej poruszanych problemów z Podstaw matematyki
LuoXiahong
Użytkownik
Użytkownik
Posty: 2
Rejestracja: 6 kwie 2011, o 09:36
Płeć: Mężczyzna
Lokalizacja: Poland

Podstawy logiki i informacje ogólne o zbiorach

Post autor: LuoXiahong »

Wiadomości te są elementarne i przeznaczone dla początkujących matematyków(podstawówka, gimnazjum)
1. Rachunek zdań
(1 oznacza zdanie prawdziwe, 0 oznacza zdanie fałszywe)

a)Koniunkcja(AND)
\(\displaystyle{ p\wedge q}\), czytamy "p i q"

\(\displaystyle{ 1\wedge 1=1 \\
1\wedge 0=0 \\
0\wedge 1=0 \\
0\wedge 0=0}\)


b)Alternatywa(OR)
\(\displaystyle{ p\vee q}\), czytamy "p lub q"

\(\displaystyle{ 1\vee 1=1 \\
1\vee 0=1 \\
0\vee 1=1 \\
0\vee 0=0}\)



c)Implikacja
\(\displaystyle{ p\Rightarrow q}\), czytamy "p jeżeli q"

\(\displaystyle{ 1\Rightarrow 1=1 \\
1\Rightarrow 0=0 \\
0\Rightarrow 1=1 \\
0\Rightarrow 0=1}\)


d)Równoważność zdań
\(\displaystyle{ p\Leftrightarrow q}\), czytamy "p wtedy i tylko wtedy, gdy q"

\(\displaystyle{ 1\Leftrightarrow 1=1 \\
1\Leftrightarrow 0=0 \\
0\Leftrightarrow 1=0 \\
0\Leftrightarrow0=1}\)


2. Kwantyfikatory

a)kwantyfikator duży(ogólny) - czyt. dla każdego...
\(\displaystyle{ \forall x\in\mathbb{R}\quad x^{2} \ge 0}\)
lub
\(\displaystyle{ \bigwedge_{x\in\mathbb{R}} x^{2} \ge 0}\)
Powyższe zdania znaczą tyle sam co: "Dla każdego x należącego do zbioru liczb rzeczywistych, x podniesiony do potęgi drugiej jest większy bądź równy od 0"

b)kwantyfikator mały(szczegółowy)- czy. istnieje taki...
\(\displaystyle{ \exists x\in\mathbb{R}\quad x^{2} = 2}\)
lub
\(\displaystyle{ \bigvee_{x\in\mathbb{R}} x^{2} = 2}\)
Powyższe zdania znaczą tyle sam co: "Istnieje taki x należący do zbioru liczb rzeczywistych,że x podniesiony do potęgi drugiej jest równy 2"
Można również wyróżnić specjalny kwantyfikator, który znaczy: istnieje dokładnie jeden...
\(\displaystyle{ \exists! x\in\mathbb{R}\quad x^{2} = 0}\)
Powyższe zdanie znaczy tyle sam co: "Istnieje dokładnie jeden taki x należący do zbioru liczb rzeczywistych,że x podniesiony do potęgi drugiej jest równy 0"

3. Zbiory

a) działania na zbiorach
-suma zbiorów - wszystkie elementy znajdujące się w danych zbiorach
\(\displaystyle{ A \cup B = \{x\in\mathbb{R}:x \in A \vee x \in B\}}\)
-iloczyn zbiorów - wspólne elementy danych zbiorów
\(\displaystyle{ A \cap B = \{x\in\mathbb{R}:x \in A \wedge x \in B\}}\)
-różnica zbiorów - elementy zbioru A, nie występujące w zbiorze B
\(\displaystyle{ A \setminus B = \{x\in\mathbb{R}:x \in A \wedge x \not\in B\}}\)
-podzbiory - A jest podzbiorem zbioru B, jeśli wszystkie elementy A należą również do zbioru B
\(\displaystyle{ A \subseteq B \Leftrightarrow \bigwedge_{x\in A}x \in B}\)
-równość zbiorów - każdy element zbioru A należy do zbioru B oraz każdy element zbioru B należy do zbioru A
\(\displaystyle{ A = B \Leftrightarrow \bigwedge_{x\in A}x \in B \wedge \bigwedge_{x\in B}x \in A}\)

b) przedziały liczbowe
\(\displaystyle{ (a_1;a_2)=\{x\in\mathbb{R}:x>a_1\wedge x<a_2\}}\) (przedział otwarty)
\(\displaystyle{ \langle a_1;a_2 \rangle=\{x\in\mathbb{R}:x \ge a_1\wedge x \le a_2\}}\) (przedział domknięty)
\(\displaystyle{ [ a_1;a_2 ]=\{x\in\mathbb{R}:x \ge a_1\wedge x \le a_2\}}\) (przedział domknięty)

\(\displaystyle{ (a_1;a_2 \rangle=\{x\in\mathbb{R}:x > a_1\wedge x \le a_2\}}\) (przedział prawostronnie domknięty)
\(\displaystyle{ (a_1;a_2 ]=\{x\in\mathbb{R}:x > a_1\wedge x \le a_2\}}\) (przedział prawostronnie domknięty)

\(\displaystyle{ \langle a_1;a_2)=\{x\in\mathbb{R}:x \ge a_1\wedge x < a_2\}}\) (przedział lewostronnie domknięty)
\(\displaystyle{ [ a_1;a_2)=\{x\in\mathbb{R}:x \ge a_1\wedge x < a_2\}}\) (przedział lewostronnie domknięty)

c)nazewnictwo zbiorów
\(\displaystyle{ \emptyset}\) - zbiór pusty
\(\displaystyle{ \{a\}}\) - zbiór jednoelementowy
\(\displaystyle{ \{a_1,a_2,...,a_{n-1},a_n\}}\) - zbiór wieloelementowy (zakładając,że \(\displaystyle{ n\ge2}\) i wszystkie elementy są różne)
Ostatnio zmieniony 12 cze 2011, o 09:38 przez LuoXiahong, łącznie zmieniany 1 raz.
escony
Użytkownik
Użytkownik
Posty: 106
Rejestracja: 21 kwie 2011, o 08:47
Płeć: Mężczyzna
Lokalizacja: Gdansk
Podziękował: 11 razy
Pomógł: 3 razy

Podstawy logiki i informacje ogólne o zbiorach

Post autor: escony »

Wiadomości te są elementarne i przeznaczone dla początkujących matematyków(podstawówka, gimnazjum)
Może i elementarne ale zbiory, działania na zbiorach i podstawy logiki matematycznej się poznaje dopiero w 1 liceum więc nie sądzę żeby jakiś początkujący matematyk po to sięgał (no może poza Vaxem jak był w S.P) :)
Jan Kraszewski
Administrator
Administrator
Posty: 34125
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 3 razy
Pomógł: 5192 razy

Podstawy logiki i informacje ogólne o zbiorach

Post autor: Jan Kraszewski »

LuoXiahong pisze:\(\displaystyle{ \{a_1,a_2,...,a_{n-1},a_n\}}\) - zbiór wieloelementowy(zakładając,że \(\displaystyle{ n\ge2}\) i wszystkie elementy są różne)
Przy czym należy pamiętać, że jest całe mnóstwo "zbiorów wieloelementowych", które tak nie wyglądają...

JK
ODPOWIEDZ