Predikátová logika



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

Štěpán, J., Hrubeš, J.: LOGIKA:Terminologický a výkladový slovník. Ateliér Milata. Ostrava: 1994

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)
A. Weston. Argumenty (Rukověť pravidel). Pedagogická fakulta MU v Brně. Brno: 2001






                                 Základní pojmy predikátové logiky

                                       Jednomístné predikáty

-       1. JEDNOMÍSTNÉ PREDIKÁTY

-       - Proměnné pro vlastnosti: F, G, H,

-       - Proměnné pro prvky: x, y, z.

-       - Tzv. primitivní termín logiky vlastností: F(x)



                                        Dvoumístné predikáty











                                           Kvantifikátory

n      KVANTIFIKÁTORY

   -obsahují počet



n      DOSAH KVANTIFIKÁTORU

- Volná proměnná

- Proměnná vázaná kvantifikátorem





n      OBOR PROMĚNNOSTI













                                            KVANTIFIKACE

n     I. Kladný obecný výrok

n     II. Záporný obecný výrok

n     III. Kladný existenční výrok

n     IV. Záporný existenční výrok

                                 Obecný a existenční kvantifikátor





n    Obecný kvantifikátor: (x)

n    Existenční kvantifikátor:

(Ex)



- Kvantifikované výroky predikátové

logiky a národní jazyk („všechno“ a „nic“)









                               Výroky vytvořené pomocí kvantifikátorů