Pobierz Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych i więcej Skrypty w PDF z Logica tylko na Docsity!
I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych.
1. Elementy logiki matematycznej.
1.1. Rachunek zdań.
Definicja 1.1. Zdaniem logicznym nazywamy zdanie gramatyczne oznajmujące, które w ramach danej nauki jest albo prawdziwe albo fałszywe. Prawdziwość i fałszywość są to dwie wartości logiczne zdania. Zdaniom prawdziwym przypisujemy wartość logiczną 1 , a fałszywym 0.
Przykład 1.1. Zdanie „Czy lipa jest drewnem miękkim??” nie jest zdaniem logicznym, bo jest pytaniem. Zdanie „Pewne drewno jest trwardsze od jesionu” jest zdaniem logicznym prawdziwym. Zdanie „Orzech jest drewnem miękkim” jest zdaniem logicznym fałszywym. Zdanie ”Liczba naturalna n jest mniejsza od 5” nie jest zdaniem logicznym, gdyż jego wartość logiczna zależy od n.
Zdania logiczne oznaczamy przez p, q, r itd. Mając dane zdania p, q można tworzyć zdania złożone za pomocą spójników logicznych: ∼ p - negacja zdania p, czytamy ’nieprawda, że p’ lub ’nie p’; p ∧ q - koniunkcja zdań p i q, czytamy ’p i q’; p ∨ q - alternatywa zdań p i q, czytamy ’p lub q’; p ⇒ q - implikacja o poprzedniku p i następniku q, czytamy ’jeśli p to q’ lub ’z p wynika q’ lub ’p implikuje q’; p ⇔ q - równoważność zdań p i q, czytamy ’p wtedy i tylko wtedy, gdy q’.
Wartości logiczne poszczególnych zdań w zależności od wartości zdań je tworzących: Tabele.
Kolejność wykonywania działań logicznych:
∼, ∧, ∨, ⇒, ⇔.
Nawiasy odgrywają taką rolę jak w arytmetyce.
Definicja 1.2. Formułą rachunku zdań nazywamy wyrażenie składające się ze zmiennych zdaniowych tj. zdań p, q, r itd. połączonych spójnikmi logicznymi ∼, ∧, ∨, ⇒, ⇔.
Przykład 1.2. Wyznaczymy wartość logiczną formuły
P : p ∨ (q ⇒ p ∧ q)
przy podstawieniu p = 1 , q = 0. Tabela. Wartość formuły P wynosi 1.
Definicja 1.3. Tautologią lub prawem logiki nazywamy formułę rachunku zdań, która przyjmuje wartość logiczną 1 przy dowolnym podstawieniu wartości logicznych w miejsce zmiennych zdaniowych.
Przykład 1.3. Sprawdzimy czy formuła P : p ⇒ q ⇔ (p ⇔ p ∧ q) jest tautologią. Tabela. Niezależnie jakie zdania prawdziwe czy fałszywe podstawiamy w miejsce p i q otrzymujemy zawsze zdanie prawdziwe, tj. o wartości logicznej 1. Zatem P jest tautologią.
2. Elementy algebry zbiorów.
2.1. Podstawowe pojęcia mnogościowe.
- zbiór A, B, C, ...
- element zbioru a, b, c, ...
- relacja należenia ∈
Zapis a ∈ A czytamy ’element a należy do zbioru A’. Zapis a /∈ A czytamy ’element a nie należy do zbioru A’.
a /∈ A ⇔ ∼ a ∈ A
- zbiór pusty , A = ⇔ ∀x ∼ x ∈ A
- zbiór skończony o elementach a 1 , a 2 , a 3 , ..., ak : {a 1 , a 2 , ..., ak}
- zbiór wszystkich elementów zbioru X mających daną własność w : {x ∈ X : w(x)}
- relacje zawierania się zbioru ⊂, ⊆
Zapis A ⊂ B czytamy ’zbiór A zawiera się w zbiorze B’ lub ’zbiór A jest podzbiorem zbioru B’. A ⊂ B ⇔ [∀x (x ∈ A ⇒ x ∈ B)] Zapis A ⊆ B dopuszcza równość zbiorów A i B. Mówimy, że zbiory A i B są równe, co ozn. A = B, jeśli składają się z tych samych elementów, tj.
A = B ⇔ [∀x (x ∈ A ⇔ x ∈ B)], czyli A = B ⇔ (A ⊂ B ∧ B ⊂ A).
2.2. Działania na zbiorach.
- A ∪ B = {x : x ∈ A ∨ x ∈ B} - suma zbiorów A i B
- A ∩ B = {x : x ∈ A ∧ x ∈ B} - iloczyn (przekrój) zbiorów A i B
- A \ B = {x : x ∈ A ∧ ∼ x ∈ B} - różnica zbiorów A i B
- A′^ = {x : ∼ x ∈ A} - dopełnienie zbioru A
Zbiory A i B nazywamy rozłącznymi, jeśli A ∩ B =.
2.3. Iloczyn kartezjański.
Definicja 2.1. Parą , której pierwszym elementem jest a, zaś drugim b nazywamy uporządkowany zbiór dwuelementowy i oznaczamy przez (a, b).
Definicja 2.2. Iloczynem kartezjńskim zbiorów A i B nazywamy zbiór oznaczany przez A × B wszystkich par uporządkowanych, których pierwszy element należy do zbioru A, a drugi do zbioru B, tzn. A × B = {(a, b) : a ∈ A ∧ b ∈ B}.
Przykład 2.1.
Dla zbiorów A = { 1 , 2 }, B = { 2 , 3 } mamy A × B = {(1, 2), (1, 3), (2, 2), (2, 3)} oraz B × A = {(2, 1), (2, 2), (3, 1), (3, 2)}. 2.4. Oznaczenia zbiorów liczbowych.
- N = { 1 , 2 , 3 , ...} - zbiór liczb naturalnych
- Z = { 0 , ± 1 , ± 2 , ± 3 , ...} - zbiór liczb całkowitych
- Q = {pq : p ∈ Z ∧ q ∈ N } - zbiór liczb wymiernych
- R - zbiór liczb rzeczywistych
Definicja 3.3. Liczbę a nazywamy elementem najmniejszym zbioru A ⊂ R i oznaczamy a = minA, jeżeli
a ∈ A ∧ ∀x ∈ A x ≥ a.
Liczbę b nazywamy elementem największym zbioru A ⊂ R i oznaczamy b = maxA, jeżeli b ∈ A ∧ ∀x ∈ A x ≤ b. np. dla A = [0, 1] mamy minA = 0 i maxA = 1.
Definicja 3.4. Niech zbiór A ⊂ R będzie ograniczony z dołu. Liczbę a ∈ R nazywamy kresem dolnym (infimum) zbioru A, co oznaczamy a = inf A, jeżeli zachodzą warunki:
(i) ∀x ∈ A x ≥ a; (ii) ∀ > 0 ∃x 0 ∈ A x 0 − < a.
Kres dolny zbioru A to największe ograniczenie dolne tego zbioru.
Definicja 3.5. Niech zbiór A ⊂ R będzie ograniczony z góry. Liczbę b ∈ R nazywamy kresem górnym (supremum) zbioru A, co oznaczamy b = supA, jeżeli zachodzą warunki:
(i) ∀x ∈ A x ≤ b; (ii) ∀ > 0 ∃x 0 ∈ A x 0 + > b.
Kres górny zbioru A to najmniejsze ograniczenie górne tego zbioru.
Uwaga. Element najmniejszy (największy) zbioru jest jednocześnie jego kresem dolnym (górnym). Dla zbioru A, który nie jest ograniczony z dołu (z góry) będziemy przyjmować, że inf A = −∞ (supA = +∞).
Przykłady 3. Wskazać kresy dla zbiorów A = [2, 8], B = (− 1 , ∞), C = (1, 2), D = (∞, 100], E = {x^2 : x ∈ R}, F = {sin x : x ∈ R}.
4. Wartość bezwzględna (moduł) liczby rzeczywistej.
Definicja 4.1. Wartość bezwzględną (moduł) liczby rzeczywistej x oznaczamy przez |x| i definiujemy następująco
|x| = x dla x ≥ 0 oraz |x| = −x dla x < 0.
Podstawowe własności wartości bezwzględnej. Niech x, y ∈ R.
- |x| ≥ 0 ;
- |x| = 0 ⇔ x = 0;
- |x| = | − x|;
- |x + y| ≤ |x| + |y|;
- |x · y| = |x| · |y|;
- |xy | = ||xy|| , y 6 = 0;
- ||x| − |y|| ≤ |x − y|;
- √x^2 = |x|;
- |xn| = |x|n;
- |x| ≤ a ⇔ −a ≤ x ≤ a ⇔ x ∈ [−a, a], a ≥ 0 ;
- |x| < a ⇔ −a < x < a ⇔ x ∈ (−a, a), a > 0 ;
- |x| ≥ a ⇔ (x ≥ a lub x ≤ −a) ⇔ x ∈ (−∞, −a] ∪ [a, ∞), a ≥ 0 ;
- |x| > a ⇔ (x < a lub x > −a) ⇔ x ∈ (−∞, −a) ∪ (a, ∞), a ≥ 0.
