Annotation
Předmět seznamuje studenty se základy výrokové a predikátové logiky. Studenti se seznamují i s klasifikací klamných argumentů, kterou následně využívají při analýzách textů. Cílem předmětu je, aby studenti pomocí znalosti základů logiky byli schopni posuzovat správnost argumentů. Dále by studenti měli být schopni analyzovat klamné argumenty při analýze textu.
1. Základní pojmy - sémiotika, vztah vyplývání a sylogysmus.
2. Výroková logika - určení pravdivostní hodnoty složeného výroku, analýza správnosti argumentu, jazyk výrokové logiky.
3. Predikátová logika - kvantifikátory, vztah k výrokové logice, De Morganovy zákony, vyvracení úsudku protipříkladem.
4. Důkazní postupy (přímý, sporem, indukcí).
5. Vennovy diagramy.
6. Nutná a postačující podmínka
7. Argumentace, klamné argumenty - užití při analýze textu.