1 .SFORMUŁOWAĆ ANTYNOMIĘ WYRAZU HETEROLOGICZNY , WSKAZAĆ JEJ ŹRÓDŁO I SPOSÓB ROZWIĄZANIA TEJ TRUDNOŚCI 2. SFORMUŁOWAĆ PROBLEM PEŁNOŚCI KRZ ORAZ UZASADNIĆ, ŻE REGUŁA ODRYWANIA NIE WYPROWADZA POZA ZBIÓR TAUTOLOGII. 3 . ZDEFINIOWAĆ FUNKCJĘ ŁUKASIEWICZA ZA POMOCĄ FUNKCJI SHEFFERA 4. 5 . SCHARAKTERYZOWAĆ ZWIĘŹLE TRÓJWARTOŚCIOWĄ LOGIKĘ ZDAŃ ŁUKASIEWICZA 6. SFORMUŁOWAĆ ZASADĘ „IM WIĘCEJ ZAŁOŻYMY, TYM WIĘCEJ UDOWODNIMY” ORAZ FORMALNIE JĄ UZASADNIĆ. 7. SPRAWDZIĆ, ŻE PRAWA DE MORGANA SĄ TAUTOLOGIAMI DWUELEMENTOWEJ ALGEBRY ZDAŃ.
8. 9 . SFORMUŁOWAĆ NAJWYŻSZE PRAWA MYŚLENIA ARYSTOTELESA 10 . PODAĆ DEFINICJĘ FUNKCJI KONSEKWENCJI, WYMIENIĆ ZNANE WŁASNOŚCI ORAZ UDOWODNIĆ WYBRANĄ. 11. W ALGEBRZE ZBIORÓW SFORMUŁOWAĆ PRAWA DE MORGANA ORAZ SPRAWDZIĆ JEDNO.
12. 13 . PODAĆ KLASYCZNĄ DEFINICJĘ PRAWDY ARYSTOTELESA I WSKAZAĆ JEJ OGRANICZENIA
14. OPISAĆ ALFABET KLASYCZNEGO RACHUNKU PREDYKATÓW. PODANE SYMBOLE ZILUSTROWAĆ PRZYKŁADAMI. 15. W ALGEBRZE ZBIORÓW SFORMUŁOWAĆ PRAWA ROZDZIELNOŚCI ORAZ SPRAWDZIĆ JEDNO. 16. SFORMUŁOWAĆ ANTYNOMIĘ KŁAMCY. WSKAZAĆ JEJ ŹRÓDŁO I SPOSÓB ROZWIĄZANIA.
17. SFORMUŁOWAĆ ZASADĘ ABSTRAKCJI W POSTACI TWIERDZENIA ORAZ WYKAZAĆ WYBRANĄ TEZĘ. 18. ZDEFINIOWAĆ KRESKĘ SHEFFERA ZA POMOCĄ OPERATORA ŁUKASIEWICZA.
19. 20. SCHARAKTERYZOWAĆ ZWIĘŹLE LOGIKĘ JAKO METODĘ U SOKRATESA.
21. OKREŚLIĆ POJĘCIE NIESPRZECZNOŚCI DLA ZBIORU ZDAŃ, WYMIENIĆ ZNANE WŁASNOŚĆI I UZASADNIĆ WYBRANĄ. 22. PODAĆ DEFINICJĘ KRATY ORAZ ZILUSTROWAĆ TO POJĘCIE DOWOLNYM PRZYKŁADEM. SPRAWDZIĆ WYBRANĄ WŁASNOŚĆ.
23. 24. ROZWIĄZAĆ ZAGADKĘ
Będąc łotrem lub rycerzem stwierdzam: 25 . SCHARAKTERYZOWAĆ SYSTEM ALGEBRAICZNO-RELACYJNY JAKO MODEL JĘZYKA KRP. OBJAŚNIĆ SYMBOLIKĘ.
26. 27. ZAPISAĆ ZDANIE Z WYKORZYSTANIEM ZWROTÓW WARUNEK KONIECZNY ORAZ WARUNEK WYSTARCZAJĄCY . 28. W ALGEBRZE ZBIORÓW SFORMUŁOWAĆ I SPRAWDZIĆ PRAWA POCHŁANIANIA.
29. UZUPEŁNIĆ ZDANIE ORAZ OCENIĆ JEGO PRAWDZIWOŚĆ. Jeśli aksjomat (A9) KRZ ma postać 30. PRZEDSTAWIĆ I OCENIĆ WYBRANY PARADOKS ZENONA Z ELEI.
31. 32. OCENIĆ PRAWDZIWOŚĆ ZDANIA. Jeśli podzbiory niesprzecznych zbiorów zdań są niesprzeczne, to każda krata jest algebra Boole'a 33. SFORMUŁOWAĆ PROBLEM PEŁNOŚCI KRZ ORAZ UZASADNIĆ, ŻE REGUŁA ODRYWANIA NIE WYPROWADZA POZA ZBIÓR TAUTOLOGII. 34 35. SPRAWDZIĆ, ŻE AKSJOMATY KRZ CHARAKTERYZUJĄCE ALTERNATYWĘ SĄ TAUTOLOGIAMI DWUELEMENTOWEJ ALGEBRY ZDAŃ. 36. SFORMUŁOWAĆ PRAWA ROZDZIELANIA MAŁEGO KWANTYFIKATORA WZGLĘDEM KONIUNKCJI ORAZ PODAĆ KONTRPRZYKŁAD NA ODWROTNĄ IMPLIKACJĘ.
... zobacz całą notatkę
Komentarze użytkowników (0)