Tautologia - omówienie

Nasza ocena:

3
Pobrań: 56
Wyświetleń: 609
Komentarze: 0
Notatek.pl

Pobierz ten dokument za darmo

Podgląd dokumentu
Tautologia - omówienie - strona 1 Tautologia - omówienie - strona 2

Fragment notatki:

1.ZDANIE : zdanie w logice nazywamy wypowiedżoznajmującą w której można przypisac kategoriach danej naukijedna z dwóch ocen :prawdy lub fałszu.
2Tautologia : Tautologią (prawem)rachunku zdań nazywamy wyrażenie rachunku zdań,z którego zawsze otrzymamy zdanie prawdziwe,niezależnie od wartości logicznych zdan podstawionych w miejsce zmiennych zdaniowych.
Prawa De Morgana : 3UOGÓLNIONE PRAWA DE MORGANA : Jeśli RELACJA RÓWNOŚCI : Relacje taka nazywamy relacj równoważności ,gdy jest relacja zwrotna,symetryczna i przechodnia.
REGLA ILOCZYNU : Card ,gdzie card X jest liczbą elemętów zbioru X.
ZASADA ABSTRAKCJI : Zasada abstrakcji identyfikacji elementów równoważnych.Dowolna relacja równoważności ustala podział zbioru X na rozłączne i niepuste podzbiory(mianowicie na klasy abstrakcji tej relacji)w taki sposób ze dwa elemęty x,y Xnależa do tej samej klasy abstrakcji wtedy i tylko wtedy ,gdy Xjesy w relacji z y/X≈y.
PRZECIW OBRAZ ZBIORU PRZEZ FUNKCJE :Nich f: jeśli CcY,to zbiór nazywamy przeciw obrazem zbioru Ć poprzez funkcje f.
FUNKCJA STAŁA :Niech będzie ustalony.Funkcje f: określona wzorem nazywamy funkcja stałą.
FUNKCJA ZŁOŻONA :Niech f: ,g: Wówczas funkcje określona wzorem nazywamy złożeniem (superpozycją) funkcji f z g.Funkcę f nazywamy fun.wewnetrzna,a fun.g zewnetrzną złożenie g o f.
FUNKCJA ODWROTNA :Funkcje nazywamy f.odwrotną do gdy;
RÓŻNOLICZNOŚĆ ZBIORÓW :Zboiry X,Y nazywamy różnolicznymi jeśli istnieje funkcje .O funkcji f mówimy ze ustala ona równoliczność zbiorów X,Y.Jeśli zbiory X,Y są rónoliczne to piszemy TW.CANTORA-BERSTEINA :Dla dowolnych zbiorów A,B,C.Jeśli AcBcC oraz cardA=CardC to cardA=cardB=caryc.
TW.CANTORA :
Dla każdego zbioru X :card X=0 -x,xCiąg który nie posiada granicy nazywamy rozbieżnym.
O TRZECH CIĄGACH :
Jeśli wyraz ciagów spałniaja nie równości O ZACHOWANIU NIERÓWNOŚCI W GRANICACH: Jeśli dla n oraz Lim LICZNA NEPPERA :
Ciąg ( określamy wzorem n N jest zbieżny.
WARUNEK KONIECZNY ZBIEŻNOŚCI SZEREGU :Jeśli szereg an jest zbieżny to .
KRYTERIM PORÓWNAWCZE O WYRAZACH NIE UJEMNYCH :
... zobacz całą notatkę

Komentarze użytkowników (0)

Zaloguj się, aby dodać komentarz