Pytania na egzamin z logiki
Sprawdź metodą zero-jedynkową, czy następujące wyrażenie jest tezą rachunku zdań (3 zmienne)
Alternatywnie:
Dokończ następujące zdania tak, aby stały się egzemplifikacjami znanych ci praw logiki.
- 3 połówki zdań
- pierwsza musi być tak uzupełniona, by podpadała pod którąś z tez rachunku zdań (ale nie pod pierwsze cztery zasady)
- druga musi podpadać pod jedną z tez rachunku predykatów
- trzecia musi podpadać pod jedno z twierdzeń rachunku zbiorów.
Wykaż, że poniższa sekwencja jest wyrażeniem rachunku zdań.
Wykaż, że poniższa sekwencja jest formułą zdaniową rachunku predykatów.
W poniższej formule zdań rachunku predykatów wskaż zasięgi poszczególnych kwantyfikatorów i ustal, która zmienna na jakim miejscu występuję jako zmienna wolna, na jakim jako zmienna związana i przez który kwantyfikator.
Pojęciówka z rozdziałów I-IV (będą kumulatywne podpunkty a, b, c; wykluczone są np. 3 pojęcia z tego samego rozdziału)
Zapisz symbolicznie (będą trzy kumulatywne podpunkty zapisów formalnych z pierwszych 4 rozdziałów, np. z rozdziału pierwszego – wybór z 25 tez rachunku zdań, z rozdziału drugiego – 16 praw rachunku predykatów…)
Alternatywnie:
Na jednym rysunku zawierającym 3 koła zaznacz (trzeba tak ustawić 3 koła, żeby ilustrowały związki między określonymi zbiorami). Objaśnij rysunek.
Mając na uwadze znane ci rodzaje relacji, zakwalifikuj następującą relację: . . . Uzasadnij swoje ustalenia. (trzeba odnotować tylko pozytywne kwalifikacje, tzn. wskazać, jaka ta relacja JEST. Nie ma potrzeby wskazywać, jaka ta relacja nie jest. Należy wymienić jak najwięcej kwalifikacji).
Alternatywnie:
Jedno z 8 pytań dot. wynikania oraz wynikania logicznego (to, co podawał na początku ćwiczeń).
Jedno z 9 pytań dotyczących definicji:
Omów budowę definicji równościowej.
Omów budowę definicji przez abstrakcję.
Omów budowę definicji indukcyjnej.
Przedstaw wszystkie znane ci schematy definicji cząstkowych.
Omów funkcjonowanie definicji przez postulaty.
Omów funkcjonowanie definicji ze względu na zadania.
Sprecyzuj etapy eksplikacji.
Omów błędy w definiowaniu za wyjątkiem błędu nieadekwatności.
Omów błąd nieadekwatności.
Pojęciówka z rozdziałów IV-VII.
Alternatywnie:
Zilustruj i omów związki między rodzajami reguł językowych.
Przedstaw ogólny schemat wnioskowania przez indukcję enumeracyjną niezupełną i podaj jeden nieksiążkowy przykład takiego wnioskowania.
Przedstaw schemat wnioskowania przez analogię pierwszego typu i podaj jeden nieksiążkowy przykład takiego wnioskowania.
Przedstaw schemat wnioskowania przez analogię drugiego typu i podaj jeden nieksiążkowy schemat takiego wnioskowania.