.

0 (hodnocen0 x )

(2) Půjčeno:2x 

BK

Praha : Jednota československých matematiků a fysiků, 1950

97 s.

000044192

PŘEDMLUVA ...3 // ÚVOD ...4 // 1. SPOJOVÁNÍ VÝROKŮ ...5 // 1,1. Výroky. 1,2. Souvětí. 1,3. Negace. 1,4. Konjunkce. 1,5. Disjunkce, 1,6. Implikace. 1,7. Ekvivalence. 1,8. Spojení několika výroků. 1,9. Tautologický správná souvětí. // 2. VÝROKOVÉ VZORCE ...13 // 2,1. Výrokové vzorce. 2,2. Dosazení. 2,3. Rovnice a otázka./ 2,4. Spojení výrokových vzorců. 2,5. Označení a označovací vzorce. // 3. OBECNÉ A EXISTENČNÍ VÝROKY ...18 // 3,1. Obecné a existenční výroky. 3,2. Kombinace logických operací a spojení. 3,3. Tautologický správné výroky. 3,4 Dvojí pojetí existence. 3,5. Logické značky. // 4. LOGICKÁ DEDUKCE ...26 // 4,1..Odvození a důkaz. 4,2. Implikační úsudek. 4,3. Sylogismus. 4,4. Substituční úsudek. 4,5. Identifikační úsudek. // 4,6...Nepřímý úsudek. 4,7. Formální a obsahová správnost výroků. 4,8. Logické zásady. // 5. DRUHY DÚKAZŮ ...41 // 5,1...Individuální věty. 5,2. Přímý obecný důkaz. 5,3. Důkaz // úplnou indukcí. 5,4. Nepřímý obecný důkaz. 5,5. Existenční důkaz. 5,6. Existenční důkaz úplnou indukcí. 5,7. Jádro důkazu. 5,8. Logická konstrukce. // 6. MNOŽINY A ZOBRAZENÍ ...55 // 6,1. Pojem množiny. 6,2. Množinové operace: spojení, průnik, rozdíl. 6,3. Množina a výrokový vzorec. 6,4. Princip výběru. 6,5. Antinomie theorie množin. 6,6. Kartézský součin. 6,7. Relace. 6,8. Zobrazení a funkce. 6,9. Proměnné veličiny. // 7. DEFINICE ...73 // 7,1. Co je to definice. 7,2. Úloha definicí v matematice. 7,3. Některé typy definicí. // 8. AXIOMY...80 // 8,1. Co jsou to axiomy. 8,2. Obsahové pojetí axiomů. 8,3. Formální pojetí axiomů. 8,4. Interpretace axiomů. 8,5. Bezespornost. 8,6. Úplnost. 8,7. Nezávislost. // 9. LOGICKÝ KALKUL ...91 // LITERATURA ...97

(OCoLC)85435653

cnb000676019