Pytania z egzaminu pisemnego z podstaw logiki i teorii mnogości
Jak widzicie lista jest niekompletna ale wspólnymi siłami na pewno uda się nam ją uzupełnić 
Proszę pisać w komentarzach lub mailowo.
Szczególnie gr. I
Gr. I
- -definicja dowodu
- -dwa aksjomaty w LPR dla duzego kwantyfikatora
- -funkcja zachowujaca zero, funkcja samodwoista, funkcja monotniczn wraz z przyladami i kontrprzykladami
- -dowod formuly VxA->A
- -wartosci zera w algebrach boole’a
- -reguly wtorne w LPR (definicja + poznane na wykladzie reguly wtorne)
- -definicja tautologii
- -dowod (AnB)’=A’u B’ (u-suma, n-iloczyn)
- -udowodnic, ze przedzial (0,1)eR nie jest przeliczalny
- -semantyczne twierdzenie o podstawianiu (def.)
- -zapisac prawa rozdzielnosci alternatywy wzgledem koniunkcji i w druga strone w KRZ
- -
- -
- -
Gr. II
Kolejność się może nie zgadzać 
- Definicje funkcji zachowującej 1, liniowej, samodwoistej oraz po jednym przykładzie na tak i na nie - z uzasadnieniem.
- Pokaż (albo i udowodnij?), że przedział (0,1) jest nieprzeliczalny
- Definicja funkcji “na” oraz przykład funkcji
, która jest “na”, ale nie jest różnowartościowa.
- -
- -
- -
- -
- -
- -
- -
- -
- -
- -
- -
Wydrukuj ten post
