Úvod do matematickej logiky

«»

Prípona .pdf	Typ skriptá	Stiahnuté 12 x
Veľkosť 0,4 MB	Jazyk slovenský	ID projektu 7660
Posledná úprava 19.04.2018	Zobrazené 2 776 x	Autor: monyke
Zdieľaj na Facebooku
Detaily projektu

cena:
5 Kreditov
kvalita:
85,8%
85,8%
Stiahni
Pridaj na porovnanie

Univerzita:Univerzita Pavla Jozefa Šafárika v Košiciach
Fakulta:Prírodovedecká fakulta
Kategória:Prírodné vedy » Matematika
Predmet:Logika a teória množín
Študijný program:-
Ročník:2. ročník
Formát:PDF dokument (.pdf)
Rozsah A4:62 strán

Popis:

Výrok a pravdivos» je gramatická veta, ktorá je pravdivá alebo nepravdivá.
Hovoríme, ¾e výrok má pravdivostnú hodnotu: pravdivý, nepravdivý. Pí¹eme 1, 0 alebo P, N. Teda výrok okrem iného, musí by» oznamovacia veta. Z daných výrokov mô¾eme utvori» nové výroky pomocou logických operácií 6; ^; _; !; ´. Logické operátory 6; ^; _; !; ´ sa nazývajú aj logické spojky. Ak máme výrok V, tak jeho negácia je výrok :V je výrok "Neplatí V". Ak máme výroky V; W, tak mô¾eme utvori» nové výroky:

Kľúčové slová:

výrok

dôkaz

pravdivosť

výroková funkcia

matematika

formula

Obsah:

Výrok 2
2 Pravdivos» 5
3 Dôkaz vo výrokovom poète 10
4 Matematický dôkaz 14
5 Metódy dôkazu 18
6 Kompaktnos» 20
7 Úplnos» výrokového poètu 22
8 Normálny tvar výroku 27
9 Booleove algebry 32
10 Výroková funkcia 34
11 Formula 40
12 Interpretácia jazyka 44
13 Teória a model 48
14 Dôkaz v predikátovom poète 51
15 Metódy dôkazu 55
16 Rovnos», denícia, neprotireèivos» a model 58
Literatúra 61

Zdieľaj na Facebooku

Stiahni

Pridaj projekt

Pridaj projekt a získaj kredity za stiahnutie. S kreditmi možeš sťahovať iné projekty. Je to jednoduché :)

Najčastejšie

Zobraz

Odporúčame

Prihlásenie/login