LOGIKA
B11
Nazwisko i imię ..............................................................................
Tryb studiów (SSP/WSP/ZSP) ................. grupa ćw. ..................
Zad. 1. Jacek i Placek byli bliźniętami. Jacek był sprytny, ambitny i ukradł księżyc. Wiedząc, iż Placek też jest sprytny i ambitny zaproponuj wnioskowanie, które w oparciu o te wiadomości orzekałoby coś o ewentualnej „przestępczej” karierze Placka. Jaki charakter będzie miało to wnioskowanie (zawodny/niezawodny)? (0-3 pkt).
Zad. 2. Jaki funktor bądź funktory wstawione w wykropkowane miejsce sprawią, że poniższa funkcja będzie tautologiczna? Ustal to metodą nie wprost. (2 pkt)
[(p ... q) ٨ p]→ [(p → q) ٧ q]
Zad. 3. Art. 662 k.c. stanowi: „Wynajmujący powinien wydać najemcy rzecz w stanie przydatnym do umówionego użytku i utrzymywać ją w takim stanie przez czas trwania najmu“. W oparciu o ten przepis sąd orzekł, iż na wynajmującym lokal mieszkalny ciąży obowiązek dokonania naprawy niesprawnej instalacji elektrycznej przed oddaniem tego lokalu w najem. Do jakiego wnioskowania odwołał się sąd? (Zrekonstruuj i uzasadnij wnioskowanie sądu) (0-4).