Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 12. rozumowania

Wielkość: px
Rozpocząć pokaz od strony:

Download "Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 12. rozumowania"

Transkrypt

1 WYKŁAD 12 rozumowania 1

2 Katedra Logiki i Metodologii Nauk Instytut Filozofii Uniwersytet Łódzki ul. Kopcińskiego 16/18, I piętro, pok.13 tel dyŝur: poniedziałki, godz

3 Jan Gregorowicz, Zarys logiki dla prawników, Grand Gamma, Łódź

4 PRZYPOMNIENIE: Definicja wynikania Zdanie W wynika logicznie ze zdania Z, jeśli implikacja Z W jest zdaniem prawdziwym na mocy związku jaki zachodzi między tym o czym orzeka zdanie W a tym o czym orzeka zdanie Z. Z nazywamy racją, a W następstwem. Z definicji wynikania wnioskujemy, iŝ istnieją róŝne rodzaje wynikania W z Z w zaleŝności od rodzaju związku będącego podstawą prawdziwości implikacji Z W. 4

5 Związek zachodzący między Z i W, będący podstawą prawdziwości Z W moŝe być: - przyczynowo-skutkowy (ze względu na wiedzę o rzeczywistości) Jeśli zaleję herbatę zimną wodą, to jej nie zaparzę. - strukturalny (w sensie czasu lub przestrzeni) Jeśli wczoraj był poniedziałek, to jutro jest środa. (takŝe analityczny) Jeśli obraz a wisi nad obrazem b, to obraz b wisi pod obrazem a. (takŝe analityczny) Jeśli stoję twarzą na północ, to po prawej ręce mam wschód. - tetyczny (ze względu na obowiązywanie pewnych norm) Jeśli w sklepie płacę za towar, to część mojej zapłaty jest przeznaczona na podatek. - analityczny (ze względu na sens słów - węŝsze rozumienie analityczności) Jeśli ta figura jest kwadratem, to [ta figura] ma cztery boki równe. - logiczny (ze względu na budowę zdań - nieprecyzyjne określenie, patrz wcześniejsze wykłady) Jeśli Jan jest łysym adwokatem, to Jan jest adwokatem. (Jeśli Jan jest łysy i Jan jest adwokatem, to Jan jest adwokatem.) 5

6 Wnioskowanie niezawodne to takie, które prawdziwe przesłanki zawsze łączy z prawdziwymi wnioskami. KONIEC PRZYPOMNIENIA 6

7 Rozumowanie to myślenie uzasadniające, czyli takie, w którym przyjmujemy jakieś zdanie (zdania) za prawdziwe i dochodzimy do przeświadczenia o prawdziwości jakichś innych zdań. Ogólniej: Rozumowanie to myślenie uzasadniające, w którym przyjmujemy określone wartości pewnych zdań i dochodzimy do przeświadczenia o określonych wartościach logicznych innych zdań. Rozumowanie niezawodne to takie, które od prawdziwych przesłanek zawsze prowadzi do prawdziwych wniosków. 7

8 UWAGA: Wynikanie to relacja, która zachodzi między zdaniami. Rozumowanie to czynność wykonywana przez człowieka. 8

9 Uwaga: Dotychczas, słowo dedukcja oznaczało wnioskowanie, w którym wniosek wynika logicznie z przesłanek. Miało więc ono formalno-logiczne znaczenie. Obecnie, słowa dedukcja będziemy uŝywali w znaczeniu ogólniejszym. 9

10 Dedukcja i redukcja jako czynność. Dedukcja 1 (rozumowanie dedukcyjne) to rozumowanie, w którym racja jest znana jako prawdziwa, a następstwo jako prawdziwe nieznane. Redukcja 1 (rozumowanie redukcyjne) to rozumowanie, w którym następstwo jest znane jako prawdziwe, a racja jako prawdziwa nieznana. Dedukcja 1 jest rozumowaniem (niezawodnym) bazującym na wynikaniu (logicznym). Przykład {Jeśli deszcz padał to ulice są mokre, Deszcz padał} Ulice są mokre p q p q Redukcja 1 jest rozumowaniem zawodnym bazującym na wynikaniu (logicznym). Przykład {Jeśli deszcz padał to ulice są mokre, Ulice są mokre} Deszcz padał p q q p 10

11 Dedukcja i redukcja jako stan. Dedukcja 2 to funkcja reprezentująca poszerzenie zbioru przekonań. Redukcja 2 to funkcja reprezentująca zmniejszenie zbioru przekonań. Przykładem dedukcji 2 jest operacja konsekwencji logicznej, zaś redukcji 2 operacja eliminacji logicznej. C: P(L) P(L) jest operacją konsekwencji logicznej wtw dla dowolnych zbiorów X,Y L E: P(L) P(L) jest operacją eliminacji logicznej wtw dla dowolnych zbiorów X,Y L 1. X C(X) 2. jeśli X Y, to C(X) C(Y) 3. CC(X) C(X) 1. E(X) X 2. jeśli X Y, to E(X) E(Y) 3. E(X) EE(X) L jest zbiorem wszystkich zdań języka. P(L) jest zbiorem wszystkich podzbiorów zbioru L. 11

12 Podział rozumowań rozumowanie dedukcyjne redukcyjne wnioskowanie dowodzenie sprawdzanie tłumaczenie Uwaga: Naturalnie, w tym schemacie zarówno rozumowanie dedukcyjne jak i redukcyjne jest pojmowane jako czynność. 12

13 Wnioskowanie, to dobieranie następstwa do racji znanej skądinąd jako prawdziwa. Z W Zatem, wnioskuje ten, kto uznaje prawdziwość następstwa na mocy prawdziwości racji. Innymi słowy, poszukuje (róŝnych) skutków/konsekwencji danej racji. Przykłady 1. Jeśli liście herbaty zaleję wrzątkiem, to będę miał napar herbaty (wynikanie przyczynowo-skutkowe). Zalałem liście herbaty wrzątkiem, więc na mocy wynikania przyczynowo-skutkowego wnioskuję, Ŝe będę miał napar herbaty. 2. KaŜdy kto prowadzi samochód będąc w stanie upojenia alkoholowego, popełnia przestępstwo (wynikanie tetyczne). Jan prowadzi samochód będąc w stanie upojenia alkoholowego, więc na mocy wynikania tetycznego wnioskuję, Ŝe Jan popełnia przestępstwo. 3. Wczoraj był poniedziałek, więc na mocy wynikania strukturalnego wnioskuję, Ŝe jutro będzie środa. 4. Jeśli deszcz pada to ulice są mokre i ulice nie są mokre. Więc na mocy wynikania przyczynowo-skutkowego wnioskuję, Ŝe deszcz nie pada (takŝe, Ŝe nie jeździła polewaczka, Ŝe nie było awarii wodociągowej). 5. Na mocy wynikania logicznego z prawdziwości zdań A ( A B) oraz A wynika prawdziwość zdania A B. Uwaga: Niezawodność wnioskowania zaleŝy od niezawodności związku wynikania. Wnioskowanie oparte na wynikaniu logicznym jest niezawodne. 13

14 Dowodzenie, to dobieranie racji znanej skądinąd jako prawdziwa do danego nieznanego jeszcze jako prawdziwe następstwa. Z W Zatem, dowodzi ten, kto chce przekonać się o prawdziwości następstwa przez znalezienie prawdziwej dla niego racji. Przykłady 1. Na miejscu zbrodni znaleziono odciski palców pana A. Zatem, na mocy wynikania przyczynowoskutkowego zostało dowiedzione, Ŝe pan A był na miejscu zbrodni. [A co z Kramerem z Vabanku?] 2. W czasie, gdy w Łodzi popełniono zbrodnię, pan B był widziany przez świadków w Krakowie. Zatem, na mocy wynikania strukturalnego dowodzę, Ŝe pan B nie popełnił zbrodni w Łodzi. 3. Przedwczoraj byłem na niedzielnym obiedzie u rodziców, więc na mocy wynikania strukturalnego udowodniłem samemu sobie, Ŝe dziś jest wtorek. 4. Na mocy wynikania logicznego prawdziwość zdań (A (A B)) B oraz A (A B) dowodzi prawdziwości zdania B. 5. Stosując metodę skróconą na mocy wynikania metalogicznego udowodniłem, Ŝe oba prawa de Morgana dla rachunku zdań są tautologiami tego rachunku. Uwaga: Niezawodność dowodzenia zaleŝy od niezawodności związku wynikania. Dowodzenie oparte na wynikaniu logicznym jest niezawodne. 14

15 UWAGA ISTOTNA: Przykład 4 pokazuje swoistą dwustopniowość charakteru wynikania, a zatem i podwójny charakter uzasadnienia, zarówno wnioskowania, jak i dowodzenia. RozwaŜmy przykład z deszczem i ulicami. A B = Jeśli deszcz pada to ulice są mokre, A = Deszcz pada. Przesłanką niewypowiedzianą jest tu tautologia odpowiadająca regule Modus Ponens, czyli (A (A B)) B. Naturalnie, tautologia ta jest implikacją w której z racji A (A B) wynika następstwo B. To wynikanie jest logiczne - na mocy odpowiedniego kształtu zdań (struktury zdań). Dlatego powiemy, Ŝe - wnioskujemy B z A (A B) na mocy wynikania logicznego oraz - A (A B) dowodzi B na mocy wynikania logicznego. Jak widać, zawsze ilekroć korzystamy z reguły Modus Ponens, a takŝe innych reguł logiki klasycznej, moŝemy stwierdzić, Ŝe bazujemy na wynikaniu logicznym. A jednak tak nie mówimy, gdyŝ akceptacja implikacji (A B) dokonuje się na mocy wynikania nie logicznego, lecz jakiegoś innego. W naszym przypadku, na mocy wynikania przyczynowo-skutkowego. Dlatego w powyŝszym przypadku mimo, iŝ korzystamy z reguły Modus Ponens, naszą uwagę skupiamy na charakterze uzasadnienia implikacji A B i stwierdzamy, Ŝe A wynika z B tetycznie, strukturalnie, analitycznie lub przyczynowo-skutkowo. 15

16 Sprawdzanie, to dobieranie następstwa znanego skądinąd jako prawdziwe do nieznanej jako prawdziwa racji. Z W Zatem, sprawdza ten, kto chce wzmocnić swoją wiarę w prawdziwość racji (czyli uprawdopodobnić prawdziwość racji) znajdując dla niej prawdziwe następstwo. Pozytywny wynik sprawdzania danej tezy, zwiększa szansę na jej prawdziwość, ale nie dowodzi jej prawdziwości. Przykłady 1. Na mocy wynikania przyczynowo-skutkowego sprawdziłem, Ŝe deszcz mógł padać, bo ulice są mokre. 2. Na mocy wynikania przyczynowo-skutkowego sprawdziłem, Ŝe pan A mógł w godzinach pracy spotkać się w parku z panią B, bo nie był obecny w pracy. 3. Na mocy wynikania logicznego sprawdziłem, Ŝe zdanie A moŝe być prawdziwe, bo prawdziwe są B i A B (A moŝe być prawdziwe, bo z A wynika logicznie prawdziwe B). Uwaga: KaŜde sprawdzanie jest zawodne, takŝe to oparte na wynikaniu logicznym: jeśli A B oraz B są prawdziwe, to A nie musi być prawdziwe. 16

17 Tłumaczenie, to dobieranie racji do znanego skądinąd jako prawdziwe następstwa. Z W Zatem, tłumaczy ten, kto chce znaleźć przyczynę prawdziwego następstwa przez znalezienie jakiejś dla niego racji. PoniewaŜ, dana teza moŝe wynikać z róŝnych racji (dane zjawisko moŝe mieć róŝne przyczyny), kaŝde tłumaczenie jest zawodne. Przykłady 1. Na mocy wynikania przyczynowo-skutkowego tłumaczę, Ŝe ulice są mokre z powodu deszczu. 2. Na mocy wynikania przyczynowo-skutkowego tłumaczę, Ŝe pan A nie był obecny w pracy, bo w godzinach pracy spotkał się w parku z panią B. 3. Na mocy wynikania strukturalnego tłumaczę, Ŝe budynek C postrzegamy jako mniejszy od D, bo stoi od nas dalej niŝ D. Uwaga: KaŜde tłumaczenie jest próbą znalezienia przyczyny zajścia danego zjawiska. 17

18 Entymemat, to przesłanka niewypowiedziana z powodu oczywistości jej prawdziwości. Przykład Zamiast wypowiedzieć na głos argumentację: A. KaŜdy człowiek jest śmiertelny. Sokrates jest człowiekiem. Zatem, Sokrates jest śmiertelny. MoŜna powiedzieć krócej: B. Sokrates jest człowiekiem. Zatem, Sokrates jest śmiertelny. W rozumowaniu B, oczywista przesłanka KaŜdy człowiek jest śmiertelny została pominięta jako prawdziwa w sposób oczywisty. [jest to przykład rozumowania opartego na związku przyczynowo-skutkowym] 18

19 Rozumowanie indukcyjne (indukcja) to szczególny przypadek tłumaczenia - tłumaczenie uogólniające. Polega ono na tym, Ŝe na podstawie szeregu zdań szczegółowych formułuje się zdanie ogólne. Przykład Ten wróbel jest szary. I ten wróbel jest szary. I tamten wróbel takŝe jest szary.... Zatem, kaŝdy wróbel jest szary. 19

20 1. Indukcja przez wyliczenie (enumeracyjna) polega na tym, Ŝe sprawdza się prawdziwość szeregu zdań ogólnych podpadających pod pewien ogólny schemat i na tej podstawie formułuje się zdanie ogólne odpowiadające temu schematowi. PoniewaŜ, więc, S 1 jest P i S 2 jest P i S 3 jest P i S 4 jest P i S 5 jest P i S 6 jest P, KaŜde S jest P. Jeśli wykorzystane w rozumowaniu indukcyjnym zdania szczegółowe wyczerpują wszystkie przypadki spełnienia zdania ogólnego, będącego wnioskiem tego rozumowania, to indukcję taką nazwiemy wyczerpującą (zupełną). W przeciwnym razie, indukcja jest niewyczerpująca (niezupełna). Oczywiście, indukcja wyczerpująca jest rozumowaniem niezawodnym, zaś niewyczerpująca, zawodnym. 20

21 Podany wcześniej przykład z wróblami, ilustruje indukcję niewyczerpującą - nie jesteśmy w stanie sprawdzić koloru upierzenia wszystkich wróbli - a więc zawodną. Przykład indukcji wyczerpującej: Pierwsza osoba siedząca w tej sali ma mniej niŝ 80 lat. Druga osoba siedząca w tej sali ma mniej niŝ 80 lat. Trzecia osoba siedząca w tej sali ma mniej niŝ 80 lat.... Dwudziesta ósma osoba siedząca w tej sali ma mniej niŝ 80 lat.... Wypowiadanie zdań szczegółowych dotyczących osób znajdujących się w auli podczas naszego wykładu z logiki kończymy wówczas, gdy wypowiemy się na temat kaŝdej osoby przebywającej w auli podczas wykładu. Zatem, zdania szczegółowe wyczerpują wszystkie moŝliwe przypadki spełnienia zdania ogólnego KaŜda osoba przebywająca w auli ma mniej niŝ 80 lat. Zatem, zdanie KaŜda osoba przebywająca w auli ma mniej niŝ 80 lat jest wnioskiem wyciągniętym na mocy indukcji wyczerpującej z wszystkich zdań szczegółowych. Naturalnie, wniosek ten jest niezawodny chociaŝ jałowy (nieciekawy, nieistotny). 21

22 2. Indukcja matematyczna bazuje na dwóch przesłankach: - sprawdzającej czy dana własność W jest spełniona w przypadku pierwszym oraz - indukcyjnej, stwierdzającej dziedziczenie własności W, czyli stwierdzającej Ŝe jeśli dowolny przypadek ma własność W, to własność W ma przypadek bezpośrednio po nim następujący. Zatem, istotną rolę w indukcji matematycznej odgrywa uporządkowanie wszystkich moŝliwych przypadków. Standardowo, w celu uporządkowania tych przypadków wykorzystuje się zbiór liczb naturalnych. 22

23 Przykłady tez dowodzonych w oparciu o indukcję matematyczną: n N n = n(n + 1) 2 n N n 2 n(n + 1)(2n + 1) = 6 KaŜdy człowiek jest łysy. Czy zatem, indukcja KaŜdy człowiek jest niełysy. matematyczna moŝe być KaŜdy człowiek jest staruszkiem. stosowana poza matematyką? KaŜdy człowiek jest noworodkiem. Jest to dość powaŝny problem logiczno-filozoficzny, który wiąŝe się ściśle z tak zwaną tolerancyjnością wyraŝeń języka naturalnego. WyraŜenie jest tolerancyjne, jeśli z faktu jego zastosowania w danym przypadku P wynika, Ŝe moŝe ono być zastosowane w przypadku zbliŝonym do P. Z konieczności wszystkie pozamatematyczne wyraŝenia języka naturalnego są tolerancyjne. Zatem, niestety, kaŝde z nich daje się wykorzystać w rozumowaniu przez indukcję matematyczną, co w konsekwencji prowadzi do paradoksu. 23

24 3. Indukcja eliminacyjna to rozumowanie uogólniające, którego celem jest wykrycie związków jakie zachodzą między faktami. Uogólnienie jest typu: Zawsze ilekroć jest (względnie zmienia się w określony sposób) A, to jest (względnie zmienia się w określony sposób) B. John Stuart Mill ( ) Przykładami indukcji eliminacyjnej są Kanony Milla (A System of Logic, 1843): - kanon jedynej zgodności - kanon jedynej róŝnicy - kanon zgodności i róŝnicy - kanon zmian towarzyszących - kanon reszt (obecnie odrzucony - i bardzo dobrze) 24

25 Kanon jedynej zgodności Jeśli okoliczność O stale towarzyszy występowaniu zjawiska Z mimo, iŝ inne okoliczności nie zachodzą stale, to między O i Z zachodzi związek przyczynowoskutkowy: albo O jest przyczyną Z, albo O jest skutkiem Z, albo O jest niezbędną częścią przyczyny wywołującej Z, albo Z jest niezbędną częścią przyczyny wywołującej O. Schemat kanonu jedynej zgodności: jest A,B,C - jest Q jest A,C,D - jest Q jest A,B,D - jest Q Zatem, ilekroć jest A, to jest i Q Oczywiście, rozumowanie bazujące na kanonie jedynej zgodności jest zawodne, gdyŝ np. nie zawsze jesteśmy w stanie uwzględnić (rozpoznać) wszystkie istotne okoliczności zajścia danego zjawiska. 25

26 Przykład trafnego zastosowania kanonu jedynej zgodności 1. Jest (A) ukąszenie przez zakaŝoną wesz, (B) brud, (C) głód - jest (Q) tyfus plamisty. 2. Jest (A) ukąszenie przez zakaŝoną wesz, (C) głód, (D) złe warunki mieszkaniowe - jest (Q) tyfus plamisty. 3. Jest (A) ukąszenie przez zakaŝoną wesz, (B) brud, (D) złe warunki mieszkaniowe - jest (Q) tyfus plamisty. Zatem, jedynym czynnikiem stale poprzedzającym (Q) zachorowanie na tyfus plamisty jest (A) ukąszenie przez zaraŝoną wesz. 26

27 Przykład 1 nietrafnego zastosowania kanonu jedynej zgodności 1. Jest (A) herbata zielona, (B) nieświeŝa wędlina, (C) stary ser - są (Q) problemy. 2. Jest (A) herbata zielona, (C) stary ser, (D) przeterminowany jogurt - są (Q) problemy. 3. Jest (A) herbata zielona, (B) nieświeŝa wędlina, (D) przeterminowany jogurt - są (Q) problemy. Zatem, jedynym czynnikiem stale poprzedzającym (Q) problemy układu pokarmowego jest (A) herbata zielona. Przykład 2 nietrafnego zastosowania kanonu jedynej zgodności 1. Jest (A) herbata zielona, (B) wędlina, (C) ser - są (Q) problemy układu pokarmowego. 2. Jest (A) herbata zielona, (C) ser, (D) owoce - są (Q) problemy układu pokarmowego. 3. Jest (A) herbata zielona, (B) wędlina, (D) owoce - są (Q) problemy układu pokarmowego. Zatem, jedynym czynnikiem stale poprzedzającym (Q) problemy układu pokarmowego jest (A) herbata zielona. Przykład 3 nietrafnego zastosowania kanonu jedynej zgodności 1. Mając na sobie (A) niebieską koszulę w kratkę zjadłem (B) wędlinę - (Q) zatrułem się. 2. Mając na sobie (A) niebieską koszulę w kratkę zjadłem (C) ser - (Q) zatrułem się. 3. Mając na sobie (A) niebieską koszulę w kratkę zjadłem (D) jogurt - (Q) zatrułem się. Zatem, jedynym czynnikiem stale poprzedzającym zatrucie pokarmowe (Q) jest to, Ŝe (A) mam na sobie niebieską koszulę w kratkę. 27

28 Kanon jedynej róŝnicy (Mill uwaŝał ten kanon za najwaŝniejszy) Jeśli okoliczność O zachodzi, gdy występuje zjawisko Z i O nie zachodzi, gdy Z nie występuje, przy czym wszystkie inne okoliczności zachodzą stale, to między O i Z zachodzi związek przyczynowo-skutkowy. Schemat kanonu jedynej róŝnicy: jest A,B,C - jest Q nie ma A, jest B,C - nie ma Q Zatem, ilekroć jest A, to jest i Q Oczywiście, rozumowanie bazujące na kanonie jedynej róŝnicy jest zawodne. 28

29 Przykład trafnego/nietrafnego zastosowania kanonu jedynej róŝnicy 1. Zjadłem (A) pomidory, (B) ser pleśniowy, (C) saszimi - miałem wysypkę. 2. Zjadłem (B) ser pleśniowy, (C) saszimi - nie miałem wysypki. Zatem, jedyną spośród A, B i C potrawą, na którą jestem uczulony są (A) pomidory. Przykład nietrafnego zastosowania kanonu jedynej róŝnicy ZałóŜmy, Ŝe na niezakłóconą pracę silnika ma wpływ jednoczesne funkcjonowanie trzech elementów systemu: A, B i C. 1. Elementy A, B i C systemu działają - silnik pracuje. 2. Elementy B i C systemu działają, a element A systemu nie działa - silnik nie pracuje. Zatem, jedynym czynnikiem mającym wpływ na działanie silnika jest element A systemu. 29

30 Kanon zgodności i róŝnicy Kanon powstały z połączenia kanonu jedynej zgodności z kanonem jedynej róŝnicy. Ma zdaniem Milla większą wartość niŝ kaŝdy z tych dwóch kanonów zastosowany oddzielnie. W praktyce stosuje się najpierw jeden kanon, potem drugi. 30

31 Kanon zmian towarzyszących Jeśli w zaobserwowanych przypadkach odpowiednim zmianom A towarzyszą odpowiednie zmiany B, gdy pozostałe czynniki nie ulegają zmianie, to między A i B zachodzi związek przyczynowo-skutkowy. Schemat kanonu jedynej róŝnicy: jest A 1,B,C - jest Q 1 jest A 2,B,C - jest Q 2 jest A 3,B,C - jest Q 3 jest A 4,B,C - jest Q 4 jest A 5,B,C - jest Q 5 Zatem, ilekroć w określony sposób zmienia się A, to w określony sposób zmienia się Q. Oczywiście, rozumowanie bazujące na kanonie zmian towarzyszących jest zawodne. Kanon zmian towarzyszących bazuje na zasadzie jedyności przyczyn - dla kaŝdego zjawiska istnieje jego nieodłączna przyczyna. (obecnie odrzucona - i bardzo słusznie) 31

32 Przykłady trafnego zastosowania kanonu zmian towarzyszących Przekręcam gałką ściemniacza (A) - zwiększa się jasność świecenia Ŝarówek w Ŝyrandolu (Q). Przekręcam gałką grzejnika (A), inny sprzęt elektryczny pracuje bez zmian - zwiększa się obserwowany na liczniku pobór prądu (Q). Przykład nietrafnego zastosowania kanonu zmian towarzyszących Postępujące zmiany klimatyczne są wywołane rosnącą liczbą latających samolotów. (przykład autentyczny - podsłuchany) Obserwowany od pewnego czasu stały spadek wagi swojego ciała Jan tłumaczy jakąś nierozpoznaną jeszcze powaŝną chorobą i zaczyna podejrzewać, Ŝe ma nowotwór. Tymczasem, stały spadek wagi jest wywołany rosnącym stresem w pracy, spowodowany wdraŝaniem nowych metod funkcjonowania firmy. 32

33 Kanon reszt (dziś uwaŝany za szczególnie kontrowersyjny) Jeśli jakaś całość AB jest przyczyną całości ab i B jest przyczyną b, to A jest przyczyną a. Wadą tego rozumowania jest sztuczne (czysto spekulatywne) rozdzielanie całości na części, które samodzielnie nie powinny być brane pod uwagę. Jeśli procesy górotwórcze, erozja spowodowana wiatrami, osadnictwo europejskie w Ameryce, śluby pradziadków Johna, śluby dziadków Johna, ślub rodziców Johna,..., zepsucie się dachu, złe samopoczucie Johna i deszcz spowodowały, Ŝe John kupił ziemię, wybudował dom, robotnicy wadliwie wykonali dach, John nie był w pracy z powodu złego samopoczucia, stracił Ŝycie (bo wchodził na drabinę postawioną na śliskiej od wody skale, na której stał dom), to jak tu przyporządkować oddzielne skutki do oddzielnie pojmowanych przyczyn? 33

34 Analogia (wyjątkowo inspirujące, a przez to twórcze rozumowanie) to rozumowanie, w którym na zasadzie wspólności kilku cech dwóch lub więcej przedmiotów domyślamy się wspólności innych cech tych przedmiotów. Analogia nie jest ani rozumowaniem dedukcyjnym, ani redukcyjnym. Konkretnie: Jeśli przedmiot A jest podobny do przedmiotu B o tyle, Ŝe cechom a, b, c przedmiotu A odpowiadają cechy a, b, c przedmiotu B, a ponadto przedmiot A posiada cechę d, to przypuszczamy, Ŝe przedmiot B takŝe posiada cechę d. Przykłady Jeśli ParyŜ jest stolicą, wielkim miastem, posiadającym metro i biedne przedmieścia, to skoro Londyn takŝe jest stolicą, wielkim miastem, posiadającym metro, to Londyn prawdopodobnie takŝe posiada biedne przedmieścia. Jeśli sosna jest drzewem iglastym, które nie gubi igieł na zimę, to skoro modrzew teŝ jest drzewem iglastym, to modrzew takŝe nie gubi igieł na zimę. Wartość analogii polega nie na uzasadnianiu, bo do tego analogia się raczej nie nadaje, lecz na roli inspirującej poszukiwania trafnych rozwiązań. Analogia nie uzasadnia tez, lecz naprowadza na nowy trop, podpowiada gdzie szukać nowych rozwiązań. 34

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 7. zdanie wynikanie wynikanie logiczne

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 7. zdanie wynikanie wynikanie logiczne WYKŁAD 7 zdanie wynikanie wynikanie logiczne 1 lukowski@filozof.uni.lodz.pl Katedra Logiki i Metodologii Nauk Instytut Filozofii Uniwersytet Łódzki ul. Kopcińskiego 16/18, I piętro, pok. 13 tel. 635-61-34

Bardziej szczegółowo

Kultura logiczna Wnioskowania dedukcyjne

Kultura logiczna Wnioskowania dedukcyjne Kultura logiczna Wnioskowania dedukcyjne Bartosz Gostkowski bgostkowski@gmail.com Kraków 25 IV 2010 Plan wykładu: Intuicje dotyczące poprawności wnioskowania Wnioskowanie dedukcyjne Reguły niezawodne a

Bardziej szczegółowo

wypowiedzi inferencyjnych

wypowiedzi inferencyjnych Wnioskowania Pojęcie wnioskowania Wnioskowanie jest to proces myślowy, w którym na podstawie mniej lub bardziej stanowczego uznania pewnych zdań zwanych przesłankami dochodzimy do uznania innego zdania

Bardziej szczegółowo

RACHUNEK ZDAŃ 5. Układ przesłanek jest sprzeczny, gdy ich koniunkcja jest kontrtautologią.

RACHUNEK ZDAŃ 5. Układ przesłanek jest sprzeczny, gdy ich koniunkcja jest kontrtautologią. Błędy popełniane przy wnioskowaniach: 1) Błąd formalny popełniamy twierdząc, że dane wnioskowanie jest dedukcyjne w sytuacji, gdy schemat tego wnioskowania jest zawodny, tj. gdy wniosek nie wynika logicznie

Bardziej szczegółowo

Wstęp do logiki. Klasyczny Rachunek Zdań III

Wstęp do logiki. Klasyczny Rachunek Zdań III Wstęp do logiki Klasyczny Rachunek Zdań III Przypomnijmy: Logika: = Teoria form (schematów, reguł) poprawnych wnioskowań. Wnioskowaniem nazywamy jakąkolwiek skończoną co najmniej dwuwyrazową sekwencję

Bardziej szczegółowo

WNIOSKOWANIE 1 DEDUKCJA

WNIOSKOWANIE 1 DEDUKCJA WNIOSKOWANIE 1 Jednym z najważniejszych celów logiki jest analiza poprawności wnioskowań. Fenomen wnioskowania nie przynależy tylko i wyłącznie do świata nauki. Wnioskujemy na co dzień, natomiast rzadziej

Bardziej szczegółowo

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 14. przykłady odpowiedzi na moŝliwe pytania egzaminacyjne

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 14. przykłady odpowiedzi na moŝliwe pytania egzaminacyjne WYKŁAD 14 przykłady odpowiedzi na moŝliwe pytania egzaminacyjne 1 Uwaga: na egzaminie mogą pojawić się pytania nie uwzględnione w przedstawionych niŝej przykładach. 2 ZADANIE 1 1. Podaj definicję wyraŝeń:

Bardziej szczegółowo

Metody wnioskowania. Wnioskowanie w przód (ang. forward chaining) Wnioskowanie w tył (ang. Backward chaining) Od przesłanki do konkluzji Np..

Metody wnioskowania. Wnioskowanie w przód (ang. forward chaining) Wnioskowanie w tył (ang. Backward chaining) Od przesłanki do konkluzji Np.. Systemy regułowe Metody wnioskowania Wnioskowanie w przód (ang. forward chaining) Od przesłanki do konkluzji Np.. CLIPS Wnioskowanie w tył (ang. Backward chaining) Czyli od konkluzji do przesłanki Np..

Bardziej szczegółowo

Filozofia z elementami logiki Klasyfikacja wnioskowań II część 1

Filozofia z elementami logiki Klasyfikacja wnioskowań II część 1 Filozofia z elementami logiki Klasyfikacja wnioskowań II część 1 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan: wnioskowania uprawdopodabniające indukcja eliminacyjna 2 Plan:

Bardziej szczegółowo

Ogólna metodologia nauk

Ogólna metodologia nauk 1. Podział logiki: - semiotyka logiczna - logika formalna - ogólna metodologia nauk Ogólna metodologia nauk 2. Ogólna metodologia nauk zajmuje się metodami (sposobami postępowania) stosowanymi w poznawaniu

Bardziej szczegółowo

Konspekt do wykładu z Logiki I

Konspekt do wykładu z Logiki I Andrzej Pietruszczak Konspekt do wykładu z Logiki I (z dnia 24.11.2006) Poprawność rozumowania. Wynikanie Na wykładzie, na którym omawialiśmy przedmiot logiki, powiedzieliśmy, że pojęcie logiki wiąże się

Bardziej szczegółowo

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne) Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne) Definicja 1: Tautologia jest to takie wyrażenie, którego wartość logiczna jest prawdą przy wszystkich możliwych wartościowaniach zmiennych

Bardziej szczegółowo

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 8. klasyczny rachunek kwantyfikatorów klasyczny rachunek nazw

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 8. klasyczny rachunek kwantyfikatorów klasyczny rachunek nazw WYKŁAD 8 klasyczny rachunek kwantyfikatorów klasyczny rachunek nazw 1 lukowski@filozof.uni.lodz.pl Katedra Logiki i Metodologii Nauk Instytut Filozofii Uniwersytet Łódzki ul. Kopcińskiego 16/18, I piętro,

Bardziej szczegółowo

Rachunek zdań i predykatów

Rachunek zdań i predykatów Rachunek zdań i predykatów Agnieszka Nowak 14 czerwca 2008 1 Rachunek zdań Do nauczenia :! 1. ((p q) p) q - reguła odrywania RO 2. reguła modus tollens MT: ((p q) q) p ((p q) q) p (( p q) q) p (( p q)

Bardziej szczegółowo

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

Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017 Logika Stosowana Wykład 1 - Logika zdaniowa Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 30 Plan wykładu 1 Język

Bardziej szczegółowo

Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych

Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych Zapoznaj z poniŝszym tekstem reprezentującym wiedzę logiczną o wartościach logicznych będących interpretacjami formuł złoŝonych

Bardziej szczegółowo

Indukcja matematyczna

Indukcja matematyczna Indukcja matematyczna 1 Zasada indukcji Rozpatrzmy najpierw następujący przykład. Przykład 1 Oblicz sumę 1 + + 5 +... + (n 1). Dyskusja. Widzimy że dla n = 1 ostatnim składnikiem powyższej sumy jest n

Bardziej szczegółowo

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

Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi. Logika Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi. Często słowu "logika" nadaje się szersze znaczenie niż temu o czym będzie poniżej: np. mówi się "logiczne myślenie"

Bardziej szczegółowo

Logika dla socjologów

Logika dla socjologów Logika dla socjologów Część 6: Modele rozumowań. Pojęcie wynikania Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Modele rozumowań 2 Wynikanie 3 Rozumowania poprawne

Bardziej szczegółowo

Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne

Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne Literatura: podstawowa: C. Radhakrishna Rao, Statystyka i prawda, 1994. G. Wieczorkowska-Wierzbińska, J. Wierzbiński, Statystyka. Od teorii do praktyki, 2013. A. Aczel, Statystyka w zarządzaniu, 2002.

Bardziej szczegółowo

Drzewa Semantyczne w KRZ

Drzewa Semantyczne w KRZ Drzewa Semantyczne w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 7 XII 2006, 13:30 15:00 Jerzy Pogonowski (MEG) Drzewa Semantyczne w KRZ 7 XII 2006, 13:30 15:00

Bardziej szczegółowo

Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017 Logika Stosowana Wykład 2 - Logika modalna Część 2 Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 27 Plan wykładu

Bardziej szczegółowo

Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki

Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki 0 1 Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki 2. W następujących dwóch prawach wyróżnić wyrażenia specyficznie matematyczne i wyrażenia z zakresu logiki (do

Bardziej szczegółowo

ćwiczenia 15 zaliczenie z oceną

ćwiczenia 15 zaliczenie z oceną Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb

Bardziej szczegółowo

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

0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań. Wykłady z Analizy rzeczywistej i zespolonej w Matematyce stosowanej Wykład ELEMENTY LOGIKI ALGEBRA BOOLE A Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek

Bardziej szczegółowo

Wstęp do logiki. Klasyczny Rachunek Zdań II

Wstęp do logiki. Klasyczny Rachunek Zdań II Wstęp do logiki Klasyczny Rachunek Zdań II DEF. 1 (Słownik). Następujące znaki tworzą słownik języka KRZ: p 1, p 2, p 3, (zmienne zdaniowe) ~,,,, (spójniki) ), ( (nawiasy). DEF. 2 (Wyrażenie). Wyrażeniem

Bardziej szczegółowo

Dydaktyka matematyki III-IV etap edukacyjny (wykłady)

Dydaktyka matematyki III-IV etap edukacyjny (wykłady) Dydaktyka matematyki III-IV etap edukacyjny (wykłady) Wykład nr 4 Wprowadzanie i definiowanie matematycznych pojęć (cd.) Matematyczne rozumowania na poziomach SP i licealnym Semestr zimowy 2018/2019 Jakie

Bardziej szczegółowo

Rachunek zdań. Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a

Rachunek zdań. Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a tak jest alboŝe tak a tak nie jest. Wartość logiczna zdania jest czymś obiektywnym, to

Bardziej szczegółowo

Logika dla socjologów Część 2: Przedmiot logiki

Logika dla socjologów Część 2: Przedmiot logiki Logika dla socjologów Część 2: Przedmiot logiki Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Działy logiki 2 Własności semantyczne i syntaktyczne 3 Błędy logiczne

Bardziej szczegółowo

SZTUCZNA INTELIGENCJA

SZTUCZNA INTELIGENCJA SZTUCZNA INTELIGENCJA WYKŁAD 10. WNIOSKOWANIE W LOGICE ROZMYTEJ Częstochowa 2014 Dr hab. inż. Grzegorz Dudek Wydział Elektryczny Politechnika Częstochowska WNIOSKOWANIE W LOGICE DWUWARTOŚCIOWEJ W logice

Bardziej szczegółowo

Powtórka 3. Katarzyna Paluszkiewicz 15.01.2015. Katarzyna Paluszkiewicz Powtórka 3 15.01.2015 1 / 11

Powtórka 3. Katarzyna Paluszkiewicz 15.01.2015. Katarzyna Paluszkiewicz Powtórka 3 15.01.2015 1 / 11 Powtórka 3 Katarzyna Paluszkiewicz 15.01.2015 Katarzyna Paluszkiewicz Powtórka 3 15.01.2015 1 / 11 p Przyjmijmy, że w sylogizmie o przesłankach postaci SaM i PoM oraz wniosku o postaci SoP obie przesłanki

Bardziej szczegółowo

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 5. Wprowadzenie do semantyki teoriomodelowej cz.5. Wynikanie logiczne 1 Na poprzednim wykładzie udowodniliśmy m.in.:

Bardziej szczegółowo

Wstęp do logiki. Klasyczny Rachunek Zdań IV

Wstęp do logiki. Klasyczny Rachunek Zdań IV Wstęp do logiki Klasyczny Rachunek Zdań IV KRZ: kontrola poprawności wnioskowań WYPOWIEDŹ ARGUMENTACYJNA (1) Ponieważ PRZESŁANKI, więc WNIOSEK. Np. Ponieważ Zenek bał się przyznać do winy, więc skłamał.

Bardziej szczegółowo

Liczba godzin Punkty ECTS Sposób zaliczenia. ćwiczenia 15 zaliczenie z oceną

Liczba godzin Punkty ECTS Sposób zaliczenia. ćwiczenia 15 zaliczenie z oceną Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb

Bardziej szczegółowo

Indukcja. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak

Indukcja. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak Indukcja Materiały pomocnicze do wykładu wykładowca: dr Magdalena Kacprzak Charakteryzacja zbioru liczb naturalnych Arytmetyka liczb naturalnych Jedną z najważniejszych teorii matematycznych jest arytmetyka

Bardziej szczegółowo

Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń

Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń Elementy logiki Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń 1 Klasyczny Rachunek Zdań 1.1 Spójniki logiczne Zdaniem w sensie logicznym nazywamy wyrażenie, które jest

Bardziej szczegółowo

NOWE ODKRYCIA W KLASYCZNEJ LOGICE?

NOWE ODKRYCIA W KLASYCZNEJ LOGICE? S ł u p s k i e S t u d i a F i l o z o f i c z n e n r 5 * 2 0 0 5 Jan Przybyłowski, Logika z ogólną metodologią nauk. Podręcznik dla humanistów, Wydawnictwo Uniwersytetu Gdańskiego, Gdańsk 2003 NOWE

Bardziej szczegółowo

Dalszy ciąg rachunku zdań

Dalszy ciąg rachunku zdań Dalszy ciąg rachunku zdań Wszystkie możliwe funktory jednoargumentowe p f 1 f 2 f 3 f 4 0 0 0 1 1 1 0 1 0 1 Wszystkie możliwe funktory dwuargumentowe p q f 1 f 2 f 3 f 4 f 5 f 6 f 7 f 8 f 9 f 10 f 11 f

Bardziej szczegółowo

Znaleźć wzór ogólny i zbadać istnienie granicy ciągu określonego rekurencyjnie:

Znaleźć wzór ogólny i zbadać istnienie granicy ciągu określonego rekurencyjnie: Ciągi rekurencyjne Zadanie 1 Znaleźć wzór ogólny i zbadać istnienie granicy ciągu określonego rekurencyjnie: w dwóch przypadkach: dla i, oraz dla i. Wskazówka Należy poszukiwać rozwiązania w postaci, gdzie

Bardziej szczegółowo

LOGIKA I TEORIA ZBIORÓW

LOGIKA I TEORIA ZBIORÓW LOGIKA I TEORIA ZBIORÓW Logika Logika jest nauką zajmującą się zdaniami Z punktu widzenia logiki istotne jest, czy dane zdanie jest prawdziwe, czy nie Nie jest natomiast istotne o czym to zdanie mówi Definicja

Bardziej szczegółowo

4 Klasyczny rachunek zdań

4 Klasyczny rachunek zdań 4 Klasyczny rachunek zdań Elementy Logiki i Teorii Mnogości 2015/2016 Spis najważniejszych tautologii: (a) p p prawo wyłączonego środka (b) ( p) p prawo podwójnej negacji (c) p q q p (d) p q q p prawo

Bardziej szczegółowo

LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ

LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ Robert Trypuz Katedra Logiki KUL 18 grudnia 2013 Robert Trypuz (Katedra Logiki) Wnioskowanie 18 grudnia 2013 1 / 12 Zarys 1 Wnioskowanie Definicja Schemat wnioskowania

Bardziej szczegółowo

Zdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych w nim wyrażeń).

Zdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych w nim wyrażeń). Tautologia to schemat zdań wyłącznie prawdziwych. Kontrtautologia to schemat zdań wyłącznie fałszywych. Zdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych

Bardziej szczegółowo

Zdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych w nim wyrażeń).

Zdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych w nim wyrażeń). Tautologia to schemat zdań wyłącznie prawdziwych. Kontrtautologia to schemat zdań wyłącznie fałszywych. Zdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych

Bardziej szczegółowo

Rachunek logiczny. 1. Język rachunku logicznego.

Rachunek logiczny. 1. Język rachunku logicznego. Rachunek logiczny. Podstawową własnością rozumowania poprawnego jest zachowanie prawdy: rozumowanie poprawne musi się kończyć prawdziwą konkluzją, o ile wszystkie przesłanki leżące u jego podstaw były

Bardziej szczegółowo

Klasyfikacja rozumowań

Klasyfikacja rozumowań Klasyfikacja rozumowań Elementy logiki i metodologii nauk spotkanie IX Bartosz Gostkowski Poznań, 15 XII 09 WNIOSKOWANIA NIEZAWODNE vs WNIOSKOWANIA UPRAWDOPODOBNIAJĄCE WNIOSKOWANIA NIEZAWODNE Formalnie

Bardziej szczegółowo

Filozofia, Historia, Wykład V - Filozofia Arystotelesa

Filozofia, Historia, Wykład V - Filozofia Arystotelesa Filozofia, Historia, Wykład V - Filozofia Arystotelesa 2010-10-01 Tematyka wykładu 1 Arystoteles - filozof systematyczny 2 3 4 Podział nauk Arystoteles podzielił wszystkie dyscypliny wiedzy na trzy grupy:

Bardziej szczegółowo

RACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią.

RACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią. Semantyczne twierdzenie o podstawianiu Jeżeli dana formuła rachunku zdań jest tautologią i wszystkie wystąpienia pewnej zmiennej zdaniowej w tej tautologii zastąpimy pewną ustaloną formułą, to otrzymana

Bardziej szczegółowo

Czyli o tautologiach, kontrtautologiach i zbiorach zdań semantycznie niesprzecznych część II.

Czyli o tautologiach, kontrtautologiach i zbiorach zdań semantycznie niesprzecznych część II. Czyli o tautologiach, kontrtautologiach i zbiorach zdań semantycznie niesprzecznych część II TYP 2 KONTRTAUTOLOGIK POSPOLITY Jego cechą charakterystyczną jest wypowiadanie zdao będących wyłącznie schematami

Bardziej szczegółowo

Zasada indukcji matematycznej

Zasada indukcji matematycznej Zasada indukcji matematycznej Twierdzenie 1 (Zasada indukcji matematycznej). Niech ϕ(n) będzie formą zdaniową zmiennej n N 0. Załóżmy, że istnieje n 0 N 0 takie, że 1. ϕ(n 0 ) jest zdaniem prawdziwym,.

Bardziej szczegółowo

Instrukcja warunkowa i złoŝona.

Instrukcja warunkowa i złoŝona. Instrukcja warunkowa i złoŝona. Budowa pętli warunkowej. JeŜeli mielibyśmy przetłumaczyć instrukcję warunkową to brzmiałoby to mniej więcej tak: jeŝeli warunek jest spełniony, to wykonaj jakąś operację

Bardziej szczegółowo

Indukcja matematyczna. Zasada minimum. Zastosowania.

Indukcja matematyczna. Zasada minimum. Zastosowania. Indukcja matematyczna. Zasada minimum. Zastosowania. Arkadiusz Męcel Uwagi początkowe W trakcie zajęć przyjęte zostaną następujące oznaczenia: 1. Zbiory liczb: R - zbiór liczb rzeczywistych; Q - zbiór

Bardziej szczegółowo

Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:

Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi: 1 Elementy logiki W logice zdaniem nazywamy wypowiedź oznajmującą, która (w ramach danej nauki) jest albo prawdziwa, albo fałszywa. Tak więc zdanie może mieć jedną z dwóch wartości logicznych. Prawdziwość

Bardziej szczegółowo

LOGIKA Dedukcja Naturalna

LOGIKA Dedukcja Naturalna LOGIKA Dedukcja Naturalna Robert Trypuz Katedra Logiki KUL 7 stycznia 2014 Robert Trypuz (Katedra Logiki) Założeniowy system klasycznego rachunku zdań 7 stycznia 2014 1 / 42 PLAN WYKŁADU 1 Przykład dowodów

Bardziej szczegółowo

Logika I. Wykład 4. Semantyka Klasycznego Rachunku Zdań

Logika I. Wykład 4. Semantyka Klasycznego Rachunku Zdań Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 4. Semantyka Klasycznego Rachunku Zdań 1 Skróty: Język Klasycznego Rachunku Zdań zamiast Klasyczny Rachunek Zdań piszę

Bardziej szczegółowo

LX Olimpiada Matematyczna

LX Olimpiada Matematyczna LX Olimpiada Matematyczna Rozwiązania zadań konkursowych zawodów stopnia drugiego 13 lutego 2009 r. (pierwszy dzień zawodów) Zadanie 1. Liczby rzeczywiste a 1, a 2,..., a n (n 2) spełniają warunek a 1

Bardziej szczegółowo

Inżynieria wiedzy Wnioskowanie oparte na wiedzy niepewnej Opracowane na podstawie materiałów dra Michała Berety

Inżynieria wiedzy Wnioskowanie oparte na wiedzy niepewnej Opracowane na podstawie materiałów dra Michała Berety mgr Adam Marszałek Zakład Inteligencji Obliczeniowej Instytut Informatyki PK Inżynieria wiedzy Wnioskowanie oparte na wiedzy niepewnej Opracowane na podstawie materiałów dra Michała Berety Wstępnie na

Bardziej szczegółowo

Wstęp do logiki. Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża,

Wstęp do logiki. Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża, Prof. UAM, dr hab. Zbigniew Tworak Zakład Logiki i Metodologii Nauk Instytut Filozofii Wstęp do logiki Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża, kto poprawnie wnioskuje i uzasadnia

Bardziej szczegółowo

JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca Imię i Nazwisko:... FIGLARNE POZNANIANKI

JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca Imię i Nazwisko:... FIGLARNE POZNANIANKI JEZYKOZNAWSTWO I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca 2012 Imię i Nazwisko:........................................................... FIGLARNE POZNANIANKI Wybierz

Bardziej szczegółowo

Rachunek zdao i logika matematyczna

Rachunek zdao i logika matematyczna Rachunek zdao i logika matematyczna Pojęcia Logika - Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Rachunek zdao - dział logiki

Bardziej szczegółowo

Konspekt do wykładu z Logiki I

Konspekt do wykładu z Logiki I Andrzej Pietruszczak Konspekt do wykładu z Logiki I (łącznie z 1 i 8 grudnia 2006) Uzasadnianie zdań Relację wynikania wykorzystujemy w definiowaniu różnych pojęć metodologicznych, takich jak: uzasadnianie

Bardziej szczegółowo

LOGIA WIARY I LOGIKA WIERZENIA. ks. Adam Olszewski UPJP2, Copernicus Center

LOGIA WIARY I LOGIKA WIERZENIA. ks. Adam Olszewski UPJP2, Copernicus Center LOGIA WIARY I LOGIKA WIERZENIA ks. Adam Olszewski UPJP2, Copernicus Center 19.10.2012 John Henry Newman (1801-1890) An Essay in Aid of a Grammar of Assent (1870); polski tytuł Logika Wiary. Part I Assent

Bardziej szczegółowo

Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu

Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu Witold Marciszewski: Wykład Logiki, 17 luty 2005, Collegium Civitas, Warszawa Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu 1. Poniższe wyjaśnienie (akapit

Bardziej szczegółowo

Naukoznawstwo. Michał Lipnicki Zakład Logiki Stosowanej UAM Michał Lipnicki Naukoznawstwo 1

Naukoznawstwo. Michał Lipnicki Zakład Logiki Stosowanej UAM Michał Lipnicki Naukoznawstwo 1 Naukoznawstwo Michał Lipnicki Zakład Logiki Stosowanej UAM michal.lipnicki@amu.edu.pl Michał Lipnicki Naukoznawstwo 1 Metody naukowe Metoda systematycznie stosowany sposób działania w jakiejś dziedzinie.

Bardziej szczegółowo

Logika. Michał Lipnicki. 15 stycznia Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 15 stycznia / 37

Logika. Michał Lipnicki. 15 stycznia Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 15 stycznia / 37 Logika Michał Lipnicki Zakład Logiki Stosowanej UAM 15 stycznia 2011 Michał Lipnicki () Logika 15 stycznia 2011 1 / 37 Wstęp Materiały na dzisiejsze zajęcia zostały opracowane na podstawie pomocy naukowych

Bardziej szczegółowo

1 Podstawowe oznaczenia

1 Podstawowe oznaczenia Poniżej mogą Państwo znaleźć skondensowane wiadomości z wykładu. Należy je traktować jako przegląd pojęć, które pojawiły się na wykładzie. Materiały te nie są w pełni tożsame z tym co pojawia się na wykładzie.

Bardziej szczegółowo

Egzamin z logiki i teorii mnogości, rozwiązania zadań

Egzamin z logiki i teorii mnogości, rozwiązania zadań Egzamin z logiki i teorii mnogości, 08.02.2016 - rozwiązania zadań 1. Niech φ oraz ψ będą formami zdaniowymi. Czy formuła [( x : φ(x)) ( x : ψ(x))] [ x : (φ(x) ψ(x))] jest prawem rachunku kwantyfikatorów?

Bardziej szczegółowo

Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I

Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl OSTRZEŻENIE Niniejszy plik nie zawiera wykładu z Metod dowodzenia...

Bardziej szczegółowo

Elementy logiki matematycznej

Elementy logiki matematycznej Elementy logiki matematycznej Przez p, q będziemy oznaczać zdania. Każdemu zdaniu możemy przyporządkować wartość logiczną 1, gdy jest prawdziwe oraz wartość logiczną 0, gdy jest fałszywe. Oznaczmy wartość

Bardziej szczegółowo

Filozofia przyrody, Wykład V - Filozofia Arystotelesa

Filozofia przyrody, Wykład V - Filozofia Arystotelesa Filozofia przyrody, Wykład V - Filozofia Arystotelesa 2011-10-01 Tematyka wykładu 1 Arystoteles - filozof systematyczny 2 3 4 Różnice w metodzie uprawiania nauki Krytyka platońskiej teorii idei Podział

Bardziej szczegółowo

STANDARDOWE FUNKCJE PRZYNALEŻNOŚCI. METODY HEURYSTYCZNE wykład 6. (alternatywa dla s) (zdef. poprzez klasę s) GAUSSOWSKA F.

STANDARDOWE FUNKCJE PRZYNALEŻNOŚCI. METODY HEURYSTYCZNE wykład 6. (alternatywa dla s) (zdef. poprzez klasę s) GAUSSOWSKA F. METODY HEURYSTYCZNE wykład 6 STANDARDOWE FUNKCJE PRZYNALEŻNOŚCI 2 GAUSSOWSKA F. PRZYNALEŻNOŚCI F. PRZYNALEŻNOŚCI KLASY s środek; a określa szerokość krzywej 3 4 F. PRZYNALEŻNOŚCI KLASY π F. PRZYNALEŻNOŚCI

Bardziej szczegółowo

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 12 i 13. Dowód i dowodzenie w KRP. Tezy KRP

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 12 i 13. Dowód i dowodzenie w KRP. Tezy KRP Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykłady 12 i 13. Dowód i dowodzenie w KRP. Tezy KRP 1 Pojęcie dowodu w KRP Pojęcia: formuły zdaniowej języka Klasycznego Rachunku

Bardziej szczegółowo

LOGIKA Wprowadzenie. Robert Trypuz. Katedra Logiki KUL GG października 2013

LOGIKA Wprowadzenie. Robert Trypuz. Katedra Logiki KUL GG października 2013 LOGIKA Wprowadzenie Robert Trypuz Katedra Logiki KUL GG 43 e-mail: trypuz@kul.pl 2 października 2013 Robert Trypuz (Katedra Logiki) Wprowadzenie 2 października 2013 1 / 14 Plan wykładu 1 Informacje ogólne

Bardziej szczegółowo

Metody dowodzenia twierdze«

Metody dowodzenia twierdze« Metody dowodzenia twierdze«1 Metoda indukcji matematycznej Je±li T (n) jest form zdaniow okre±lon w zbiorze liczb naturalnych, to prawdziwe jest zdanie (T (0) n N (T (n) T (n + 1))) n N T (n). 2 W przypadku

Bardziej szczegółowo

Elementy rachunku zdań i algebry zbiorów

Elementy rachunku zdań i algebry zbiorów Rozdział 1. Elementy rachunku zdań i algebry zbiorów 1.1. Zdania Przez α, β będziemy oznaczać zdania. Każdemu zdaniu możemy przyporządkować wartość logiczną 1, gdy jest prawdziwe oraz wartość logiczną

Bardziej szczegółowo

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 7 i 8. Aksjomatyczne ujęcie Klasycznego Rachunku Zdań

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 7 i 8. Aksjomatyczne ujęcie Klasycznego Rachunku Zdań Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykłady 7 i 8. Aksjomatyczne ujęcie Klasycznego Rachunku Zdań 1 Istnieje wiele systemów aksjomatycznych Klasycznego Rachunku

Bardziej szczegółowo

Definicja pochodnej cząstkowej

Definicja pochodnej cząstkowej 1 z 8 gdzie punkt wewnętrzny Definicja pochodnej cząstkowej JeŜeli iloraz ma granicę dla to granicę tę nazywamy pochodną cząstkową funkcji względem w punkcie. Oznaczenia: Pochodną cząstkową funkcji względem

Bardziej szczegółowo

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

domykanie relacji, relacja równoważności, rozkłady zbiorów 1 of 8 2012-03-28 17:45 Logika i teoria mnogości/wykład 5: Para uporządkowana iloczyn kartezjański relacje domykanie relacji relacja równoważności rozkłady zbiorów From Studia Informatyczne < Logika i

Bardziej szczegółowo

Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I

Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan: definicja pojęcia wnioskowania wypowiedzi inferencyjne i wypowiedzi argumentacyjne

Bardziej szczegółowo

Czyli o tautologiach, kontrtautologiach i zbiorach zdań semantycznie niesprzecznych część II.

Czyli o tautologiach, kontrtautologiach i zbiorach zdań semantycznie niesprzecznych część II. Czyli o tautologiach, kontrtautologiach i zbiorach zdań semantycznie niesprzecznych część II TYP 3 SPRZECZNIK WREDNAWY Ten typ jest bardziej rozmowny. Wypowiada zazwyczaj kilka zdao. Ich cechą jest to,

Bardziej szczegółowo

Matematyka I. BJiOR Semestr zimowy 2018/2019 Wykład 1

Matematyka I. BJiOR Semestr zimowy 2018/2019 Wykład 1 Matematyka I BJiOR Semestr zimowy 2018/2019 Wykład 1 Zasady współpracy https://mat.ug.edu.pl/~matpz/ wykłady nie są obowiązkowe, ale nieobecności będą odnotowywane nieobecności nie należy usprawiedliwiać,

Bardziej szczegółowo

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

Logika Matematyczna Spójniki logiczne Tautologie Dowodzenie Kwantyfikatory Zagadki. Logika Matematyczna. Marcelina Borcz. 5 marca 2009 Spis treści 1 2 3 4 5 6 Logika (z gr. logos - rozum) zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Logika matematyczna,

Bardziej szczegółowo

Lista 1 (elementy logiki)

Lista 1 (elementy logiki) Podstawy nauczania matematyki 1. Zdanie Lista 1 (elementy logiki) EE I rok W logice zdaniem logicznym nazywamy wyrażenie oznajmujące o którym można powiedzieć że jest prawdziwe lub fałszywe. Zdania z reguły

Bardziej szczegółowo

Metoda tabel semantycznych. Dedukcja drogi Watsonie, dedukcja... Definicja logicznej konsekwencji. Logika obliczeniowa.

Metoda tabel semantycznych. Dedukcja drogi Watsonie, dedukcja... Definicja logicznej konsekwencji. Logika obliczeniowa. Plan Procedura decyzyjna Reguły α i β - algorytm Plan Procedura decyzyjna Reguły α i β - algorytm Logika obliczeniowa Instytut Informatyki 1 Procedura decyzyjna Logiczna konsekwencja Teoria aksjomatyzowalna

Bardziej szczegółowo

Logiczne podstawy prawoznawstwa

Logiczne podstawy prawoznawstwa Logiczne podstawy prawoznawstwa Piotr Łukowski Katedra Logiki i Metodologii Nauk Uniwersytet Łódzki 1 Literatura [1] Kazimierz Ajdukiewicz, Logika pragmatyczna, PWN, Warszawa 1965. [2] Zygmunt Ziembiński,

Bardziej szczegółowo

Wstęp do logiki. Argumentacja

Wstęp do logiki. Argumentacja Wstęp do logiki Argumentacja 1 Argumentacja: definicja Mówiąc o argumentacji, mamy zwykle na myśli pewien rodzaj komunikacji dyskursywnej, w trakcie której jedna osoba stara się w zaplanowany sposób wpłynąć

Bardziej szczegółowo

Poprawność semantyczna

Poprawność semantyczna Poprawność składniowa Poprawność semantyczna Poprawność algorytmu Wypisywanie zdań z języka poprawnych składniowo Poprawne wartościowanie zdań języka, np. w języku programowania skutki wystąpienia wyróżnionych

Bardziej szczegółowo

Kongruencje pierwsze kroki

Kongruencje pierwsze kroki Kongruencje wykład 1 Definicja Niech n będzie dodatnią liczbą całkowitą, natomiast a i b dowolnymi liczbami całkowitymi. Liczby a i b nazywamy przystającymi (kongruentnymi) modulo n i piszemy a b (mod

Bardziej szczegółowo

JÓZEF W. BREMER WPROWADZENIE DO LOGIKI

JÓZEF W. BREMER WPROWADZENIE DO LOGIKI JÓZEF W. BREMER WPROWADZENIE DO LOGIKI Wydawnictwo WAM Kraków 2006 Spis tre ci Przedmowa Jana Wole skiego 9 Wst p 11 1 Logika i jej rozumienie 17 1.1 Teksty wprowadzaj ce...................... 17 1.1.1

Bardziej szczegółowo

14. Grupy, pierścienie i ciała.

14. Grupy, pierścienie i ciała. 4. Grup, pierścienie i ciała. Definicja : Zbiór A nazwam grupą jeśli jest wposaŝon w działanie wewnętrzne łączne, jeśli to działanie posiada element neutraln i kaŝd element zbioru A posiada element odwrotn.

Bardziej szczegółowo

Co to jest algorytm? przepis prowadzący do rozwiązania zadania, problemu,

Co to jest algorytm? przepis prowadzący do rozwiązania zadania, problemu, wprowadzenie Co to jest algorytm? przepis prowadzący do rozwiązania zadania, problemu, w przepisie tym podaje się opis czynności, które trzeba wykonać, oraz dane, dla których algorytm będzie określony.

Bardziej szczegółowo

Elementy logiki matematycznej

Elementy logiki matematycznej Elementy logiki matematycznej Przedmiotem logiki matematycznej jest badanie tzw. wyrażeń logicznych oraz metod rozumowania i sposobów dowodzenia używanych w matematyce, a także w innych dziedzinach, w

Bardziej szczegółowo

Rozprawka materiały pomocnicze do pisania rozprawki przygotowane przez Katarzynę Buchman. Rozprawka - podstawowe pojęcia

Rozprawka materiały pomocnicze do pisania rozprawki przygotowane przez Katarzynę Buchman. Rozprawka - podstawowe pojęcia Rozprawka materiały pomocnicze do pisania rozprawki przygotowane przez Katarzynę Buchman Rozprawka - podstawowe pojęcia 1. rozprawka - forma wypowiedzi pisemnej, w której piszący prezentuje własne stanowisko

Bardziej szczegółowo

PRZEDMIOTOWY SYSTEM OCENIANIA - MATEMATYKA

PRZEDMIOTOWY SYSTEM OCENIANIA - MATEMATYKA PRZEDMIOTOWY SYSTEM OCENIANIA - MATEMATYKA Nadrzędnym celem oceniania jest pozyskiwanie przez nauczyciela i ucznia w trakcie nauczania informacji, które pozwolą rozpoznać, jak przebiega proces uczenia

Bardziej szczegółowo

Matematyka dla biologów skrót wykładu 1.

Matematyka dla biologów skrót wykładu 1. Matematyka dla biologów skrót wykładu 1. Dariusz Wrzosek Instytut Matematyki Stosowanej i Mechaniki, Wydział Matematyki, Informatyki i Mechaniki, Uniwersytet Warszawski, Banacha 2, 02-097 Warszawa pokój

Bardziej szczegółowo

Elementy logiki. Zdania proste i złożone

Elementy logiki. Zdania proste i złożone Elementy logiki Zdania proste i złożone. Jaka jest wartość logiczna następujących zdań: (a) jest dzielnikiem 7 lub suma kątów wewnętrznych w trójkącie jest równa 80. (b) Jeśli sin 0 =, to 5 < 5. (c) Równanie

Bardziej szczegółowo

Logika Stosowana. Wykład 7 - Zbiory i logiki rozmyte Część 3 Prawdziwościowa logika rozmyta. Marcin Szczuka. Instytut Informatyki UW

Logika Stosowana. Wykład 7 - Zbiory i logiki rozmyte Część 3 Prawdziwościowa logika rozmyta. Marcin Szczuka. Instytut Informatyki UW Logika Stosowana Wykład 7 - Zbiory i logiki rozmyte Część 3 Prawdziwościowa logika rozmyta Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika

Bardziej szczegółowo

1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.

1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych. Elementy logiki i teorii zbiorów. 1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych. Pojęcia pierwotne to najprostsze

Bardziej szczegółowo

Indukcja matematyczna, zasada minimum i maksimum. 17 lutego 2017

Indukcja matematyczna, zasada minimum i maksimum. 17 lutego 2017 Indukcja matematyczna, zasada minimum i maksimum 17 lutego 2017 Liczby naturalne - Aksjomatyka Peano (bez zera) Aksjomatyka liczb naturalnych N jest nazwą zbioru liczb naturalnych, 1 jest nazwą elementu

Bardziej szczegółowo

Programowanie deklaratywne

Programowanie deklaratywne Programowanie deklaratywne Artur Michalski Informatyka II rok Plan wykładu Wprowadzenie do języka Prolog Budowa składniowa i interpretacja programów prologowych Listy, operatory i operacje arytmetyczne

Bardziej szczegółowo