Last update: GAJDOS (30.04.2002)
Formal logics, basic notions and its history.
Literature:
R. Bek: Logika pro pedagogický kurs, ČVUT, Praha 1968
K. Bendová: Sylogistika, Prha 1998
J. Berka, M. Jauris: Logika, Prah 1978
Last update: GAJDOS (30.04.2002)
Základy formální logiky, Aristotelská tradice v logice, sylogistika, jazyk výrokové logiky, tautologie,
definice, kontradikce a splnitelné formule, pojem logického důsledku, základní pojmy predikátové logiky,
moderní trendy v logice.
Literatura:
R. Bek: Logika pro pedagogický kurs, ČVUT, Praha 1968
K. Bendová: Sylogistika, Prha 1998
J. Berka, M. Jauris: Logika, Prah 1978