.

0 (hodnocen0 x )

(4.7) Půjčeno:14x 

BK

První vydání

Plzeň : Západočeská univerzita v Plzni, 2015

174 stran : ilustrace ; 30 cm

ISBN 978-80-261-0567-1 (brožováno)

Na obálce pod názvem: Fakulta filozofická Západočeské univerzity v Plzni

Obsahuje bibliografii na stranách 173-174

001636444

Úvod 7 // 1 Co je logika? 9 // 1.1 Nededuktivní usuzování... 17 // 1.2 jazyk a metajazyk... 19 // 2 Výroková logika 21 // 2.1 Sémantika logických spojek... 23 // 2.2 Modely formulí VL... 34 // 2.3 Sémantické metody ověřování platnosti úsudku ... 41 // 2.4 Ekvivalentní úpravy formulí... 55 // 2.5 Přirozená dedukce ve VL... 61 // 3 Predikátová logika 1. řádu 77 // 3.1 Naivní teorie množin... 80 // 3.2 Analýza výroků přirozeného jazyka prostředky PL1 ... 89 // 3.3 Modely formulí PL1... 98 // 3.4 Některé vlastnosti binárních relací...104 // 3.5 Aristotelská logika ...108 // 3.6 Metoda Vennových diagramů...113 // 3.7 Přirozená dedukce v PL1...119 // Závěr 129 // Řešení příkladů k procvičování 131 // 5

(OCoLC)946295067

cnb002778787