Úvod do logiky: klasická predikátová logika
| Autoři | |
|---|---|
| Rok publikování | 2015 |
| Druh | Učebnice |
| Fakulta / Pracoviště MU | |
| Citace | |
| Popis | Kniha Úvod do logiky: klasická predikátová logika je druhou částí vícedílného úvodu do logiky, jenž je zaměřen především na humanitní a společenskovědní publikum a další zájemce o logiku. Kromě důležitých poznatků o klasické predikátové logice jako takové je čtenář postupně seznamován jednak s metodami prošetřování sémantických vlastností formulí a metodami formálního dokazování, jednak s aplikacemi tohoto na oblast přirozeného jazyka. V knize najde čtenář rovněž řadu praktických cvičení, v nichž se kromě formálních postupů naučí zejména pohotově budovat ekvivalenty či negace vět a ověřovat platnost úsudků. |
| Související projekty: |