ORGANON: negování tvrzení
Marie Benediktová Větrovcová
Katedra filosofie FF ZČU v Plzni
marie.benediktova@gmail.com
Igor Sedlár
Katedra logiky a metodológie vied FF UK v Bratislavě
igor.sedlar@gmail.com
V příspěvku se zaměříme na umění negování jakožto fenomén, který by měl studentovi po absolvování úvodního kursu logiky setrvat co nejdéle.
Budeme se věnovat negování v přirozeném jazyce, negování ve výrokovém kalkulu a negování v predikátovém kalkulu 1. řádu. Klasifikace typů a
systematické vytváření příkladů na negování je předmětem práce na databázi LMS - Organon, kterou spravuje KFI FF ZČU - příklady,
uváděné v příspěvku, budou součástí této databáze. Ve druhé části příspěvku představíme návrh algoritmů automatického hodnocení úloh tohoto druhu.
Abstrakt
Prezentace
Článek ve sborníku
|