PODZIAŁ LOGICZNY. Zbiór Z. Zbiór A. Zbiór B



Podobne dokumenty
Wprowadzenie do logiki Podział logiczny

Wykład 4 Logika dla prawników. Nazwy, Relacje między zakresami nazw, Podział logiczny, Definicje

Wykład 8. Definicje. 1. Definicje normalne/równościowe i nierównościowe. Np.: Studentem jest człowiek posiadający ważny indeks wyższej uczelni

Relacje. opracował Maciej Grzesiak. 17 października 2011

LOGIKA I TEORIA ZBIORÓW

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

Spis treści. Definicje prawdopodobieństwa. Częstościowa definicja prawdopodobieństwa. Wnioskowanie_Statystyczne_-_wykład

1 Działania na zbiorach

Matematyka dyskretna. Andrzej Łachwa, UJ, /10

domykanie relacji, relacja równoważności, rozkłady zbiorów

Technologie i systemy oparte na logice rozmytej

Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi.

Matematyka dyskretna. Andrzej Łachwa, UJ, /14

Wykorzystanie programu Paint na lekcjach matematyki w nauczaniu zintegrowanym

Matematyka dyskretna. Andrzej Łachwa, UJ, /14

Matematyka dyskretna. Andrzej Łachwa, UJ, A/14

LX Olimpiada Matematyczna

Ciała i wielomiany 1. przez 1, i nazywamy jedynką, zaś element odwrotny do a 0 względem działania oznaczamy przez a 1, i nazywamy odwrotnością a);

mgr Anna Dziuba Uniwersytet Wrocławski mgr Anna Dziuba

1. Liczby naturalne, podzielność, silnie, reszty z dzielenia

Kolorowanie płaszczyzny, prostych i okręgów

Matematyka dyskretna. Andrzej Łachwa, UJ, /10

Podstawy logiki pojęć 1

Matematyka dyskretna. Andrzej Łachwa, UJ, /10

Podstawowe własności grafów. Wykład 3. Własności grafów

Dlaczego nie wystarczają liczby wymierne

Test kwalifikacyjny na I Warsztaty Matematyczne

Wstęp do logiki. Semiotyka cd.

020 Liczby rzeczywiste

Scenariusz nr 7. I. Tytuł scenariusza: Książki oknem na świat. Autor scenariusza: Krystyna Jakubowska. Blok tematyczny: Historia książki

0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.

5. Algebra działania, grupy, grupy permutacji, pierścienie, ciała, pierścień wielomianów.

KLASA I LO Poziom podstawowy (wrzesień)

Jeśli lubisz matematykę

Zajęcia nr. 3 notatki

Zbiory. Specjalnym zbiorem jest zbiór pusty nie zawierajacy żadnych elementów. Oznaczamy go symbolem.

Logika I. Wykład 1. Wprowadzenie do rachunku zbiorów

Indukcja matematyczna. Zasada minimum. Zastosowania.

Matematyka II. Bezpieczeństwo jądrowe i ochrona radiologiczna Semestr letni 2018/2019 wykład 13 (27 maja)

Matematyka na poziomie GIMNAZJUM wersja β

6.4 Podstawowe metody statystyczne

Zależność cech (wersja 1.01)

Kombinowanie o nieskończoności. 3. Jak policzyć nieskończone materiały do ćwiczeń

N-LA N-l mówi: -Dziś powitamy się piosenka: Witam Cię, jak się masz, machnij prawą ręką, miło mi widzieć Cię, witam Cię piosenką x 2

RACHUNEK PRAWDOPODOBIEŃSTWA - POJĘCIA WSTĘPNE MATERIAŁY POMOCNICZE - TEORIA

Kolorowanie wierzchołków Kolorowanie krawędzi Kolorowanie regionów i map. Wykład 8. Kolorowanie

Notatki przygotowawcze dotyczące inwersji na warsztaty O geometrii nieeuklidesowej hiperbolicznej Wrocław, grudzień 2013

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA

Metody probabilistyczne

Rozdział 7 Relacje równoważności

4. Postęp arytmetyczny i geometryczny. Wartość bezwzględna, potęgowanie i pierwiastkowanie liczb rzeczywistych.

ŁAD POJĘCIOWY 1. Podział logiczny

Grupy. Permutacje 1. (G2) istnieje element jednostkowy (lub neutralny), tzn. taki element e G, że dla dowolnego a G zachodzi.

XIV Olimpiada Matematyczna Juniorów Zawody stopnia pierwszego część korespondencyjna (1 września 2018 r. 15 października 2018 r.)

Zadanie 1. Oblicz prawdopodobieństwo, że rzucając dwiema kostkami do gry otrzymamy:

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

Dla każdej własności zaznacz litery przyporządkowane trójkątom posiadającym tę własność. (rysunek powyżej) A/ B/ C/ D

XII Olimpiada Matematyczna Juniorów

Elementy logiki matematycznej

Bazy danych wykład trzeci. trzeci Modelowanie schematu bazy danych 1 / 40

O funkcjach : mówimy również, że są określone na zbiorze o wartościach w zbiorze.

Wprowadzenie do logiki Podział logiczny. Definicje

Temperatura w atmosferze (czy innym ośrodku) jako funkcja dł. i szer. geogr. oraz wysokości.

FUNKCJE LICZBOWE. Na zbiorze X określona jest funkcja f : X Y gdy dowolnemu punktowi x X przyporządkowany jest punkt f(x) Y.

KONGRUENCJE. 1. a a (mod m) a b (mod m) b a (mod m) a b (mod m) b c (mod m) a c (mod m) Zatem relacja kongruencji jest relacją równoważności.

Wyszukiwanie binarne

Algebra zbiorów. Materiały pomocnicze do wykładu. przedmiot: Matematyka Dyskretna 1 wykładowca: dr Magdalena Kacprzak

Wstęp do logiki. Semiotyka cd.

Zliczanie Podziałów Liczb

Wprowadzenie do logiki Definicje część 3

Logika Matematyczna Spójniki logiczne Tautologie Dowodzenie Kwantyfikatory Zagadki. Logika Matematyczna. Marcelina Borcz.

Algorytm. Krótka historia algorytmów

Dalszy ciąg rachunku zdań

9. Funkcje trygonometryczne. Elementy geometrii: twierdzenie

Kultura logiczna Wnioskowania dedukcyjne

XXXVIII Regionalny Konkurs Rozkosze łamania Głowy

Krzywa uniwersalna Sierpińskiego

Uzupełnienia dotyczące zbiorów uporządkowanych (3 lutego 2011).

Matematyka dyskretna. Andrzej Łachwa, UJ, a/15

Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu.

Drzewa Semantyczne w KRZ

Trzy razy o indukcji

1 Określenie pierścienia

Zadania do Rozdziału X

Rekurencja, schemat rekursji i funkcje pierwotnie rekurencyjne

operacje porównania, a jeśli jest to konieczne ze względu na złe uporządkowanie porównywanych liczb zmieniamy ich kolejność, czyli przestawiamy je.

Funkcje: wielomianowa, wykładnicza, logarytmiczna wykład 3

V Konkurs Matematyczny Politechniki Białostockiej

Bukiety matematyczne dla gimnazjum

Podział czworokątów wynika z wymagań jakie im stawiamy. Jeśli nie mamy żadnych wymagań to nasz czworokąt może wyglądać dowolnie, np.

Uczenie się pojedynczego neuronu. Jeśli zastosowana zostanie funkcja bipolarna s y: y=-1 gdy z<0 y=1 gdy z>=0. Wówczas: W 1 x 1 + w 2 x 2 + = 0

Test na koniec nauki w klasie trzeciej gimnazjum

0 + 0 = 0, = 1, = 1, = 0.

MATEMATYKA WYDZIAŁ MATEMATYKI - TEST 1

KONKURS ZOSTAŃ PITAGORASEM MUM. Podstawowe własności figur geometrycznych na płaszczyźnie

RACHUNEK ZBIORÓW 5 RELACJE

1. Informatyka - dyscyplina naukowa i techniczna zajmująca się przetwarzaniem informacji.

Zbiory, relacje i funkcje

2. FUNKCJE. jeden i tylko jeden element y ze zbioru, to takie przyporządkowanie nazwiemy FUNKCJĄ, lub

Transkrypt:

Fragment książki Jarosława Strzeleckiego Logika z wyobraźnią. Wszelki uwagi merytoryczne i stylistyczne proszę kierować pod adres jstrzelecki@uwm.edu.pl PODZIAŁ LOGICZNY I. DEFINICJA: Podziałem logicznym jakiegoś zbioru Z jest układ przynajmniej dwóch (np. A, B) niepustych podzbiorów zbioru Z, takich że 1. Każdy element zbioru A jest elementem zbioru Z, ale nie każdy element zbioru Z jest elementem A (inaczej mówiąc zbiór A jest podrzędny względem zbioru Z). 2. Każdy element zbioru B jest elementem zbioru Z, ale nie każdy element zbioru Z jest elementem B (inaczej mówiąc zbiór B jest podrzędny względem zbioru Z). 3. Żaden element zbioru A nie jest elementem zbioru B oraz żaden element zbioru B nie jest elementem zbioru A (inaczej mówiąc A i B nie mają żadnych wspólnych elementów). 4. Zbiory A i B zostały utworzone w oparciu o określoną zasadę podziału. 5. Suma zbiorów A i B jest zbiorem Z. Zbiór Z Zbiór A Zbiór B II. POJĘCIA dodatkowe: 1. Całość dzielona (totum divisionis): zbiór Z 2. człony podziału (membra divisonis): zbiory A, B III. UWAGI: 1. Podział logiczny może być układem większej ilości podzbiorów niż tylko dwóch (A, B, C,...). 2. Przez pojęcie nazwy możemy rozumieć jej zakres, czyli zbiór wszystkich jej desygnatów. Wówczas podział logiczny będzie podziałem logicznym określonego pojęcia - nazwy. 3. Są dwa rodzaje zasad podziału: a) według cech sprzecznych (np. biały niebiały, parzysta nieparzysta, polski niepolski, śmiertelny nieśmiertelny, pijany niepijany). Podział taki nazywamy dychotomicznym albo dwudzielnym. b) według modyfikacji wybranej cechy (np. Wybraną cechą niech będzie kolor ludzkiej skóry. Jej modyfikacjami są różne kolory, zatem podział logiczny zbioru ludzi ze względu na kolor skóry jest następujący: biali, czarni, żółci, czerwoni). Podział taki nazywamy wieloczłonowym.

4. Formalnymi warunkami poprawności podziału logicznego są: a) warunek jedyności zasady podział posiada tylko jedną zasadę podziału (por. I.4.), b) warunek rozłączności członów podziału człony podziału nie mają żadnego wspólnego elementu (por. I.3), c) warunek zupełności suma członów podziały jest równa całości dzielonej (por. I.5.). IV. Przykłady. Mamy następujący zbiór przedmiotów o nazwie Żółty Zbiór: Dokonajmy na nim różnych podziałów logicznych. IV.I Poprawne podziały logiczne. Przypadek I. Całością dzieloną jest Żółty Zbiór. Zasadą podziału niech będzie układ cech sprzecznych: być trójkątem niebyć trójkątem. Wówczas mamy do czynienia z podziałem dychotomicznym, czyli dwudzielnym. Nasz Żółty Zbiór będzie posiadał dwa podzbiory: zbiór trójkątów oraz zbiór pozostałych figur. Oto graficzne przedstawienie tego podziału: Sprawdźmy, czy podział taki spełnia formalne warunki poprawności. Czy przyjęliśmy tylko jedną zasadę podziału? Tak. Jest nią zasada bycia trójkątem. Czy człony podziału są względem siebie rozłączne? Tak. Żaden element zbioru trójkątów nie jest elementem drugiego zbioru i na odwrót. Czy suma zbioru trójkątów i zbioru pozostałych figur jest równa Zbiorowi Żółtemu? Tak. Żółty Zbiór składa się z trzech trójkątów, trzech prostokątów, trzech okręgów. Z tych samych elementów składa się zbiór będący sumą zbiorów trójkątów i pozostałych figur. Przypadek II. Tym razem podzielimy Żółty Zbiór według modyfikacji pewnej cechy. Będzie nią kolor. Powinniśmy uzyskał podział wieloczłonowy. Członami podziału będą zbiory: figur niebieskich, czerwonych, zielonych. Oto on:

I tym razem podział logiczny jest poprawny formalnie. Został przeprowadzony ze względu na jedną tylko zasadę podziału (kolor). Człony podziału nie posiadają wspólnych desygnatów. Suma członów podziału równa jest Zbiorowi Żółtemu. Przypadek III. Oto graficzna reprezentacja logicznego podziału dokonanego na Żółtym Zbiorze A C B Członami podziału są zbiory A, B, C. Według jakiej zasady przeprowadzono w tym przypadku podział logiczny? Z pewnością jest to podział wieloczłonowy, a więc jego fundamentum divisionis (zasadą podziału) jest modyfikacja pewnej cechy. Jest nią, jak łatwo można się domyśleć, wielkość powierzchni danej figury. Elementami zbioru A są figury o największej powierzchni. Do zbioru B należą wszystkie figury o średniej powierzchni, a zbiór C stanowią figury o najmniejszej powierzchni. Zbiory A, B, C wykluczają się (spełniony warunek rozłączności). Ich suma jest równa Żółtemu Zbiorowi (spełniony warunek zupełności). IV.II Niepoprawne podziały logiczne. Tym razem rozpatrzmy przypadki niepoprawnych podziałów logicznych. Stwórzmy zbiór o nazwie Bohaterowie Bajek: Przypadek I. Zasadą podziału jest modyfikacja cechy być zwierzęciem (być przedstawicielem jakiegoś gatunku zwierzęcia). Chcemy zatem dokonać podziału wieloczłonowego. Przyjmijmy, że zakres nazwy człowiek wyklucza się z zakresem nazwy zwierzę, czyli że żaden człowiek nie jest zwierzęciem i żadne zwierzę nie jest człowiekiem. Wówczas zbiór wyglądałby następująco:

Spełniliśmy warunek jedyności zasady podziału. Nie naruszyliśmy również zasady rozłączności członów podziału, ponieważ żadne ze zwierząt nie należy do przynajmniej dwóch różnych podzbiorów zbioru Bohaterowie Bajek, czyli że każde zwierze jest przedstawicielem co najwyżej jednego gatunku. Niestety suma członów podziału nie jest równa całości dzielonej, tzn. że przeprowadzony podział logiczny jest niezgodny z warunkiem zupełności. Przypadek II. Spróbujemy dokonać takiego podziału logicznego, aby naruszona została zasada rozłączności członów podziału. Musimy zatem znaleźć taką zasadę podziału, w wyniku której pewne elementy zbioru Bohaterowie Bajek zostaną przypisani do więcej niż tylko jednego członu podziału. Niech fundamentum divisionis będzie pochodzenie (narodowość) bohatera. Całość dzielona wygląda następująco: Reksio i Miś Uszatek należą do zbioru polskich postaci bajkowych. Dziewczynka z zapałkami wywodzi się z Danii. Nemo jest bohaterem wymyślonym przez Amerykanów. Pinokio jest narodowości włoskiej. Problematyczna jest postać Kopciuszka. Może ona wywodzić się z Egiptu, Grecji, Rzymu, Chin, Francji lub Niemczech. Przypadek III. Przyjrzyjmy się naszemu zbiorowi Bohaterów Bajek: A C B Elementami zbiór A są bohaterowie, których przygody przyniosły największe zyski w Polsce. (Oczywiście tylko zakładamy, że tak jest!!). Zbiór B składa się z ulubionych bohaterów Jasia Kowalskiego, zaś zbiór C stanowią postaci, których dzieci boją się najbardziej (Nie jest to prawdą, ale ze względów dydaktycznych, uznajmy, że faktycznie tak jest). Nie mamy tutaj do czynienia z żadnym podziałem logicznym, ponieważ wszystkie zbiory (A, B, C) zostały wyróżniowe na podstawie innej zasady, a każdy podział logiczny posiada tylko jeden fundamentum divisionis.

KWALIFIKACJA I. DEFINICJA KWALIFIKACJA jest to uznanie, że jakiś przedmiot należy do wyróżnionego zbioru. II. UWAGI Zakres nazwy stanowi zbiór jej wszystkich desygnatów, zatem kwalifikacja może być utożsamiona z rozstrzygnięciem, czy jakiś przedmiot jest albo nie jest desygnatem danej nazwy. III. Przykład Mamy następujący przedmiot: Naszym zadaniem jest zakwalifikować go do właściwego zbioru zwierząt. Na przykład do takiego: Tygrysek należy do zbioru tygrysów. Zakresem nazwy jest zbiór jej wszystkich desygnatów, zatem dokonując kwalifikacji rozstrzygnęliśmy, że Tygrysek jest desygnatem nazwy tygrys. ANALIZA PRZEDMIOTU I. DEFINICJE ANALIZA PRZEDMOTU jest to wyodrębnienie w przedmiocie jego części. Składnik jest to samodzielna część przedmiotu. Własność jest to niesamodzielna część przedmiotu. PARTYCJA jest to wyodrębnienie w przedmiocie jego składników, czyli części samodzielnych. STRATYFIKACJA jest to wyodrębnienie w przedmiocie jego własności, czyli części niesamodzielnych. II. UWAGI 1. Partycja może być operacją realną (np. realną partycją na oknie byłoby faktyczne oddzielenie szyby od ram, wykręcenie klamek, zawiasów)

lub mentalną (np. tylko w myślach oddzielam od siebie szyby, ramę okna, klamki, zawiasy). 2. Stratyfikacja jest zawsze operacją mentalną. 3. Partycję i stratyfikację można przeprowadzać zarówno na zbiorach jak i na indywiduach. 4. Różnica między definicją nominalną a analizą przedmiotu jest taka, że w definicji nominalnej podawane jest znaczenie definiowanego wyrażenia (metajęzyk), a w analizie przedmiotu wyodrębniane są części przedmiotu (język przedmiotowy). 5. Różnica między definicją realną a analizą przedmiotu jest taka, że w definicji realnej podawana jest jednoznaczna charakterystyka przedmiotu (język przedmiotowy), a nie są wyodrębniane części przedmiotu (język przedmiotowy). III. Przykład I SOKRATES Mentalną partycją jest wyodrębnienie nosa, oczu, brody, łysiny. Gdybyśmy wzięli młotek i stukając nim w nos, oczy, brodę, łysinę, odłupalibyśmy te części, wówczas dokonalibyśmy partycji realnej. Stratyfikacja Sokratesa (mówiąc dokładniej popiersia Sokratesa) polegałaby na wyodrębnieniu własności twarzy Sokratesa, a więc: brzydka twarz, jajowata głowa, kartoflany nos itp..