(3609) notacja logiczna, Budownictwo-studia, Matematyka


Notacja logiczna

Termin zdanie oznacza w logice zdanie orzekające, któremu można jednoznacznie przyporządkować ocenę prawdy lub fałszu. Zdania oznaczamy małymi literami alfabetu: p,q,r, itp.

O zdaniu prawdziwym p mówimy, że ma wartość logiczną 1 (p=1), zaś o zdaniu fałszywym p, że ma wartość logiczną 0 (p=0).

Logikę, w której rozpatruje się dokładnie dwie wartości logiczne: prawda (1) i fałsz (0), nazywamy logiką dwuwartościową (dwuargumentową).

Przykład 1.1. Polska leży w Europie. - zdanie logiczne prawdziwe,

Niemcy leżą w Azji. - zdanie logiczne fałszywe,

Warszawa jest najładniejszym miastem świata. - przykład wypowiedzi, która

jest zdaniem w sensie gramatycznym, ale nie jest zdaniem w sensie logicznym.

DEFINICJA. Zdanie „nieprawda, że p” nazywamy zaprzeczeniem (negacją) zdania p i zapisujemy ~p.

Przykład 1.2. Jeśli p oznacza zdanie Polska leży w Europie, to ~p oznacza zdanie Nieprawda, że Polska leży w Europie.

Wartość logiczna zdania ~p określona jest w logice następująco: ~p=1, gdy p=0 oraz ~p=0, gdy p=1 (patrz tabela 1.1).

DEFINICJA. Zdanie „p i q” nazywamy koniunkcją zdań p oraz q i zapisujemy pq.

Przykład 1.3. Jeśli p oznacza zdanie Polska leży w Europie, zaś q oznacza zdanie Niemcy leżą w Europie, to pq oznacza zdanie Polska leży w Europie i Niemcy leżą w Europie, czyli zdanie Polska i Niemcy leżą w Europie.

Wartość logiczna zdania pq określona jest w logice następująco: (pq)=1, gdy p=1 i q=1, natomiast (pq)=0 w pozostałych trzech przypadkach (patrz tabela 1.1).

DEFINICJA. Zdanie „p lub q” nazywamy alternatywą zdań p oraz q i zapisujemy pq.

Przykład 1.4. Jeśli p oznacza zdanie Polska leży w Europie, zaś q oznacza zdanie Polska leży w Azji (zdanie fałszywe!), to pq oznacza zdanie Polska leży w Europie lub Polska leży w Azji, czyli zdanie Polska leży w Europie lub w Azji.

Wartość logiczna zdania pq określona jest w logice następująco: (pq)=0, gdy p=0 i q=0, natomiast (pq)=1 w pozostałych trzech przypadkach (patrz tabela 1.1).

Alternatywę utworzoną ze zdań p oraz q za pomocą spójnika lub (symbol ∨) należy odróżnić od tzw. alternatywy wykluczającejp albo q”, którą zapisujemy jako p0x01 graphic
q.

Wartość logiczna zdania p0x01 graphic
q określona jest w logice następująco: zdanie p0x01 graphic
q uznajemy za prawdziwe, gdy p oraz q mają różne wartości logiczne, zaś za fałszywe, gdy wartości logiczne zdań p oraz q są jednakowe (patrz tabela 1.1).

DEFINICJA. Zdanie „jeżeli p, to q” nazywamy implikacją zdań o poprzedniku p oraz następniku q i zapisujemy pq.

Przykład 1.5. Jeśli p oznacza zdanie Polska leży w Europie, zaś q oznacza zdanie Stolica Polski leży w Europie, to pq oznacza zdanie Jeśli Polska leży w Europie, to stolica Polski leży w Europie.

Wartość logiczna zdania pq określona jest w logice następująco: (pq)=0, gdy p=1 oraz q=0, natomiast (pq)=1 w pozostałych trzech przypadkach (patrz tabela 1.1).

Zdanie pq często zamiast czytać „jeżeli p, to q” czytamy „p implikuje q”, „z p wynika q”, „p jest warunkiem wystarczającym (dostatecznym) dla q” lub „q jest warunkiem koniecznym dla p”. Zdanie p nazywamy założeniem, zaś q tezą twierdzenia.

DEFINICJA. Zdanie „p wtedy i tylko wtedy, gdy q” nazywamy równoważnością zdań p oraz q i zapisujemy pq.

Przykład 1.6. Wyrażenie x<y ⇔ x-y<0 jest przykładem równoważności zdań.

Wartość logiczna zdań pq określona jest w logice następująco: (pq)=1, gdy p oraz q mają tę samą wartość logiczną, natomiast (pq)=0, gdy p oraz q mają różne wartości logiczne (patrz tabela 1.1).

Jeżeli zdania pq jest prawdziwe, to mówimy, że zdania p oraz q są równoważne.

Tabela wartości logicznych ma następująca postać:

p

q

~p

pq

pq

p0x01 graphic
q

pq

pq

0

0

1

0

0

0

1

1

0

1

1

0

1

1

1

0

1

0

0

0

1

1

0

0

1

1

0

1

1

0

1

1

Tabela 1.1. Tabela wartości logicznych

DEFINICJA. Prawo rachunku zdań (tautologia) to taka formuła (wyrażenie) tego rachunku, która staje się zdaniem prawdziwym, jeśli w miejsce każdej występującej w tej formule zmiennej zdaniowej podstawimy dowolne zdanie.

Przykład 1.7. Badamy metodą zero-jedynkową, czy wyrażenie (pq) ⇒ (pq) jest tautologią.

p

q

pq

pq

(pq)⇒(pq)

0

0

0

0

1

0

1

0

1

1

1

0

0

1

1

1

1

1

1

1

Ponieważ w ostatniej kolumnie znajdują się same wartości 1 (odpowiadające prawdzie), więc powyższe wyrażenie jest tautologią.

Przegląd najważniejszych tautologii.

(dwie ostatnie tautologie zwane są prawami de Morgana), (1.1)

Symbol 0x01 graphic
nazywamy kwantyfikatorem dużym (ogólnym) i czytamy „dla każdego x”, natomiast symbol 0x01 graphic
nazywamy kwantyfikatorem małym (szczegółowym) i czytamy „istnieje x”.

Kwantyfikatory to zwroty, którymi posługujemy się w matematyce przy formułowaniu zdań orzekających.

Przykład 1.8. 0x01 graphic
x-x=0, 0x01 graphic
x2=1.



Wyszukiwarka

Podobne podstrony:
matematyczne, Budownictwo-studia, Matematyka
Wyklad5AM1 2001, Budownictwo-studia, Matematyka
(848) logika, Budownictwo-studia, Matematyka
WYKLAD 13 ekstrema warunkowe, Budownictwo-studia, Matematyka
Kl2l1(2), Budownictwo-studia, Matematyka
(5170) pochodna funkcji, Budownictwo-studia, Matematyka
w2z 2004, Budownictwo-studia, Matematyka
matma zadania, Budownictwo-studia, Matematyka
(3607) zbiory liczbowe, Budownictwo-studia, Matematyka
w1i2-rol-08, Budownictwo-studia, Matematyka
Wahadło matematyczne, budownictwo studia, fizyka, wahadło matematyczne
wahadlo matematyczne, budownictwo studia, fizyka, wahadło matematyczne
cw2, budownictwo studia, fizyka, wahadło matematyczne
Zadania dodatkowe z AM (5), Budownictwo studia pł, SEMESTR I, SEMESTR I, matematyka, Analiza matemat
Lista3, Budownictwo Studia, Rok 2, Statystyka Matematyczna
Statystyka - podstawowe wzory 2, Budownictwo Studia, Rok 2, Statystyka Matematyczna
wahadło rewersyjne, budownictwo studia, fizyka, wahadło matematyczne
Zagadnienia na egzamin z matematyki dla kierunku Budownictwo, STUDIA, Budownictwo UZ, Semestr I, Mat
Teoria - Wahadło matematyczne, budownictwo studia, fizyka, wahadło matematyczne

więcej podobnych podstron