Písemná část kolokvia z Logiky pro právníky Čas na zpracování: 40 minut. Nejvyšší možný počet bodů: 8 Jednotlivé otázky budou hodnoceny 0-0,5-1 bodem. Bodovému hodnocení písemné práce by odpovídala (pro Vaši orientaci) známka ve tvaru A-F: 7,5-8 bodů: A 6,5-7bodů: B 5,5-6 bodů: C 5 bodů: D 4,5-4 bodů: E pod 4 body: F 1. Vysvětlete pojmy: a) syntetická definice b) klasická definice 2. Vysvětlete pojem: obor relace 3. Vysvětlete pojem modus tollens. Zapište jeho symbolickou podobu. 4. Vytvořte doplněk třídy ke třídě „pozemky“ (oblast zkoumání: nemovitosti-viz. § 119 odst. 2 Občanského zákoníku). Zakreslete a vysvětlete. 5. Vysvětlete pojem „extenzionální funktor“. 6. Vyznačte v logickém čtverci vztah subkontrárnosti (zakreslete a vysvětlete). 7. „Algebraizace logiky“ je spojena se jménem: a) G. Frege b) S. Kripke c) G. Boole d) B. Russel Představitelem „sémantiky možných světů“ byl: a) S. Kripke b) P. Tichý c) W. Leibniz 8. Vysvětlete pojmy: a) tautologie b) argumentace „de lege ferenda“