Pre-algebra Antonín Jančařík.

Prezentace na téma: "Pre-algebra Antonín Jančařík."— Transkript prezentace:

1 Pre-algebra Antonín Jančařík

2 Łukasiewiczkého logika

3 Formální jazyk PL1 Abeceda
Logické symboly individuové proměnné: x, y, z, ... Symboly pro spojky: , , , →,↔ Symboly pro kvantifikátory: ,  Speciální symboly Predikátové: Pn, Qn, ... n – arita = počet argumentů Funkční: fn, gn, hn, „ -- Pomocné symboly: závorky (, ), ... 3

4 Formální jazyk PL1 Gramatika
termy: každý symbol proměnné x, y, ... je term jsou-li t1,…,tn (n  0) termy a je-li f n-ární funkční symbol, pak výraz f(t1,…,tn) je term; pro n = 0 se jedná o individuovou konstantu (značíme a, b, c, …) jen výrazy dle i. a ii. jsou termy 4

5 Formální jazyk PL1 Gramatika
atomické formule: je-li P n-ární predikátový symbol a jsou-li t1,…,tn termy, pak výraz P(t1,…,tn) je atomická formule formule: každá atomická formule je formule je-li výraz A formule, pak A je formule jsou-li výrazy A a B formule, pak výrazy (A  B), (A  B), (A →B), (A ↔ B) jsou formule je-li x proměnná a A formule, pak výrazy x A a x A jsou formule 5 5

6 Kvantifikátory Při formulování výroků v běžné řeči velice často používáme kvantifikátory a to jak přímo, tak i nepřímo. Je rozdíl mezi výroky: Každý pes má čtyři nohy. Skoro každý pes má čtyři nohy. Existuje pes, který má čtyři nohy. Právě jeden pes má čtyři nohy.

7 Kvantifikátory Ve výrokové logice používáme dva kvantifikátory – existenční (malý) kvantifikátor (∃) a Univerzální kvantifikátor (∀) (také obecný či velký kvantifikátor).

8 Existenční (malý) kvantifikátor (∃)
Pomocí malého existenčního kvantifikátoru vyjadřujeme skutečnost, že existuje (alespoň) jeden objekt, splňující podmínky následující za kvantifikátorem. Pokud takový prvek existuje, je výrok pravdivý. Pokud takový prvek neexistuje, je výrok nepravdivý.

9 Univerzální kvantifikátor (∀)
Pomocí malého univerálního kvantifikátoru vyjadřujeme skutečnost, že všechny objekty splňující podmínky následující za kvantifikátorem. Pokud neexistuje prvek, nesplňující podmínku, je výrok pravdivý. Pokud takový prvek existuje, je výrok nepravdivý. Podmínky uvedené univerzálním kvantifikátorem jsou triviálně splněny na prázdné množině.

10 Převod z přirozeného jazyka
„všichni“, „žádný“, „nikdo“,  „někdo“, „něco“, „někteří“, „existuje“, ...  Větu musíme často ekvivalentně přeformulovat Pozor: v češtině dvojí zápor ! Žádný student není důchodce: x [S(x) → D(x)] Ale, „všichni studenti nejsou důchodci“ čteme jako „ne všichni studenti jsou důchodci“: x [S(x) → D(x)] x [S(x)  D(x)] 10

11 Příklad: jazyk aritmetiky
Má tyto (speciální) funkční symboly: nulární symbol: 0 (konstanta nula) – konstanta je nulární funkční symbol unární symbol: s (funkce následník) binární symboly: + a  (funkce sčítání a násobení) Příkladem termů jsou (používáme infixní notaci pro + a ): 0, s(x), s(s(x)), (x + y)  s(s(0)), atd. Formulemi jsou např. výrazy (= je zde speciální predikátový symbol): s(0) = (0  x) + s(0) 11

12 Leopold Kronecker (1823-1891) Německý matematik židovského původu.
Kronecker publikoval množství prací na nejrůznější témata jako teorie čísel, eliptické funkce apod. Byl přesvědčen o tom, že základem matematiky jsou přirozená čísla a že všeho lze dosáhnout konečným počtem operací.

13 Bůh vytvořil přirozená čísla, vše ostatní už je výtvorem člověka.

14 (1906-1978) Jeden z nejvýznamnějších logiků všech dob.
Způsobil třetí krizi v matematice. Objevil a formuloval dva teorémy o neúplnosti: z prvního plyne, že žádný formální systém nemůže být zároveň úplný a bezesporný a z druhého, že bezespornost formálního systému nelze uvnitř tohoto systému dokázat.

15 Množiny

16 Georg Ferdinand Ludwig Philipp Cantor (1845-1918)
Významný německý matematik a logik. Kromě matematiky se, především v pozdějším věku, velmi věnoval teologii, zejména ve vztahu k vlastní práci týkající se nekonečna. Rozšířil teorii množin o nekonečná čísla, označovaná jako ordinální a kardinální čísla.

17 Množiny Slova G. Cantora:
Množina je souhrn objektů, které jsou přesně určené a rozlišitelné a tvoří součást světa našich představ a myšlenek; tyto objekty nazýváme prvky množiny. Množina je soubor objektů, chápaný jako celek. Objekty množiny se nazývají prvky množiny. Charakterizující vlastnost množiny je, že je jednoznačně určena svými prvky (ale nevšímá si jejich pořadí ani žádné další struktury). Množina, neobsahující žádné prvky se nazývá prázdná množina. V matematice existuje abstraktní teorie množin, zkoumající množiny z formálního hlediska.

18 Paradoxy V malém městě je jediný holič, který holí právě ty muže ve městě, kteří se neholí sami. Kdo holí holiče? Množina všech množin, které neobsahují sama sebe. Z definice se má sama obsahovat právě když se sama neobsahuje.

19 Bertrand Arthur Wiliam Russell (1872-1970)
Pocházel z aristokratického prostředí s významnými politickými vazbami. Britský matematik, filosof, logik a spisovatel. Nositel Nobelovy ceny za literaturu za rok 1950. V matematice je znám svým paradoxem v naivní teorii množin. Svobodomyslný pedagog, v letech vedl experimentální školu v Sussexu. Proti přání své rodiny se Russell roku 1894 oženil s americkou kvakerkou Alys Persall Smithovou a odešel s ní do Berlína, kde studoval ekonomii .

20 Závěr Při definování množiny pomocí charakteristické vlastnosti určíme vlastnost, která je charakteristická pro prvky, které patří do dané množiny. U takové definice množiny (charakteristickou vlastností) musíme však být opatrní, protože můžeme snadno dostat paradox.

21 Axiomatická teorie množin
Naivní teorie množin Zermelo-Fraenkelova teorie množin Von Neumann-Bernays-Gödelova teorie množin

22 Zermelo-Fraenkelova teorie množin
Axiom extenzionality Schéma axiomů nahrazení Schéma axiomů vydělení Axiom dvojice Axiom sumy Axiom potenční množiny Axiom nekonečna Axiom fundovanosti

23 Von Neumann-Bernays-Gödelova teorie množin
Na rozdíl od ZFC, jejímž objektem jsou pouze množiny, zatímco třídy tvoří pomocný konstrukt na úrovni metajazyka, v NBG jsou množiny i třídy objektem ve světě teorie množin — na množiny jsou však kladena (jejich definicí) určitá omezení — jednoduše řečeno množiny jsou právě ty objekty, které jsou prvkem jiného objektu.

24 Množinové operace Sjednocení Průnik Rozdíl Doplněk

25 Sjednocení množin

26 Průnik množin

27 Rozdíl množin

28 Doplněk množiny A

29 Vztahy mezi množinovými operacemi
Vyjádření rozdílu pomocí doplňku: De Morganovy zákony:

30 Booleova algebra Booleova algebra je definována jako distributivní komplementární svaz.

31 Booleova algebra Pro Booleovu algebru A a každé x, y, z ∈ A platí:
asociativita: (x ∨ y) ∨ z = x ∨ (y ∨ z), (x ∧ y) ∧ z = x ∧ (y ∧ z) absorpce: x ∨ (x ∧ y) = x, x ∧ (x ∨ y) = x agresivita nuly: x ∧ 0 = 0 agresivita jedničky: x ∨ 1 = 1 idempotence: x ∨ x = x, x ∧ x = x absorpce negace: x ∨ (−x ∧ y) = x ∨ y, x ∧ (−x ∨ y) = x ∧ y dvojitá negace: −(−x) = x De Morganovy zákony: −x ∧ −y = −(x ∨ y), −x ∨ −y = −(x ∧ y) 0 a 1 jsou vzájemně komplementární: −0 = 1, −1 = 0

32 Booleova algebra

33 Pokrytí množiny Pokrytím množiny A rozumíme takový soubor jejích podmožin, že jejich sjednocení je rovno celé množině A. A A2 A4 A1 A3

34 Disjunktní pokrytí množiny
Podmnožiny tvořící pokrytí množiny A se mohou navzájem překrývat. Pokud k žádnému překryvu nedochází, tzn. průnik každých dvou podmnožin je prázdný, nazýváme takové pokrytí disjunktní. Někdy také hovoříme o rozkladu množina A (na třídy).