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).