.

0 (hodnocen0 x )

BK

Vyd. 1.

Praha : Státní pedagogické nakladatelství, 1970

205 s.

000055801

OBSAH // Předmluva... 5 // MYŠLENÍ Z HLEDISKA LOGICKÉHO // 1. Individua, vlastnosti, vztahy a propozice // 1. Otázky a úlohy... // 2. Množinové pojetí vlastností a vztahů... 10 // 2. Otázky a úlohy...11 // 3. Diagramy ...12 // 3. Otázky a úlohy...20 // 4. Vztah vyplývání a proces deduktivního usuzování...22 // 4. Otázky a úlohy...27 // 5. Zdůvodňování...28 // 5. Otázky a úlohy...30 // JAZYKOVÉ VÝRAZY Z HLEDISKA LOGICKÉHO // 6. Mluvení o výrazech...31 // 6. Otázky a úlohy...32 // 7. Rozlišení výrazů z hlediska logiky...32 // 7. Otázky a úlohy...42 // 8. Logické úsudkové formy a pravidla správného usuzování...44 // 8. Otázky a úlohy...51 // VÝROKOVÁ LOGIKA // 9. Význam vět utvořených pomocí logických spojek...52 // 10. Symboly a názvosloví výrokové logiky...54 // 10. Otázky a úlohy...57 // 11. Podmínky pravdivosti negace, konjunkce, disjunkce, implikace a ekvivalence . 57 // 12. Podmínky pravdivosti a výrokové formy ...59 // 12. Otázky a úlohy...60 // 13. Formule a sekvence výrokové logiky... 62 // 13. Otázky a úlohy...63 // 14. Tabulková metoda...63 // 14. Otázky a úlohy...68 // 15. Výrokově logické vyplývání...69 // 15. Otázky a úlohy...70 // 16. Další poučky a definice...73 // PREDIKÁTOVÁ LOGIKA ČÁST PRVÁ // 17. Věty obecné a existenční...78 // 17. Otázky a úlohy...79 // 18. Poučky důležité pro odvozování...80 // 19. Odvozování...86 // 20. Pravidla odvozování...88

21. Strategické úvahy...97 // 21. Otázky a úlohy...101 // 203 // O <1 PREDIKÁTOVÁ LOGIKA - ČÁST DRUHÁ // 22. Kvantifikátory...108 // 22. Otázky a úlohy...110 // 23. Formule a sekvence predikátové logiky... 112 // 24. Volné a vázané výskyty proměnných ...113 // 24. Otázky a úlohy ...116 // 25. Dosazení...116 // 26. Přirozený jazyk a predikátová logika...118 // 26. Otázky a úkoly...121 // 27. Pravidla odvozování...121 // 27. Otázky a úlohy ...123 // 28. Další poučky...125 // 29. Kvantifikace predikátových proměnných...127 // FUNKCE A FUNKTORY // 30. Funkce...130 // 31. Funktory a termíny ...133 // 31. Otázky a úlohy...134 // DEFINICE // 32. Význam výrazu a pojem...135 // 33. Definice — jazyková úmluva...137 // 34. Induktivní definice...143 // 35. Definice vypovídající o jazykové zvyklosti...145 // 35. Otázky a úlohy ...146 // METODY DEDUKTIVNÍCH (MATEMATICKÝCH) VĚD // 36. Systémy...150 // 37. Matematická teorie a její axiomatizace...152 // METODY VĚD EMPIRICKÝCH // 38. Pozorování a popis...156 // 39. Stupeň potvrzení...157 // 40. Empirická indukce...158 // 41. Vysvětlení...161 // 42. Hypotézy...162 // Závěrem...165 // 1. Odpovědi a řešení...168 // 2. Odpovědi a řešení...168 // 3. Odpovědi a řešení...168 // 4. Odpovědi a řešení...170 // 5. Odpovědi a řešení...171 // 6. Odpovědi a řešení...172 // 7. Odpovědi a řešení...172 // 8. Odpovědi a řešení...173 // 10. Odpovědi a řešení...174

// 12. Odpovědi a řešení...175 // 13. Odpovědi a řešení...175 // 14. Odpovědi a řešení...175 // 15. Odpovědi a řešení...177 // 17. Odpovědi a řešení...180 // 204 21. Odpovědi a řešení...181 // 22. Odpovědi a řešeni...194 // 24. Odpovědi a řešení...195 // 26. Odpovědi a řešení...195 // 27. Odpovědi a řešení...198 // 31. Odpovědi a řešení...201 // 35. Odpovědi a řešení...201 // 205

(OCoLC)85355492

cnb000452652