1. Wstęp do logiki. v Elementy logiki i teorii zbiorów. Matematyka jest

1. Wstęp do logiki.
v
Elementy logiki i teorii zbiorów.
Matematyka jest nauką dedukcyjną.
Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.
Pojęcia pierwotne to najprostsze pojęcia, których nie definiujemy.
Aksjomaty (pewniki) to stwierdzenia, które uważamy za prawdziwe bez dowodzenia ich prawdziwości.
Własności zdefiniowanych pojęć oraz związki między nimi formułujemy w twierdzeniach. Twierdzenia udowadniamy posługując się regułami wnioskowania i wykorzystując aksjomaty lub wcześniej udowodnione twierdzenia.
v
Rachunek zdań.
Pojęcia pierwotne:
• zdanie,
• wartość logiczna zdania.
Zdania oznaczamy literami, np. p, q, r.
Jeśli p jest zdaniem prawdziwym, to mówimy, że wartość logiczna zdania p jest równa 1 i zapisujemy
w(p) = 1.
Jeśli p jest zdaniem fałszywym, to mówimy, że wartość logiczna zdania p jest równa 0 i zapisujemy
w(p) = 0.
v
Aksjomaty logiki.
(A1) Istnieje conajmniej jedno zdanie.
(A2) Dla dowolnych zdań p i q, istnieją zdania ∼ p, p ∨ q, p ∧ q, p ⇒ q, p ⇔ q, których wartość logiczna
zależy jedynie od wartości logicznych p i q w następujący sposób:
p
1
1
0
0
q
1
0
1
0
∼p
0
0
1
1
p∨q
1
1
1
0
p∧q
1
0
0
0
p⇒q
1
0
1
1
p⇔q
1
0
0
1
Definicja 1.1. Symbole ∼, ∨, ∧, ⇒, ⇔ nazywamy funktorami zdaniotwórczymi (lub spójnikami logicznymi).
Przykłady innych funktorów dwuargumentowych:
• alternatywa wykluczająca – spójnik ⊕ (w informatyce XOR)
p
1
1
0
0
p⊕q
0
1
1
0
q
1
0
1
0
1
1. WSTĘP DO LOGIKI.
2
• kreska Sheffera – spójnik | (w informatyce NAND)
p
1
1
0
0
q
1
0
1
0
p|q
0
1
1
1
Definicja 1.2. Litery oznaczające dowolne zdania nazywamy zmiennymi zdaniowymi, zaś wyrażenia
utworzone ze zmiennych zdaniowych, funktorów zdaniotwórczych i ewentualnie nawiasów nazywamy schematami (lub formułami) rachunku zdań.
Definicja 1.3. Schematy zdań, które przyjmują wartość logiczną 1 niezależnie od wartości logicznych tworzących je zdań nazywamy tautologiami lub prawami rachunku zdań.
v
Przykłady tautologii:
1. p∨ ∼ p
prawo wyłączonego środka;
2. ∼ (p∧ ∼ p)
3. p ⇔∼ (∼ p)
prawo niesprzeczności;
prawo podwójnego zaprzeczenia;
4. (p ⇒ q) ⇔ (∼ q ⇒∼ p)
(p ∨ q) ⇔ (q ∨ p)
5.
(p ∧ q) ⇔ (q ∧ p)
prawo kontrapozycji;
prawa przemienności;
(p ∨ (q ∨ r)) ⇔ ((p ∨ q) ∨ r)
6.
(p ∧ (q ∧ r)) ⇔ ((p ∧ q) ∧ r)
7. (p ∨ (q ∧ r)) ⇔ ((p ∨ q) ∧ (p ∨ r))
prawa łączności;
prawo rozdzielności alternatywy względem koniunkcji;
8. (p ∧ (q ∨ r)) ⇔ ((p ∧ q) ∨ (p ∧ r))
prawo rozdzielności koniunkcji względem alternatywy;
∼ (p ∨ q) ⇔ (∼ p∧ ∼ q)
9.
prawa de Morgana;
∼ (p ∧ q) ⇔ (∼ p∨ ∼ q)
10. ∼ (p ⇒ q) ⇔ (∼ q ∧ p)
prawo zaprzeczenia implikacji;
11. ((p ⇒ q) ∧ (q ⇒ r)) ⇒ (p ⇒ r).
v
Przykłady reguł wnioskowania:
1.
P, P ⇒Q
Q
2.
P ⇒Q, ∼Q
∼P
3.
P ⇒Q, Q⇒R
P ⇒R
4.
P ∨Q, ∼P
Q
5.
∼P ⇒(R∧∼R)
P
6.
(P ∧∼Q)⇒∼P
P ⇒Q
reguła odrywania
2. ALGEBRA ZBIORÓW.
3
2. Algebra zbiorów.
v
Pojęcia pierwotne algebry zbiorów:
• zbiór,
• przynależność do zbioru.
Oznaczenia: a ∈ X− czyt. „a należy do zbioru X”
a nazywamy elementem zbioru X
def
a∈
/X ⇔∼a∈X
v
Aksjomaty algebry zbiorów:
(A3) Istnieje conajmniej jeden zbiór.
(A4) Dla dowolnych zbiorow A i B istnieje zbiór, którego elementami są wszystkie elementy zbioru A i wszystkie elementy zbioru B.
(A5) Dla dowolnych zbiorow A i B istnieje zbiór, którego elementami są te elementy zbioru A, które nie należą
do zbioru B.
(A6) Jeśli zbiory A i B mają te same elementy, to są równe.
def
A = B ⇔ w(x ∈ A ⇔ x ∈ B) = 1.
Definicja 2.1. Niech X0 będzie zbiorem, którego istnienie wynika z aksjomatu (A3). Na mocy aksjomatu
(A5) istnieje zbiór X0 \ X0 . Zbiór ten nazywamy zbiorem pustym i oznaczamy symbolem ∅.
Uwaga: w(x ∈ ∅) = 0.
Twierdzenie 2.2. Dla dowolnego zbioru A mamy
A\A = ∅.
Niech A, B będą zbiorami.
Zbiór, którego istnienie wynika z aksjomatu (A4) nazywamy sumą zbiorów A, B i oznaczamy przez
def
A ∪ B = {x : x ∈ A ∨ x ∈ B}.
Zbiór, którego istnienie wynika z aksjomatu (A5) nazywamy różnicą zbiorów A, B i oznaczamy przez
def
A \ B = {x : x ∈ A ∧ x ∈
/ B}.
Definicja 2.3. Niech A i B będą dowolnymi zbiorami. Zbiór A \ (A \ B) nazywamy iloczynem zbiorów
A, B i oznaczamy przez A ∩ B.
Twierdzenie 2.4. Dla dowolnych zbiorów A i B ich iloczyn A ∩ B = {x : x ∈ A ∧ x ∈ B}.
Definicja 2.5. Mówimy, że zbiór A zawarty jest w zbiorze B (A jest podzbiorem B) jeśli w(x ∈ A ⇒
x ∈ B) = 1. Piszemy wtedy A ⊂ B.
Twierdzenie 2.6. Dla dowolnych zbiorów A i B mamy:
1. ∅ ⊂ A;
2. A ⊂ A;
3. A = B ⇔ (A ⊂ B) ∧ (B ⊂ A);
3. FUNKCJE ZDANIOWE. KWANTYFIKATORY.
4
Definicja 2.7. Niech A ⊂ X. Zbiór X \ A nazywamy dopełnieniem zbioru A (do zbioru X) i oznaczamy
przez A0 .
v
Prawa algebry zbiorów:
Niech A, B, C, X będą dowolnymi zbiorami takimi, że A, B ⊂ X. Wówczas
1. A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C);
2. A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C);
3. (A ∪ B)0 = A0 ∩ B 0 ;
4. (A ∩ B)0 = A0 ∪ B 0 ;
5. A ∩ B ⊂ A
i
A ∩ B ⊂ B;
6. A ⊂ A ∪ B
i
B ⊂ A ∪ B;
7. A ⊂ B ⇒ A \ B = ∅.
Własności trzecia i czwarta noszą nazwę praw de Morgana dla rachunku zbiorów.
(A7) Dla dowolnego zbioru X istnieje zbiór złożony ze wszystkich jego podzbiorów. Zbiór ten oznaczamy 2X
i nazywamy zbiorem potęgowym zbioru X.
A ∈ 2X ⇔ A ⊂ X
Iloczyn kartezjański:
Definicja 2.8. Niech A, B 6= ∅ oraz a ∈ A i b ∈ B. Parą uporządkowaną (a, b) o poprzedniku a i
następniku b nazywamy zbiór {{a}, {a, b}}.
(A8) Niech A, B 6= ∅. Istnieje zbiór złożony ze wszystkich par uporządkowanych o poprzednikach ze zbioru A
i następnikach ze zbioru B.
Zbior ten nazywamy iloczynem kartezjańskim i oznaczamy przez A × B.
def
A × B = {(a, b) : a ∈ A ∧ b ∈ B}
3. Funkcje zdaniowe. Kwantyfikatory.
v
Funkcje zdaniowe.
Definicja 3.1. Niech X będzie dowolnym zbiorem. Wyrażenie ϕ(x) zawierające zmienną x, które staje się
zdaniem (prawdziwym lub fałszywym), gdy w miejsce x wstawimy dowolny element zbioru X nazywamy funkcją
zdaniową, której zakresem zmienności jest zbiór X.
(A9) Dla dowolnej funkcji zdaniowej ϕ(x), której zakresem zmienności jest zbiór X, istnieje zbiór tych elementów ze zbioru X, dla których ϕ(x) jest zdaniem prawdziwym.
Mówimy, że jest to zbiór tych elementów x ∈ X, które spełniają funkcję zdaniową ϕ(x) i zapisujemy
{x ∈ X : w(ϕ(x)) = 1} ≡ {x ∈ X : ϕ(x)}
Definicja 3.2. Zbiór {x ∈ X : ϕ(x)} nazywamy wykresem funkcji zdaniowej.
Twierdzenie 3.3. Niech α(x) i β(x) będą funkcjami zdaniowymi o zakresie X. Wówczas:
1. {x ∈ X : α(x) ∨ β(x)} = {x ∈ X : α(x)} ∪ {x ∈ X : β(x)};
2. {x ∈ X : α(x) ∧ β(x)} = {x ∈ X : α(x)} ∩ {x ∈ X : β(x)};
3. {x ∈ X :∼ α(x)} = X \ {x ∈ X : α(x)};
4. {x ∈ X : α(x) ⇒ β(x)} = {x ∈ X : α(x)}0 ∪ {x ∈ X : β(x)}.
v
Rachunek kwantyfikatorów.
Definicja 3.4. Niech ϕ(x) będzie funkcją zdaniową, której zakresem zmienności jest zbiór X.
3. FUNKCJE ZDANIOWE. KWANTYFIKATORY.
5
• Jeśli {x ∈ X : ϕ(x)} = X, to mówimy, że funkcja zdaniowa ϕ(x) zachodzi dla każdego x ∈ X i zapisujemy
V
ϕ(x).
x
• Jeśli {x ∈ X : ϕ(x)} =
6 ∅, to mówimy, że funkcja zdaniowa ϕ(x) zachodzi dla pewnego x ∈ X i zapisujemy
W
ϕ(x).
x
Symbol
V
(lub ∀) nazywamy kwantyfikatorem ogólnym, zaś symbol
W
(lub ∃) – kwantyfikatorem
szczególnym.
V
W
Bezpośrednio z definicji wynika, że [ ϕ(x)] ⇒ [ ϕ(x)].
x
x
Kwantyfikatory o zakresie ograniczonym:
Niech α(x) i β(x) będą funkcjami zdaniowymi o zakresie X.
def
V
V
•
β(x) ⇔
[α(x) ⇒ β(x)];
x∈X
α(x)
•
W
def
β(x) ⇔
α(x)
W
[α(x) ∧ β(x)].
x∈X
Prawa de Morgana dla rachunku kwantyfikatorów:
Niech α(x) będzie funkcją zdaniową o zakresie X. Wówczas:
V
W
1. ∼ [ α(x)] ⇔ ∼ α(x);
x
x
W
V
2. ∼ [ α(x)] ⇔ ∼ α(x).
x
x
Prawa rozdzielności kwantyfikatorów względem funktorów zdaniotwórczych:
Niech α(x) i β(x) będą funkcjami zdaniowymi o zakresie X. Wówczas:
V
V
V
3.
[α(x) ∧ β(x)] ⇔ [
α(x) ∧
β(x)];
x∈X
x∈X
x∈X
W
W
W
4.
[α(x) ∨ β(x)] ⇔ [
α(x) ∨
β(x)];
x∈X
x∈X
x∈X
W
W
W
5.
[α(x) ∧ β(x)] ⇒ [
α(x) ∧
β(x)];
x∈X
x∈X V
x∈X
V
V
6.
α(x) ∨
β(x)] ⇒ [
[α(x) ∨ β(x)];
x∈X
x∈X
V
Vx∈X
V
7.
[α(x) ⇒ β(x)] ⇒ [
α(x) ⇒
β(x)];
x∈X
x∈X
x∈X
V
W
W
8.
[α(x) ⇒ β(x)] ⇒ [
α(x) ⇒
β(x)].
x∈X
x∈X
x∈X
Niech S będzie zdaniem lub funkcją zdaniową (o zakresie zmienności zawartym w zbiorze X), która nie zależy
w sposób efektywny od zmiennej x.
V
V
9.
[α(x) ∧ S] ⇔ [
α(x) ∧ S];
x∈X
x∈X
W
W
10.
[α(x) ∨ S] ⇔ [
α(x) ∨ S];
x∈X
x∈X
V
V
11.
[α(x) ∨ S] ⇔ [
α(x) ∨ S];
x∈X
x∈X
W
W
12.
[α(x) ∧ S] ⇔ [
α(x) ∧ S].
x∈X
x∈X
Niech ϕ(x, y) będzie funkcją zdaniową, której zakresem zmienności jest zbiór X × Y .
V V
V V
13.
ϕ(x, y) ⇔
ϕ(x, y);
x∈X
y∈Y
W y∈Y
W
W x∈X
W
14.
ϕ(x, y) ⇔
ϕ(x, y);
x∈X
y∈Y
W y∈Y
V
V x∈X
W
15.
ϕ(x, y) ⇒
ϕ(x, y).
y∈Y x∈X
x∈X y∈Y