Poslední úprava: prof. RNDr. PhDr. Hana Voňková, Ph.D. et Ph.D. (29.10.2019)
· Základní pojmy - např. sémiotika, vztah vyplývání a sylogysmus
· Výroková logika - určení pravdivostní hodnoty složeného výroku, analýza správnosti argumentu, jazyk výrokové logiky
· Predikátová logika - kvantifikátory, vztah k výrokové logice, De Morganovy zákony, vyvracení úsudku protipříkladem
· Důkazní postupy (přímý, sporem, indukcí), Vennovy diagramy, Nutná a postačující podmínka
· Argumentace, klamné argumenty - užití při analýze textu
Poslední úprava: prof. RNDr. PhDr. Hana Voňková, Ph.D. et Ph.D. (29.10.2019)
· Basic terms - e.g., semiotics, logical consequence and syllogism
· Propositional calculus - assignment of the true value of a compound proposition, analysis of a validity of an argument, language of a propositional calculus
· Predicate logic - quantifiers, relationship to the propositional calculus, De Morgan's laws, proving that the argument is invalid using a counterexample
· Proofs (direct proof, proof by contradiction, induction), Venn diagrams, Necessary and sufficient condition
· Argumentation, fallacies - use for the text analysis |