Logika i teoria mnogości Wstęp do logiki

background image

Logika i teoria mnogości/Wstęp do logiki

1

Logika i teoria mnogości/Wstęp do logiki

Wstęp

Logika, mimo, że zaliczana jest do przedmiotów humanistycznych, jest jednym z najważniejszych działów

matematyki. Jest ona dodatkowo działem, którego nieznajomość uniemożliwia pełne poznanie matematyki.

Znajomość logiki pozwala nam udowadniać twierdzenia, programować warunki itd.

Co to jest zdanie?

Zdanie logiczne to wyrażenie, którego wartość logiczną można jednoznacznie określić - stwierdzić, że jest ono

prawdziwe lub fałszywe.

Zdaniami logicznymi nie są:

pytania

Zdanie "Czy spadł dzisiaj deszcz?", choć poprawne w języku polskim, nie jest zdaniem logicznym, ponieważ nie

można mu przyporządkować wartości prawda lub fałsz; co innego, jeżeli pod uwagę weźmiemy zdanie "Spadł

dzisiaj deszcz."

wyrażenia ze zmienną

Tego typu wyrażenia mogą być fałszywe lub prawdziwe w zależności od danego parametru oraz wszelakie

stwierdzenia w stylu "zimno mi", "ten kwiat jest piękny". Dodatkowo, wśród zdań wyróżnia się zdania proste (nie

zawierające żadnych spójników logicznych) oraz zdania złożone (zawierające przynajmniej jeden spójnik

logiczny).

Kwantyfikatory i spójniki logiczne

Wyróżnia się trzy kwantyfikatory:

• Dla każdego  

• Istnieje  

• Istnieje tylko jeden. 

!

Spójniki dla każdego i istnieje są w opozycji wobec siebie. Czyli "Nieprawda, że dla każdego..." znaczy tyle co

"Istnieje taki, że..." Natomiast "Nieprawda, że istnieje..." znaczy "Dla każdego..."

Natomiast kwantyfikator Istnieje tylko jeden można zapisać

:

Uwaga: Kolejność takich samych kwantyfikatorów nie ma znaczenia, natomiast kolejność różnych już ma.

Uwaga 2: Jeżeli przed zmienną nie ma kwantyfikatorów, to domyślnie oznacza "dla każdego".

Spójniki logiczne - podstawowymi spójnikami logicznymi są:

• implikacja (

)

• równoważność (

)

• negacja (

) (not)

• alternatywa (

) (or)

• koniunkcja (

) (and)

• alternatywa wykluczająca (

) (xor)

Wartości logiczne zdań złożonych:

background image

Logika i teoria mnogości/Wstęp do logiki

2

p q

1 1 1

1

1

1

0

1 0 0

0

1

0

1

0 1 1

0

1

0

1

0 0 1

1

0

0

0

Tautologie

Tautologie są to wyrażenie zawsze prawdziwe niezależnie od tego jakie zdania podstawimy. Tautologie są często

wykorzystywanie w innych działach matematyki, na przykład przy dowodzeniu twierdzeń.

Najczęściej używane tautologie.

Prawo podwójnego zaprzeczenia

Prawa de Morgana

Prawo przechodności implikacji. Uwaga niektórzy mylą tą tautologie ze zdaniem

, które tautologią nie jest.

Prawo sylogizmu warunkowego

Prawo wyłączonego środka

Prawo sprzeczności

Prawo transpozycji

Prawo Pierce'a

Jak rozpoznać czy wyrażenie jest tautologią?

Sposób naiwny (totalny)

robimy tabele ze wszystkimi możliwościami wartości logicznych zdań prostych. Następnie dla wszystkich z tych

możliwości wykonujemy zdanie które sprawdzamy np. sprawdźmy, czy zdanie

W ostatniej kolumnie są same jedynki, więc zdanie jest tautologią.

Zalety sposobu naiwnego:

+ zdanie jest dokładnie sprawdzone

+ zadanie jest łatwiejsze dla komputera

+ trudniej się pomylić

Wady sposóbu naiwnego

- duża ilość obliczeń, gdyż ilość możliwości wynosi 2^n (dla 2 zmiennych to tylko 4, ale dla 100 to jest 2^100 czyli

1'267'650'600'228'229'401'496'703'205'376)

background image

Logika i teoria mnogości/Wstęp do logiki

3

Sposób przez zaprzeczenie.

Szukamy sytuacji, w których wyrażenie może być fałszywe. W przypadku kiedy nie ma takich możliwości to

orzekamy, że wyrażenie jest tautologią

Zalety sposobu przez zaprzeczenie:

+ szybszy, gdyż nie wymaga tylu obliczeń

Wady sposobu przez zaprzeczanie:

- łatwo można przeoczyć ustawienie, w którym zdanie jest fałszywe

- sposób wymaga wprawy

- komputery nie mogą sprawdzać tym sposobem

Po wyliczeniu wad i zalet obu systemów wydawać się by mogło, że sposób przez zaprzeczenie jest gorszym

sposobem niż sposób naiwny, jednakże do sprawdzenia niezbyt skomplikowanych zdań sposób przez zaprzeczenie

jest znacznie lepszym sposobem.

Funkcje Boolowskie

W funkcjach Boolowskich fałszowi przyporządkowano 0 a prawdzie - 1, koniunkcji mnożenie, alternatywie

dodawanie natomiast równoważność została zastąpiona przez równa się. Z implikacji zrezygnowano. Dodatkowo

przyjęto, że 1+1=1 (czyli prawda lub prawda to nadal prawda, a nie dwie prawdy).

Funkcje Boolowskie są szeroko stosowane w matematyce dyskretnej oraz w każdej dziedzinie techniki i fizyki,

gdzie mierzy się prawdopodobieństwo awarii w przesyle sygnałów prądu strumienia magnetycznego itd. Osoby

zainteresowane Algebrą Boola odsyłam właśnie do tych podręczników (kiedy powstaną).

Relacje logiczne a zbiory

Relacje logiczne w języku Pascal

Relacje logiczne używa się jako warunki oraz jako warunki pętli.

Przykładowy warunek if x>0 or y>0 znaczy tyle co jeżeli x>0 lub y>0

Inny przykład if x>0 or x<0 czyli jeżeli x>0 lub x<0 oczywiście można to zapisać łatwiej jako if not (x=0)

Implikacja w językach programowania jest zastąpiona przez instrukcje warunkową if np.

w języku pascal zapiszemy if {warunek} do {instrukcja}. Jednakże w tym

przypadku należy zrócić uwagę, że fałsz implikuje zarówno prawdę, jak i fałsz ,natomiast w instrukcji warunkowej
tego nie ma.

Zadania

Przykład

Czy prawdziwe jest zdanie: Jeżeli liczba x jest pierwsza, to liczba x jest złożona to liczba x jest równa cztery. To

pozornie bezsensowne zdanie sporóbujmy rozpisać logicznie. Przymujemy " liczba x jest pierwsza", "

liczba

x jest złożona", " liczba x jest równa 4". Przy czym jeśli zdania i nie mogą być prawdziwe jednocześnie.

Więc nasze zdanie po podstawieniu symboli będzie wyglądać tak

.

Tabela będzie wyglądać więc tak

background image

Logika i teoria mnogości/Wstęp do logiki

4

Wynika więc, że jeśli x będzie liczbą złożoną różną od 4, to nasze zdanie jest fałszywe.

Zadania.

1. Jeżeli liczba naturalna x dzieli się przez 3, to z faktu, że liczba x nie dzieli się przez 3, wynika, że x dzieli się przez

5.

2. Jakie zdanie jest zaprzeczeniem zdania: Wszyscy Polacy i Niemcy żyją w Europie?

Notacja beznawiasowa

Notacja beznawiasowa (Jana Łukasiewcza nie mylić z Ignacym, wynalazcą lampy naftowej). W notacji

beznawiasowej zdania są zapisywane za pomocą małych liter, a sybole logiczne przez pięć dużych liter -

C-konukcja, D-alternatywa, E-równoważność, I-implikacja oraz N-negacja.

Jeśli po symbolu N stoi zdanie, to oznacza, że zdanie należy zanegować np. Np znaczy to samo co

Jeśli po symbolu C, D, E, I. stoją dwie zmienne zdaniowe, to spójnik dotyczy tych dwóch zdań np. Cpq znaczy

Jeśli po symbolu C, D, E, I. stoi inny spójnik, to znaczy, że następne zdanie złożone traktujemy jako zdanie
zagnieżdzone np. ICpqr znaczy tyle co

background image

Źródła i autorzy artykułu

5

Źródła i autorzy artykułu

Logika i teoria mnogości/Wstęp do logiki  Źródło: http://pl.wikibooks.org/w/index.php?oldid=160037  Autorzy: Cathy Richards, ERRONIKA, Karol Dąbrowski, Lethern, MTM, Rafalsky1313,
Vatzec, Wikimi-dhiann, Yusek, 10 anonimowych edycji

Licencja

Creative Commons Attribution-Share Alike 3.0 Unported
//creativecommons.org/licenses/by-sa/3.0/


Document Outline


Wyszukiwarka

Podobne podstrony:
Logika i teoria mnogości Wstęp do logiki
wstep do logiki i teorii mnogosci
Wstęp do logiki klasycznej, Filozofia, @Filozofia, PhilloZ, Logika
Logika i teoria mnogości, podstawy logiki teorii mnogosci
Logika i teoria mnogości litm01
Logika i teoria mnogości litm03
Logika i teoria mnogości litm02e
Logika i teoria mnogości litm06e
Logika i teoria mnogości litm10e
Logika i teoria mnogości litm05e
Logika i teoria mnogości okładka
Logika i teoria mnogości litm04e
application assets Notes 2344 1051 1 wstep do logiki
Logika i teoria mnogości litm08e
Logika i teoria mnogości litm06
Logika i teoria mnogości litm08
Logika i teoria mnogości litm07e
Logika i teoria mnogości litm07

więcej podobnych podstron