Algebra - pytania 10

Nasza ocena:

4
Pobrań: 14
Wyświetleń: 840
Komentarze: 0
Notatek.pl

Pobierz ten dokument za darmo

Podgląd dokumentu
Algebra - pytania 10 - strona 1

Fragment notatki:


ZESTAW 10 1. OCENIĆ PRAWDZIWOŚĆ ZDANIA. [za rozwiązanie dziękuję heiliger'owi] Jeśli podzbiory niesprzecznych zbiorów zdań są niesprzeczne, to każda krata jest algebra Boole'a. Zdanie zapisujemy w postaci , gdzie: p = „podzbiory niesprzecznych zbiorów zdań są niesprzeczne” q = „każda krata jest algebra Boole'a” Zdanie, którego prawdziwość mam ocenić ma postać . Należy zatem ocenić wartości logiczne zdań p i q. Zdanie p jest prawdziwe, gdyż wynika to z własności niesprzeczności zbiorów. Natomiast zdanie q jest fałszywe, ponieważ istniej takie kraty, które nie są algebrą Boole'a (krata, która nie jest rozdzielcza lub dla której nie są spełnione prawa dotyczące wyróżnionych elementów). Zatem zdani to ma postać , a więc jest ono fałszywe. 2. SFORMUŁOWAĆ ANTYNOMIĘ WYRAZU HETEROLOGICZNY , WSKAZAĆ JEJ ŹRÓDŁO I SPOSÓB ROZWIĄZANIA TEJ TRUDNOŚCI.
Autorem antynomii wyrazu `heterologiczny' był Grelling.
Antynomia = sprzeczność wewnętrzna.
Heterologiczny - wyraz `w' jest heterologiczny wtedy i tylko wtedy, gdy `w' nie jest w.
np. Wyraz „kreda” nie jest kredą. Wyraz „rzeczownik” jest rzeczownikiem.
Czy wyraz „heterologiczny” jest heterologiczny?
„Heterologiczny” jest heterologiczny wtw. gdy „heterologiczny” nie jest heterologiczny. Czyli zapisując podane zdanie jako funkcję: , co oczywiście jest sprzecznością (nie może coś być i jednocześnie nie być). Dla uniknięcia takich paradoksów należy odróżniać język od metajęzyka oraz przestrzegać zasad samoreferencji (wielopoziomowa struktura języka). nie wolno mieszać poziomów języka 3. SFORMUŁOWAĆ PROBLEM PEŁNOŚCI KRZ ORAZ UZASADNIĆ, ŻE REGUŁA ODRYWANIA NIE WYPROWADZA POZA ZBIÓR TAUTOLOGII. - twierdzenie o pełności KRZ - zbiór jest zamknięty na RO 1. (zał) 2. (zał) 3. (zał) 4. wiersze 1, 2, 3 są sprzeczne 5. (1-4, TDN) 4. UDOWODNIĆ, ŻE FORMUŁA JEST TWIERDZENIEM KRZ, ORAZ SFORMUŁOWAĆ ZASTOSOWANE TWIERDZENIE O DEDUKCJI.
1. (zał) 2. (A3)
3. (A4)
4. (1, 2, RO)
5. (1, 3, RO)
6. (A3)
7. (A4)
8. (4, 6, RO)
9. (4, 7, RO)
... zobacz całą notatkę



Komentarze użytkowników (0)

Zaloguj się, aby dodać komentarz