.

0 (hodnocen0 x )

BK

1. vyd.

Praha : Státní nakladatelství politické literatury, 1957

122 s.

000084451

OBSAH // PŘEDMLUVA 5 // § 1. ČÍM SE ZABÝVÁ LOGIKA 9 // 1.1. Usuzování je jedna z činností, které rozšiřují naše // vědění 9 // 1.2. Usuzování je přechod od premis k závěrům 11 // 1.3. Logika podává schémata a způsoby provádění správných // úsudků 12 // 1.4. Logika a filosofie 13 // § 2. O SPRÁVNÉM VYJADŘOVÁNÍ MYŠLENEK VE // VÝROCÍCH 16 // 2.1. Správné vyjadřování myšlenek pomocí jazykových výtvorů se skládá z výroků 16 // 2.2. Složené výroky se v zásadě skládají z výroků jednoduchých a z mezivýrokových spojek 19 // 2.3. Logické mezivýrokové spojky 21 // 2.4. Logické názvy některých složených výroků 24 // Cvičení 27 // § 3. PRAVIDLO ODLOUČENÍ 30 // 3.1. Logická pravidla dovolují uznávat za pravdivé nové // výroky 30 // 3.2. Formulace pravidla odloučení 31 // 3.3. Další příklady aplikace pravidla odloučení 33 // Cvičení 35 // § 4. ZÁKONY VÝROKOVÉ LOGIKY 36 // 4.1. Zákon vyloučeného třetího 36 // 4.2. Zákon sporu 38 // 4.3. Zákony dvojité negace 41 // 4.4. Zákon transposice 43 // 4.5. Zákony charakterisující konjunkci 47 // 4.6. Zákony implikačních sylogismů 49 // 4.7. Poučky charakterisující alternativu 57 // 4.8. Poučky charakterisující ekvivalenci 59 // 4.9. De Morganovy zákony 60 // Cvičení 61 // § 5. CHARAKTERISTIKA LOGICKÝCH SPOJEK 62 // 5.1. Tabulka negace 63 // 5.2. Tabulka konjunkce i 64 // 5.3. Tabulka alternativy 67 // 5.4. Tabulka implikace

70 // 5.5. Tabulka ekvivalence 75 // Cvičení 77 // § 6. TABULKOVÉ OVĚŘOVÁNÍ FORMULÍ VÝROKOVÉ // LOGIKY 79 // 6.1. Symbolika výrokové logiky 79 // 6.2. Správně sestavené formule 80 // 6.3. Ověřování formulí s jednou proměnnou 82 // 6.4. Ověřování logických formulí s více proměnnými 87 // 6.5. Zkratková metoda nula-jednotkového ověřování 92 // Cvičení 97 // § 7. APLIKACE VÝROKOVÉ LOGIKY 98 // 7.1. Aplikace výrokové logiky na matematické vědy 98 // 7.2. Aplikace výrokové logiky na techniku 104 // 7.3. Úvahy o aplikacích výrokové logiky na společenské vědy 108 // 7.4. Vyhledávání chyb v úsudcích 109 // 7.5. Rozbor správných úsudků 116 // Cvičení 122

(OCoLC)85456972

cnb000681234