Egzamin składa się z 6 pytań, za każde jest od 0 do 3 punktów (czyli max 18 ). Żeby zdać trzeba uzbierać przynajmniej 10. Co do pytań 2,5,6 - polecenie będzie jedno, w zależności co komu trafi (np. jeden dostanie 5-A a drugi 5-C1). 1. Sprawdź metodą 0-1 czy następujące wyrażenie jest tezą rachunku zdań (3 zmienne) 2-A. Wykaż, że poniższa sekwencja jest wyrażeniem rachunku zdań B. Wykaż, że poniższa sekwencja jest formułą zdaniową rachunku predykatów C. W poniższej formule zdaniowej rachunku predykatów wskaż zasięgi poszczególnych kwantyfikatorów oraz ustal, która zmienna na jakim miejscu występuje jako zmienna wolna, a na jakim miejscu jako zmienna związana i przez który kwantyfikator D. Dokończ następujące zdania tak, aby stały się egzemplifikacjami (potwierdzeniami) znanych ci praw logiki 3. Pojęciówka z rozdziałów 1-4 (3 pojęcia) 4. Zapisz symbolicznie (3 rzeczy) 5-A. 1 z 8 pytań dotyczących wynikania i wynikania logicznego B. Mając na uwadze znane ci rodzaje relacji zakwalifikuj relację taką a taką. Uzasadnij swoje ustalenia C1. Omów budowę definicji równościowej C2. Omów budowę definicji przez abstrakcję C3. Przedstaw wszystkie znane ci schematy definicji cząstkowych C4. Omów budowę definicji indukcyjnej C5. Omów funkcjonowanie definicji przez postulaty C6. Omów rodzaje definicji ze względu na zadania C7. Sprecyzuj etapy eksplikacji C8. Omów błędy w definiowaniu za wyjątkiem błędu nieadekwatności C9. Omów błąd nieadekwatności 6-A1. Przedstaw ogólny schemat wnioskowania przez indukcję enumeracyjną niezupełną i podaj 1 nieksiążkowy przykład takiego wnioskowania A2. Przedstaw schemat wnioskowania przez analogię I typu i podaj 1 nieksiążkowy przykład A3. Przedstaw schemat wnioskowania przez analogię II typu i podaj 1 nieksiążkowy przykład A4. Zilustruj i omów związki między rodzajami reguł jężykowych. B. Pojęciówka z rozdziałów 5-7 C. Pojęciówka z rozdziałów 5-7
podpregierzem