.

0 (hodnocen0 x )

(2.5) Půjčeno:5x 

BK

2. vyd.

Praha : Amos, 2002

132 s. : il

ISBN 80-903090-0-3 (brož.)

Bibliografie na s. 131-132

Logika - zkoušky přijímací - testy - příručky

000055462

Úvod - nakladatelství, knihkupectví a vzdělávací agentura AMOS 3 // Úvod autora 7 // 1. Výroková logika 11 // 1.1 Syntax výrokové logiky 14 // 1.2 Sémantika výrokové logiky 15 // Shrnutí 19 // 1.3 Úsudky ve výrokové logice 20 // Shrnutí 26 // 2. Predikátová logika prvního řádu 27 // 2.1 Syntax predikátové logiky 29 // 2.2 Sémantika monadické predikátové logiky 31 // 2.2.1 Sémantika predikátové logiky a teorie množin 32 // Shrnutí a problémy 37 // 3. Základní vztahy subjekt-predikátových výroků 41 // 4. Negace 43 // 4.1 Negace subjekt-predikátových výroků 46 // Shrnutí a problémy 47 // 5. Úsudky v predikátové logice 49 // 6. Problémy při logické analýze úsudků v přirozeném jazyce 67 // 6.1 Úsudky přesahující možnosti analýzy monadické predikátové // logiky 74 // Shrnutí a pojem logické slučitelnosti 76 // DODATEK 1 - Odvozování z textu 81 // Text A 82 // Text B 84 // Text C 85 // Cvičení - Text D // Poznámky // Příklad-Text E // Dodatek 2 // Úlohy 1 // Úlohy 2 // Úlohy 3 // Úlohy 4 // Úlohy 5 // Řešení některých cvičení // Literatura