Logika pro filosofii 2

Ludmila Dostálová
Katedra filosofie
Fakulta filozofickĂˇ Západočeské univerzity v Plzniasarykovy

PrĹŻbÄ›ĹľnĂ© testy pro LS 2011

1.test: Formalizace
ZadĂˇnĂ testu: Formalizace vÄ›t pĹ™irozenĂ©ho jazyka do predikĂˇtovĂ© logiky prvnĂho Ĺ™Ăˇdu

2.test: Ekvivalence
ZadĂˇnĂ testu: UrÄŤovĂˇnĂ vztahĹŻ mezi vÄ›tami Ĺ™irozenĂ©ho jazyka prostĹ™ednictvĂm zĂˇkonĹŻ vĂ˝rokovĂ© a predikĂˇtovĂ© logiky

3.test: Negace
ZadĂˇnĂ testu: UrÄŤovĂˇnĂ negacĂ vÄ›t pĹ™irozenĂ©ho jazyka na zĂˇkladÄ› zĂˇkonĹŻ vĂ˝rokovĂ© a predikĂˇtovĂ© logiky

4.test: LogickĂˇ analĂ˝za pĹ™irozenĂ©ho jazyka
ZadĂˇnĂ testu: AnalĂ˝za vĂceznaÄŤnosti a dalĹˇĂch jevĹŻ pĹ™irozenĂ©ho jazyka za hranicemi predikĂˇtovĂ© logiky prvnĂho Ĺ™Ăˇdu

Projekt ESF OPVK reg.ÄŤ. CZ.1.07/2.2.00/07.0217 "ORGANON: LMS pro vĂ˝uku logiky"
je spolufinancovĂˇn z EvropskĂ©ho sociĂˇlnĂho fondu a stĂˇtnĂho rozpoÄŤtu ÄŚeskĂ© republiky.