Úvod do logiky: klasická výroková logika zajímavosti
Jiří Raclavský
https://www.databazeknih.cz/img/books/36_/367760/bmid_uvod-do-logiky-klasicka-vyrokova-lo-Yci-367760.jpg
4
4
4
Kniha „Úvod do logiky: klasická výroková logika“ je první čá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é výrokové 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ů.... celý text
Zajímavosti
Zatím zde není žádná zajímavost.
Autorovy další knížky
2015 | Úvod do logiky: klasická výroková logika |
2011 | Individua a jejich vlastnosti - studie z intenzionální metafyziky |
2009 | Jména a deskripce |
2020 | Základy logiky přesvědčení |
2014 | Pojmy a vědecké teorie |