Zestaw I 1. Definicja tautologii KRZ, przykłady, 2. Aksjomaty Zelmera 3. Definicja termu, formuły atomowej, formuły i przykłady 4. co jeszcze 5. Sprawdzić czy formuła jest tautologiš (metoda tablic analitycznych); 6. Udowodnić (AUB)xC=(AxC)U(BxC) x - częć wspólna Zestaw II 1. Metody sprawdzania czy formuła KRZ jest tautologiš 2. Prawa Logiki pierwszego rzędu, definicja, przykłady 4. Sprawdzić czy formuła jest tautologiš (metoda tablic analitycznych) 5. Udowodnić (AuB)xC=(AxC)+(BxC) x - częć wspólna Zestaw III 1. Poprawne schematy wnioskowania KRZ 2. Definicja zbioru potęgowego, przykłady 3. Relacje, dzidzina, przeciwdziedzina, relacja odwrotna, złożenie 4. Kres dolny zbioru, kres górny zbioru, definicja kraty ... 5. Sprawdzić czy zdanie jest tautologiš 6. Udowodnij prawo: (AxB)'=A'uB' x - częć wspólna Zestaw IV 1. Relacja na zbiorze. 2. Apn i kpn. 3. Iloczyn kartezjański. 5. Jeżeli a jest podzielne przez 4 to a jest też podzielne przez 2, to też a jest niepodzielne przez 2 to a jest niepodezielne przez 4. Jakie takie było zdanie i trzeba było sprawdzić czy jest prawdziwe a więc powstał zapis: p-->q<-->~q-->~p i sprawdzić np. za pomocš tabelki. 6. Czy relacja jest różnowartociowa? Jeżeli tak to wyznaczyć klasę abstracji. x^2=y^2 Zestaw V 1. Aksjomaty KRZ 2. Aksjomaty Zermela 3. Relacja równoważnoci, klasy abstrakcji zasada abstrakcji 4. Nie pamiętam 5. (p -> q) -> (p ^ ~q) Udowodnij za pomocš tablic analitycznych 6. RcR^2 xRy x-y=0 udowodnij równowartociowoć i wyznacz klasę abstrakcji
RezidentRnR