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

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)







                                           Základní pojmy

-              -VÝROK A JEHO PRAVDIVOSTNÍ HODNOTA



-              VÝROKY:

-              a) elementární

-              b) složené



-TABULKY PRAVDIVOSTNÍCH HODNOT







                                           Logické spojky











                              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):

n   TAUTOLOGIE

n   KONTRADIKCE



VÝRAZY FAKTUÁLNÍ (matice je smíšená)



(1. In.: L. Turečková. Základy logiky. Policejní akademie ČR. Praha: 1994, s. 13)













                                        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.