1 / 5

Výroková logika přednáška č. 5

Výroková logika přednáška č. 5. Základní literatura: O. Weinberger-O. Zich. Logika. 2. vydání. SPN. Praha: 1964 O. Weinberger. Základy právní logiky. Masarykova univerzita v Brně. Brno: 1993 V. Knapp, P. Holl ä nder a kol. . Právne myslenie a logika. Obzor. Bratislava: 1989

kelly-english
Download Presentation

Výroková logika přednáška č. 5

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Výroková logikapřednáška č. 5 Základní literatura: O. Weinberger-O. Zich. Logika. 2. vydání. SPN. Praha: 1964 O. Weinberger. Základy právní logiky. Masarykova univerzita v Brně. Brno: 1993 V. Knapp, P. Holländer a kol.. Právne myslenie a logika. Obzor. Bratislava: 1989 V. Knapp, A. Gerloch. Logika v právním myšlení. Eurolex Bohemia. Praha: 2000 K. Szymanek: Umění argumentace. Univerzita Palackého. Olomouc 2003 J. Strach. Logika. MU v Brně. Ped. Fakulta. Brno: 2003 M. Machovec. Logika. Rovnost. Praha: 1952 J. Svatek, Úvod do logiky. Západočeská univerzita, Plzeň: 1997 J. Svatek, L., Dostálová. Logika pro humanistiku. A. Čeněk. Dobrá Voda: 2003 L. Turečková. Základy logiky. Policejní akademie ČR. Praha: 1994 Weston, A.: Argumenty (Rukověť pravidel). Pedagogická fakulta MU v Brně. Brno: 2001 M. Jelínek, B. Švandová. Argumentace a umění komunikovat. PedF. MU v Brně. Brno: 1999 Přednášky: Logika PedF MU v Brně. RNDr. B. Švandová, Ph.D., 2000 (na základě A. Weston: Příručka pravidel pro argumenty, 1992)

  2. Základní pojmy • -VÝROK A JEHO PRAVDIVOSTNÍ HODNOTA • VÝROKY: • a) elementární • b) složené -TABULKY PRAVDIVOSTNÍCH HODNOT

  3. Logické spojky KONJUNKCE DISJUNKCE IMPLIKACE EKVIVALENCE NEGACE Nahrazování funktorů

  4. Výroky určené formou a výrazy faktuální Výroky určené formou: jejich “…hlavní sloupec tabulky má stejnou pravdivostní hodnotu pro každé ohodnocení.“1): • TAUTOLOGIE • KONTRADIKCE VÝRAZY FAKTUÁLNÍ (matice je smíšená) (1. In.: L. Turečková. Základy logiky. Policejní akademie ČR. Praha: 1994, s. 13)

  5. Deduktivní argumenty (Dle Weston, A.: Argumenty (Rukověť pravidel). Pedagogická fakulta MU v Brně. Brno: 2001, s. 35 an.) MODUS PONENS Jestliže p, pak q. p. Proto q. MODUS TOLLENS Jestliže p, pak q. Ne-q. Proto ne-p. HYPOTETICKÝ SYLOGISMUS Jestliže p, pak q. Jestliže q, pak r. Proto jestliže p, pak r. DILEMA p nebo q. Jestliže p, pak r. Jestliže q, pak s. Proto r nebo s. DISJUNKTIVNÍ SYLOGISMUS p nebo q. Ne-p. Proto q.

More Related