Prezentace se nahrává, počkejte prosím

Prezentace se nahrává, počkejte prosím

Výroková logika (analytické myšlení, úsudky) Martin Hájíček Vysokoškolské katolické hnutí Brno Kurzy TSP.

Podobné prezentace


Prezentace na téma: "Výroková logika (analytické myšlení, úsudky) Martin Hájíček Vysokoškolské katolické hnutí Brno Kurzy TSP."— Transkript prezentace:

1 Výroková logika (analytické myšlení, úsudky) Martin Hájíček Vysokoškolské katolické hnutí Brno Kurzy TSP

2 základním pojmem je výrok základním pojmem je výrok výrok = každé srozumitelné sdělení, o kterém má smysl říci, že je buď pravdivé a nebo nepravdivé. výrok = každé srozumitelné sdělení, o kterém má smysl říci, že je buď pravdivé a nebo nepravdivé. příklad: „Venku prší“ příklad: „Venku prší“ výroky nejčastěji označujeme velkými písmeny výroky nejčastěji označujeme velkými písmeny Výroková logika Vysokoškolské katolické hnutí Brno Kurzy TSP

3 Výroky jednoduché a složené Jednoduchý výrok A: „Pes skáče po autě“ Složený výrok B: „Pes skáče po autě a husa mává koštětem“ Vysokoškolské katolické hnutí Brno Kurzy TSP

4 Pravdivost, nepravdivost A: „Dáváme pozor“ A: „Dáváme pozor“ výrok A je pravdivý výrok A je pravdivý B: „Jsme v Brně a sedíme na střeše“ B: „Jsme v Brně a sedíme na střeše“ Výrok B je…? Výrok B je…? pravda má číselnou hodnotu 1, nepravda 0 pravda má číselnou hodnotu 1, nepravda 0 Vysokoškolské katolické hnutí Brno Kurzy TSP

5 Negace Vysokoškolské katolické hnutí Brno Kurzy TSP Negace Negace výrok, který je nepravdivý, je-li výrok A pravdivý, a který je pravdivý, je-li výrok A nepravdivý výrok, který je nepravdivý, je-li výrok A pravdivý, a který je pravdivý, je-li výrok A nepravdivý negace A: „Dáváme pozor“ je  A: „Není pravda, že dáváme pozor“ = „Nedáváme pozor“ Jsme v Brně a sedíme na střeše“ je…?  B: „Jsme v Brně a sedíme na střeše“ je…?

6 Negace kvalifikovaných výroků Vysokoškolské katolické hnutí Brno Kurzy TSP

7 Složené výroky Vysokoškolské katolické hnutí Brno Kurzy TSP vznikají ze dvou a více výroků pomocí logických spojek vznikají ze dvou a více výroků pomocí logických spojek logické spojky konjunkce (  ): A  B (čteme A a B) disjunkce (  ): A  B (čteme A nebo B) implikace (  ) A  B (čteme jestliže A, pak B) ekvivalence (  ) A  B (čteme A právě tehdy, když B)

8 Konjunkce Vysokoškolské katolické hnutí Brno Kurzy TSP výrok je pravdivý pouze tehdy, jsou-li pravdivé oba výroky A, B. konjunkce (  ): A  B (čteme A a B) A  B: „Venku prší a je mokro“

9 Disjunkce Vysokoškolské katolické hnutí Brno Kurzy TSP výrok je pravdivý právě tehdy, když aspoň jeden z výroků A, B je pravdivý disjunkce (  ): A  B (čteme A nebo B) A  B: „Lidi koušou nebo lišky štěkají

10 Implikace výrok, který je nepravdivý pouze tehdy, když je výrok A pravdivý a výrok B nepravdivý implikace (  ) A  B (čteme jestliže A, pak B) A  B: „Pokud budeš mít samé jedničky, pak dostaneš kolo“ Vysokoškolské katolické hnutí Brno Kurzy TSP

11 Ekvivalence Výrok je pravdivý pouze v případech, kdy oba výroky A, B mají stejnou pravdivostní hodnotu ekvivalence (  ) A  B (čteme A právě tehdy, když B) Trojúhelník je pravoúhlý právě tehdy, když v něm platí Pythagorova věta Vysokoškolské katolické hnutí Brno Kurzy TSP

12 Shrnutí Vysokoškolské katolické hnutí Brno Kurzy TSP

13 Negace složených výroků Vysokoškolské katolické hnutí Brno Kurzy TSP


Stáhnout ppt "Výroková logika (analytické myšlení, úsudky) Martin Hájíček Vysokoškolské katolické hnutí Brno Kurzy TSP."

Podobné prezentace


Reklamy Google