TY - BOOK ID - 120955885 TI - Úvod do logiky : klasická výroková logika PY - 2015 SN - 8021079649 8021077905 PB - Brno : Masarykova univerzita nakladatelství, DB - UniCat KW - Philosophy. UR - https://www.unicat.be/uniCat?func=search&query=sysid:120955885 AB - Kniha "Uvod do logiky: klasicka výrokova logika" je prvni casti vicedilneho uvodu do logiky, jenž je zaměřen předevsim na humanitni a spolecenskovědni publikum a dalsi zajemce o logiku. Kromě důležitých poznatků o klasicke výrokove logice jako takove je ctenař postupně seznamovan jednak s metodami prosetřovani semantických vlastnosti formuli a metodami formalniho dokazovani, jednak s aplikacemi tohoto na oblast přirozeneho jazyka. V knize najde ctenař rovněž řadu praktických cviceni, v nichž se kromě formalnich postupů nauci zejmena pohotově budovat ekvivalenty ci negace vět a ověřovat platnost usudků. ER -