LOGIKA Logika (grec. Logos)- rozum, argument, jzyk Ojcem logiki jest Arystoteles (384-324 p.n.e.

) Logika jest nauk o schematach poprawnego myslenia.

WYKAD I 09.09.2010

Myli wyraamy w jzyku. Logika zajmuje si jzykiem jako narzdziem wyraania myli. Funkcje wypowiedzi: 1. Ekspresyjna demaskowanie swoich myli, mwienie o tym co mylimy. Wyraanie swoich emocji. 2. Perswazyjno- sugestyjna sterowanie czyim dziaaniem(np. reklama)- zrb cos !! kup co!! Sowa maj by bodcem dla kogo. Wpyw na czyj wol. 3. Informacyjno-opisowa informujemy kogo o czym, np. spikerka na dworcu. 4. Performatywna- funkcja ustawodawcza, np. zawieranie zwizku maeskiego(wypowiedzenie sakramentalnych sw, odpisanie dokumentw). Skadanie przyrzecze, lubowa, ktre co ustanawiaj. Najwaniejsza jest funkcja 3. Zdanie w sensie logicznym jest to wypowied prawdziwa lub faszywa. np. Warszawa jest stolic Polski. Zdania dotyczce przyszoci nie s przesdzone jako P lub F. Dopiero bd P lub F. Zdanie spenia dwie funkcje: subiektywn lub obiektywn. Zdanie z jednej strony wyraa myl, ale z drugiej strony obiektywnie stwierdza pewien stan rzeczy. Jeeli ten stan rzeczy zachodzi(np. W-wa ley nad Wis) to jest to zdanie prawdziwe. Zdanie jest P, gdy w rzeczywistoci jest tak jak ono gosi. Zdanie jest F, Gd nie jest tak jak ono gosi, gdy w rzeczywistoci nie jest tak jak mwimy. 2<3 Zdanie to jest krtkie, prawdziwe, zapisane w jzyku matematyki. P i F s to wartoci logiczne zdania. 0 symbol faszu 1- symbol prawdy Wg. Leibniza (XVII w. p.n.e.) dobrze byoby zamieni mylenie rachunkiem. Klasyczny rachunek zda.

Litery zdaniowe: p, q, r, s s to zmienne zdaniowe, za ktre bdziemy podstawia zdanie. 3<2 zdanie F Nieprawda, e (3<2) Termin logiczny, pozostae to terminy poza logiczne. Wyraenie nieprawda, e nazywamy funktorem negacji i oznaczamy symbolem ~ i rozumiemy zgodnie z nastpujc tabel: p 0 1 p i ~p jest to para zda sprzecznych *- termin logiczny 1. Jeeli zabili go, to nie yje. 2. Jeeli temperatura jest grubo poniej 0 st. C, to woda w stawie zamarza. P P P S to zdania prawdziwe. S to zdania zoone. Gdybymy je odwrcili byyby one faszywe. Wszystkie te zdania maj t sam form logiczn. Wyraenie jeeli p, to q nazywamy implikacj o poprzedniku p i nastpniku q. Symbolicznie zapisujemy to: p q i rozumiemy wg. tabelki. q q q 3. Jeeli liczba x jest podzielna przez 4, to liczba ta jest parzysta. 4. Jeeli nauczysz si logiki, to zdasz egzamin z tego przedmiotu. ~p 1 0

Zdanie 4

p
0 0 1 1

q
0 1 0 1

p
1 1 0 * 1

*0 Implikacja jest F, gdy poprzednik jest P a nastpnie F. Faszu moe wynikn fasz i prawda. Z prawdy fasz nie wynika nigdy !!!!!!!! Wtedy i tylko wtedy- spjnik rwnowanoci oznaczamy symbolem , oraz < = >. I rozumiemy zgodnie z tabelk. 1+2+3=6 wtedy i tylko wtedy kiedy suma tych liczb jest podzielna przez 3 liczba ta podzielna jest przez 3.

p
0 0 1 1

q
0 1 0 1

1 0 0 1

Jeeli mylisz jasno, to nieprawda, e nie potrafisz jasno wyrazi swoich myli. p e nie p ~(~q) nieprawda Nieprawda, e jeeli Einstein by genialny to Newton by ograniczony. p q q

( p q) 0 1

WYKAD II
Zdam egzamin z prawa i zdam egzamin z logiki. p q

23.10.2010

Wyraenie i nazywamy spjnikiem koniunkcji i oznaczamy symbolem ^ i rozumiemy wg. tabelki.

p
0 0 1 1 0*0=0 0*1=0 1*0=0 1*1=1

q
0 1 0 1

p ^ q
0 0 0 1

Koniunkcja zachowuje si tak jak iloczyn logiczny zdania.(mnoenie) p^q = p*q Nie uczyem si p ~p ~p ^ ~q Nie zdaem prawa i nie zdaem logiki. p q i nie zdaem. q ~q

~p

~q

Nieprawda, e (zdaem prawo i logik.) ~ ( p ^ q)

Uczyem si systematycznie, a nie umiem. p q ~q Nieprawda, e uczye si systematycznie a nie umiesz. p ~q ~ (p ^ ~q) q

Przyjdzie Agata i przyjdzie Gosia. p q Nie przyjdzie Agata i nie przyjdzie Gosia. ~p ~ (p ^ q)

~q

Nieprawda, e (przyjdzie Agata i przyjdzie Gosia.)

Zdam egzamin z prawa lub zdam egzamin z logiki. p rozumiemy zgodnie z tabelk. q Wyraenie lub nazywamy spjnikiem alternatywnym i oznaczamy symbolem v i

p 0

q 0

pvq 0

pq 0

p/ q 1

0 1 1

1 0 1

1 1 1

1 1 0

1 1 0

Alternatywa nierozczna lub v, p+q pvq Alternatywa rozczna , v - p albo q , dokadnie jedno z dwojga. Co najwyej jedno z dwojga : bd p bd q dysfunkcja p/q Zadania Zbuduj schemat logiczny zdania. Jeeli mylisz jasno to nieprawda, e nie potrafisz jasno wyrazi swoich emocji. p p ~ ( ~ q) Implikacja, ktra w nastpniku ma podwjna negacj. q alternatywa jest to suma logiczna zdania

Jeeli mwisz nieprawd, to mylisz si lub kamiesz. p p(qvr) Polubisz logik i uznasz j za atw, jeli nie masz zych wspomnie z lekcji matematyki. p ~rp^q q r q r

to co po jeli to poprzednik

Jeli czytasz swobodnie po angielsku, to o ile nie potrafisz mwi w tym jzyku to znasz p angielski biernie. To samo co jeeli q

r p(~qr) Jeeli czytasz i nie mwisz to znaczy, e znasz angielski biernie. p(~qr) Nie posiadasz gruntownej wiedzy o jzyku, jeli sabo znasz gramatyk i nigdy nie uczye si logiki. (q^~r)~p p q r

Jeeli historia tumaczy zdarzenia minione i pozwala przewidywa przyszo, to historia jest nauka homotetyczn. (p^q)r p q r

Jeeli prawa dziejowe nie istniej lub s niewykrywalne, to historia jest nauka opisow. p ( ~p v q ) r q r

a+b=b+a - ( - a) = a Prawo logiki to schemat wycznie prawdziwych zda. PRAWO PODWJNEGO PRZECZENIA Umiem Nie umiem Nieprawda, e nie umiem ~ ( ~ p) p p ~p Umiem

~p

~(~p)

~ ( ~ p) p

0 1

1 0

0 1

00
11

Jeeli wychodz dwie jedynki to prawo podwjnego przeczenia !!!!!!!!!!!! .. Pada lub nie pada. p ~p p v ~p prawo wyczonego rodka !!!!!!!!!!!!!!!!!!!

p 0 1

~p 1 0

p v ~p 1 1

. Zadania domowe. Jeeli bye w Paryu, to zwiedzie Louvre i widziae wie Eiffela. p (q^r) Nieprawda, e jeli spory filozoficzne s nierozstrzygalne a uczeni bior w nich udzia, to filozofia hamuje postp w nauce. ~[ (p ^q) r] Nieprawda, e jeeli Platon zaoy akademi, to jeli Arystoteles by uczniem Platona, to Arystoteles nie uczszcza do akademii. ~[p (q ~r)]

PRAWO NIESPRZECZNOCI Nieprawda, e pada i nie pada. ~(p^~p)

p 0 1
WYKAD III listopada 2010 13

~p 1 0

p^~p 0 0

~ (p^ ~ p)

1
1

Zdam egzamin z prawa i zdam egzamin z logiki. p q Nieprawda, e zdasz egzamin z prawa i zdasz logik. i lub ~(p ^ q) (~p v ~q) PRAWA de Morgana 1. Negacja koniunkcji dwch zda jest rwnowana alternatywie zanegowanych skadnikw tej koniunkcji. Zdam egzamin z prawa lub zdam egzamin z logiki. Nieprawda, e zdasz egzamin z prawa lub egzamin z logiki. p q ~(p v q) (~p ^ ~q) 2. Negacja alternatywy dwch zda jest rwnowana koniunkcji zanegowanych skadnikw tej alternatywy. Jeeli wygram w lotto to kupi Ci samochd. p q pq Nieprawda, e jeeli wygra to kupi samochd. p q ~(p q) (p ^ ~q) Negacja implikacji dwch zda jest rwnowana koniunkcji poprzednika i zanegowango nastpnika PRAWO ZAPRZECZENIA IMPLIKACJI

p 0

q 0

pq 1

~(pq) 0

~q 1

p ^ ~q 0

~(p q) (p ^ ~q) 1

0 1 1

1 0 1

1 0 1

0 1 0

0 1 0

0 1 0

1 1 1

PRAWO ZAPRZECZENIA IMPLIKACJI S RWNOWANE CZYLI JEST TO ZDANIE PRAWDZIWE ----------------------------------------------------------------------------------------------------(p ^ q) p p 0 0 1 1 q 0 1 0 1 p^q 0 0 0 1 (p ^ q) p 1 1 1 1

JEST TO PRAWO LOGICZNE ----------------------------------------------------------------------------------------------------p (p ^ q) p 0 0 1 1 q 0 1 0 1 p^q 0 0 0 1 p (p ^ q) 1 1 0 1

NIE JEST TO PRAWO LOGICZNE ---------------------------------------------------------------------------------------------------Jeeli pada deszcz to pada deszcz lub pada nieg. (przynajmniej jedno pada) p (p v q) p 0 0 1 1 q 0 1 0 1 pvq 0 1 1 1 p (p v q) 1 1 1 1 JEST TO PRAWO LOGICZNE

Pada deszcz lub nieg to pada deszcz. p q pvq (p v q) p

0 0 1 1

0 1 0 1

0 1 1 1

1 0 1 1 NIE JEST TO PRAWO LOGICZNE

Jeeli oddycha to yje jeeli nie yje to nie oddycha. (p q) (~q ~ p)

( I II) (~II ~I) PRAWO TRANSPOZYCJI

p 0 0 1 1 q 0 1 0 1 pq 1 1 0 1 ~q 1 0 1 0 ~p 1 1 0 0 ~q~p 1 1 0 1 (pq) (~ q ~ p) 1 1 1 1 JEST TO PRAWO LOGICZNE

Praca domowa 1. (p^q) (pq) 2. (p^q) (p v q) 3. (p^~p) q 4. p (~pq) 5. (p ~p) ~p 6. (pq) v (qp) 7. p v (pq) 8. (p v q) (~pq) 9. (p^q) ~(p ~q) 10. (pq) (~p v q)

WYKAD IV 27 listopada 2010 S P Wisawa Szymborska jest synn poetk.

Krakw Wiosna Ptasia grypa 5 Krasnoludek

jest jest jest jest jest

piknym miastem. por roku zakan chorob. liczb nieparzyst. maym stworzeniem.

S jest P S- subject, subiectum podmiot P- predykat, orzecznik Sdzia jest prawnikiem. NAZWA jest to wyraenie, ktre moe by podmiotem lub orzecznikiem w zdaniach typu S jest P. Nazwy dzielimy na proste i zoone. NAZWY PROSTE (jednowyrazowe) Krakw Krasnoludek Las Drzewo Wisa 5 ZOONE (wielowyrazowe) Najdusza rzeka w Polsce ojciec Jana kowalskiego Prezydent RP syn bezdzietnej matki 2+3

DESYGNAT NAZWY to przedmiot oznaczany dan nazw. Mikrofon NAZWA DESYGNAT

NAZWY Jednostkowe Oglne Puste (maj jeden desygnat) (maj wicej ni jeden desygnat) (bezprzedmiotowe) Benedykt XVI Pora roku Krasnoludek Obecna stolica RP Czowiek Kwiat paproci {a} {a1, a2, a3an} Zakres nazwy jest to zbir wszystkich jej desygnatw: - jednostkowe {a} - oglne {a1, a2, a3, .an} - puste , bezprzedmiotowe { } Nazwa jest konkretna gdy jej desygnatem s rzeczy lub osoby, bd te co co wyobraamy sobie jako rzecz lub osob. Nazwa abstrakcyjna jest to nazwa wasnoci przedmiotw, relacji midzy przedmiotami, nazwy zdarze, liczb, chorb itp.

Stupitrowy dom w Legionowie. nazwa zoona konkretna pusta Najwiksza liczba parzysta. zoona abstrakcyjna pusta NAZWA niezbiorowa (jednostka) Drzewo Gwiazda Ksika Pose Nauczyciel Czowiek Mrwka zbiorowa (zbiorowisko) Las Gwiazdozbir Ksigozbir Sejm Rada pedagogiczna Spoeczestwo Mrowisko

Nazwa jest zbiorowa gdy kady z jej desygnatw jest zbiorowiskiem. Nazwa jest zbiorowa gdy przedstawia swoje desygnaty jako pewne zoone ukadyzbiorowiska. NAZWY Generalne (nadane ze wzgldu na cechy przedmiotw) Toru miasto synce z piernikw Wisa najdusza rzeka w Polsce (nie wiemy czy to nazwa rzeki, miasta czy (to jest jedna Wisa) klubu sportowego) Wisawa Szymborska Polska poetka, ktra otrzymaa Nagrod Nobla Bronisaw Komorowski Obecny Prezydent RP Indywidualne Praca domowa: Jakie to nazwy: pies, prawnik, moliwo dziaania ?

A to przykadowy zestaw pyta na egzamin. 1. Zaprzecz na dwa rne sposoby zdaniu. Jeeli mwi to nie myl. Uzasadnij

2. Jakie to nazwy: drzewo iglaste, so, liczba pierwsza podzielna przez 2 i 3. 3. Wska prawa logiki wrd formu. (p ^ q) (p q) (p ^ q) (p v q) Uzasadnij Ad1. (p ~q) Uzasadnienie ~( p ~q) p ^ ~(~q)p ^ q Nieprawda, e jeeli mwi to nie myl. Mwi i myl. Ad 2. Drzewo iglaste i so- nazwa zoona, konkretna, oglna, generalna Liczba pierwsza podzielna przez 2 i 3 bezprzedmiotowa, pusta. Wykad 5 Przykady zada: 1. Zaprzecz na 2 rne sposoby zdanie: Odpowied uzasadnij. Nieprawda, e jeeli znasz matematyk, to znasz logik. a) Jeeli znasz matematyk, to znasz logik ~ [~ (p -> q) ] <-> p -> q b) Nieprawda, e znam matematyk, a (i) nie znam logiki ~ [~ (p -> q) ] <-> ~ ( p ^ ~ q) ~ (p -> q) <-> (p ^ ~ q) - to jest koniunkcja czyli negacja implikacji 2. Jakie to nazwy: - pies prosta, oglna, konkretna, generalna, niezbiorowa - prawnik prosta, oglna, konkretna, generalna, niezbiorowa - moliwo dziaania zoona, abstrakcyjna, oglna 3. Ktre z nastpujcych formu s prawami logicznymi 1. (p -> q) -> ( ~ p -> ~ q) 2. (p -> q) v p Tu ju nie pisaam tabelek bo to atwe jest ...chyba

---------------------------------------------------------------------------------------------------------------CD. Nazwy Nazwa jest ostra, gdy o kadym przedmiocie mona rozstrzygn czy jest desygnatem danej nazwy. Tzn. musimy dokadnie wiedzie np.: Budynek, jest uprawniony do gosowania, wszystkie terminy matematyczne, pies.....) Zdrowy nazwa nieostra Zamony nazwa nieostra nazwa znaczenie nazwy (pojcie nazwy) - sposb jej rozumienia desygnat nazwy, zakres nazwy (zbir wszystkich desygnatw) np.: KWADRAT figura paska, rwnoboczna, rwnoktna, czworobok itp., itd. Mona mwi godzinami o kwadracie Tre pena nazwy, jest to zesp wszystkich cech, jakie posiada kady z jej desygnatw. Tre charakterystyczna nazwy, jest to zesp wszystkich cech, ktre posiada kady desygnat i tylko desygnaty tej nazwy posiadaj wszystkie te cechy. NAZWY

WYRANE

NIEWYRANE

NAOCZNE

INTUICYJNE

--------------------------------------------------------------NAZWY

OSTRE

NIEOSTRE

Na og nazwy s nieostre i niewyrane. -----------------------------------------------------------------------------------------------------------------