Professional Documents
Culture Documents
Wieczorek-Logika Dla Opornych PDF
Wieczorek-Logika Dla Opornych PDF
Wieczorek
WSTP
Celem tego podrcznika nie jest systematyczny wykad logiki. Ksiek takich jest ju
wystarczajco duo, wic osoba gbiej zainteresowana tym przedmiotem na pewno nie
bdzie miaa kopotu ze znalezieniem czego odpowiedniego dla siebie. Niniejsza pozycja
przeznaczona jest przede wszystkim dla tych, ktrzy pobienie zetknwszy si z logik, na
przykad jako z przedmiotem wykadanym podczas krtkiego kursu na wyszej uczelni, z
przeraeniem stwierdzili, e nic z tego nie rozumiej. Przywieca mi cel pokazania takim
osobom, e wbrew pozorom logika wcale nie jest taka trudna, jak by si to mogo pocztkowo
wydawa, a jej nauka nie musi przypomina drogi przez mk.
Wikszo tradycyjnych podrcznikw logiki najeona jest technicznymi terminami,
sucho brzmicymi definicjami i twierdzeniami oraz skomplikowanymi wzorami. Brakuje im
natomiast przykadw ilustrujcych zawarty materia teoretyczny i wyjaniajcych bardziej
zoone zagadnienia w sposb zrozumiay dla osb uwaajcych si za humanistw, a nie
cisowcw. Sytuacja ta sprawia, e po zapoznaniu si z treci takiego podrcznika lub po
wysuchaniu wykadu opracowanego na jego podstawie, adept logiki ma trudnoci z
rozwizaniem nawet bardzo prostych zda umieszczanych na kocach rozdziaw lub w
specjalnych zbiorach wicze z logiki. Taki stan rzeczy przyprawia o mdoci i bl gowy
zarwno wielu wykadowcw logiki zrozpaczonych rzekom cakowit niezdolnoci do
poprawnego mylenia okazywan przez ich studentw, jak i tych ostatnich, zmuszonych do
zaliczenia przedmiotu, z ktrego niemal nic nie rozumiej.
Dowiadczenie zdobyte przeze mnie podczas lat nauczania logiki na rnych kierunkach
uniwersyteckich wskazuje jednake, i najczciej nieumiejtno rozwizywania zada z
logiki nie jest wynikiem jakichkolwiek brakw umysowych studentw ani nawet ich
lenistwa, ale po prostu przeraeniem wywoywanym przez gszcz niezrozumiaych dla nich
wzorw, twierdze i definicji. Panika ta widoczna jest szczeglnie u osb obdarzonych
bardziej humanistycznym typem umysowoci, alergicznie reagujcych na wszystko, co
kojarzy im si z matematyk.
Mona oczywicie ubolewa nad tym, e tak wielu modych ludzi nie chce pokona w
sobie uprzedze do logiki i zmusza ich dla ich dobra do przyswajania tej wiedzy w
tradycyjnej formie. Czy ma to jednak wikszy sens? Da si oczywicie sprawi, e ucze
powici tydzie czasu przed egzaminem (czsto wspomagajc si przy tym rnego rodzaju
chemicznymi rodkami dopingujcymi) na pamiciowe wykucie kilkudziesiciu twierdze i
praw, a nastpnie nauczy si ich mechanicznego stosowania. Nie zmieni to jednak faktu, i
student taki w dalszym cigu nie bdzie rozumia istoty tego, co robi, ani jaki jest waciwie
cel wykonywanych przez niego operacji.
yjemy obecnie w czasach, w ktrych liczy si przede wszystkim szybko i
skuteczno dziaania. Wikszo ludzi nie ma czasu na zgbiane teoretycznych podstaw
jakiej dziedziny interesuj ich przede wszystkim praktyczne umiejtnoci, sposb w jaki
teoria przejawia si w praktyce. Przykadowo uytkownik komputera nie musi zna zasad
jego budowy ani jzykw pisania programw. Wystarczy mu, e potrafi kopiowa pliki na
dyskietk, wczy kilka ulubionych programw, wie, co zrobi, gdy komputer si zawiesi, a
w razie wikszych komplikacji ma telefon do kogo, kto zna si na tym lepiej. Rwnie uczc
si obsugi potrzebnych programw, przecitny czowiek nie musi korzysta ze
specjalistycznych ksiek dla informatykw wyjaniajcych wszelkie moliwe szczegy
techniczne. Wystarczy, e signie on do popularnego podrcznika z serii dla opornych.
Ksiki takie wiele spraw znacznie upraszczaj, wiele trudnych problemw pomijaj,
ograniczajc si do tego, co najwaniejsze. Jeeli jednak co mona uatwi, przedstawi w
sposb zrozumiay, nawet kosztem pewnej trywializacji, to dlaczego tego nie zrobi? Nie
wszystko co wane, musi by od razu trudne i opisane technicznym jzykiem.
Z podobnym nastawieniem pisana jest niniejsza ksika. Wiele spraw jest w niej
uproszczonych. Staraem si posugiwa zrozumiaym jzykiem, unikajc gdzie tylko si da
technicznego argonu. Moe to sprawi, e przedstawiona w ten sposb logika wyda si
komu nadmiernie spycona. By moe jest tak faktycznie, jednak, podkrelam to raz jeszcze,
celem tego podrcznika nie jest systematyczny wykad logiki, ale przede wszystkim pomoc w
opanowaniu tego przedmiotu dla tych, ktrym wydaje si on niemal cakowicie
niezrozumiay. Gdy stwierdz oni, e logika nie jest wcale tak trudna, jak im si to
pocztkowo wydawao, sign oni by moe po podrcznik gbiej traktujcy temat.
Jednoczenie ksika ta moe sta si zacht do zainteresowania si logik przez
osoby, ktre nigdy si z tym przedmiotem nie zetkny. Korzystajc z zawartych tu
przykadw, czytajc odpowiedzi na pytania zwykle zadawane przez pocztkujcych, widzc
czsto popeniane bdy, mog one przyswoi sobie podstawy logiki samodzielnie, bez
pomocy nauczyciela.
Semestralny kurs logiki na wielu uniwersyteckich kierunkach trwa zwykle 60 godzin
lekcyjnych. Jednake zdarzaj si kursy ograniczone do 30, 15, a nawet 10 godzin. W takim
czasie doprawdy trudno jest nauczy kogo logiki. Mona co najwyej pokaza zarys tego
przedmiotu. Studentom uczestniczcym w takich, z rnych wzgldw skrconych, kursach,
3
powodowa u nikogo wikszego niepokoju. Nic bowiem tak nie uczy, jak zrobienie bdu,
dostrzeenie go i nastpnie poprawienie. Tak wic w duszej perspektywie popenianie
bdw w pocztkowej fazie nauki jest nawet korzystne.
Z uwagi na to, e ksika ta skada si przede wszystkim z przykadw, moe ona
posuy jako swojego rodzaju zbir zda z logiki. Osoby lepiej znajce ten przedmiot nie
musz czyta drobiazgowych omwie poszczeglnych wicze, i mog od razu przystpi
do ich samodzielnego rozwizania. Objanienia mog si im przyda w sytuacjach, gdyby
okazao si, e otrzymay w ktrym miejscu nieprawidowy wynik.
W niektrych miejscach tekstu tustym drukiem wyrnione zostay pojcia szczeglne
istotne w nauce logiki. Znaczenie tych poj powiniene sobie przyswoi i dobrze
zapamita. Definicje tych wyrae i czasem dotyczce ich wyjanienia zawarte s rwnie w
znajdujcym si na kocu ksiki sowniczku.
Rozdzia I
KLASYCZNY RACHUNEK ZDA.
Klasyczny rachunek zda (w skrcie KRZ) jest jednym z najprostszych systemw logiki
formalnej. W praktyce moe on suy do sprawdzania poprawnoci wnioskowa, czyli
takich procesw mylowych, podczas ktrych na podstawie uznania za prawdziwe jednych
zda (przesanek) dochodzimy do uznania kolejnego zdania (wniosku). Dziki znajomoci
KRZ kady moe si atwo przekona, e na przykad z takich przesanek jak: Jeli na
imprezie by Zdzisiek i Wacek, to impreza si nie udaa oraz Impreza udaa si mona
wywnioskowa i: Na imprezie nie byo Zdzika lub Wacka. Posugujc si metodami KRZ
mona rwnie stwierdzi, i nie rozumuje poprawne ten, kto z przesanek: Jeli Wacek
dosta wypat to jest w barze lub u Zdzika oraz Wacek jest w barze dochodzi do konkluzji:
Wacek dosta wypat.
czynnoci,
jak
naley
przewiczy
Uwaga na bdy!
zdaniem implikacyjnym lub po prostu implikacj; zdanie Ryszard wykaza si duym sprytem
lub po prostu dopisao mu szczcie nazywamy alternatyw, itd.
p (q r),
natomiast nieprawidowe:
p (q r) .
Uwaga na bdy!
DO ZAPAMITANIA:
Ponisza tabelka pokazuje podstawowe znaczenia spjnikw logicznych
oraz prawidowy sposb, w jaki wystpuj one w schematach.
pq
p (~ q r)
Alternatywa
lub
pq
(p q) (r ~ s)
Implikacja
jeli... to
pq
(p q) ~ r
Rwnowano
pq
(p ~ q) (~ r ~ s)
Przykad:
p
Przykad:
p
Uwaga na bdy!
10
Przykad:
Wiesaw zostanie ministrem kultury lub przemysu cikiego.
W zdaniu tym wyraenie przemysu cikiego, to oczywicie skrt zdania Wiesaw
zostanie ministrem przemysu cikiego i w taki sposb naley je traktowa. Tak wic
poprawny schemat zdania wyglda:
pq
p Wiesaw zostanie ministrem kultury, q Wiesaw zostanie ministrem przemysu
cikiego.
Uwaga na bdy!
11
wtedy. Zwroty te s jednak rzadko spotykane nie uywa ich raczej nikt inny poza
matematykami i logikami.
Przykad:
Zygmunt jest filozofem a Grzegorz biznesmenem.
pq
p Zygmunt jest filozofem, q Grzegorz jest biznesmenem.
Przykad:
Jzef nie przyszed na zebranie.
~p
p Jzef przyszed na zebranie.
Przykad:
Albo Antoni jest lepy, albo zakochany.
pq
p Antoni jest lepy, q Antoni jest zakochany.
Zauwamy, e pomimo dwukrotnego pojawienia si sowa albo mamy tu do czynienia
tylko z jedn alternatyw. Zapis p q nie mgby si pojawi nie jest on poprawnym
wyraeniem rachunku zda.
DO ZAPAMITANIA.
Ponisza tabelka pomoe utrwali sobie znaczenia i symbole
poszczeglnych spjnikw logicznych.
Inne odpowiedniki
Negacja
nieprawda, e
Koniunkcja
Alternatywa
lub
albo... albo; bd
12
Implikacja
jeli... to....
Rwnowano
Przykad:
Stefan i Krystyna s maestwem.
W zdaniu tym wystpuje wyraenie i, ale nie czy ono zda. Stefan w tym wypadku
nie jest zdaniem, ani te jego skrtem. Gdyby kto potraktowa Stefan jako skrt zdania,
otrzymaby bezsensowne wyraenie: Stefan jest maestwem. Tak wic Stefan i Krystyna s
maestwem to zdanie proste i jego schemat to tylko samo p.
Wicej spjnikw.
Czsto w zdaniu wystpuje wicej ni jeden spjnik. W takim wypadku naley na og
skorzysta z nawiasw. Nawiasy wskazuj, ktre zdania w sposb naturalny cz si ze sob
bliej, tworzc swego rodzaju cao. Jednoczenie nawiasy pokazuj, ktry ze spjnikw
peni rol tak zwanego spjnika gwnego, czyli tego, ktry niejako spina cae zdanie, czy
ostatecznie wszystkie jego czci. W kadym zdaniu zoonym musi by taki spjnik.
Przykad:
Jeeli przeczytam podrcznik lub bd chodzi na wykady, to bez trudu zdam egzamin.
Prawidowy schemat tego zdania to:
(p q) r
Nawiasy pokazuj, e zdania oznaczone zmiennymi p oraz q tworz pewn cao i
dopiero wzite razem stanowi poprzednik implikacji. Implikacja peni w tym schemacie rol
spjnika gwnego czy ona wyraenie w nawiasie oraz zmienn r.
Gdyby kto postawi nawiasy w zym miejscu i gwnym spjnikiem uczyni
alternatyw, czyli schemat wygldaby: p (q r), to byby to schemat nastpujcego
zdania: Przeczytam podrcznik lub jeli bd chodzi na wykady, to bez trudu zdam egzamin,
a wic innego, ni to, ktrego schemat mielimy napisa.
13
Przykad:
Nieprawda, e jeli dopadn drania, to od razu si z nim policz.
Prawidowy schemat to: ~ (p q)
Nawiasy s konieczne, aby pokaza, i negacja jest tu spjnikiem gwnym i odnosi si
do caej implikacji jeli dopadn drania, to od razu si z nim policz. Pozostawienie schematu
bez nawiasw: ~ p q, wskazywao by, e negacja odnosi si tylko do prostego zdania p
(gwnym spjnikiem staaby si wtedy implikacja), a wic byby to schemat zdania jeli nie
dopadn drania, to od razu si z nim policz.
Przykad:
Jeeli skocz studia to albo wyjad za granic, albo zostan bezrobotnym.
Schemat tego zdania to: p (q r)
Tre tego zdania wyranie wskazuje, e gwnym spjnikiem jest w nim implikacja.
Alternatywa zostaa oddana przy pomocy zwrotu albo...albo.
Zauwamy, e gdyby zostao uyte sowo lub, mogyby powsta wtpliwoci, jaki
spjnik peni rol gwnego; wypowiadajc zdanie Jeeli skocz studia to wyjad za granic
lub zostan bezrobotnym kto mg mie bowiem na myli alternatyw: istniej dwie
moliwoci (1) wyjazdu za granic w przypadku ukoczenia studiw lub (2) zostania
bezrobotnym (w domyle w przypadku nie ukoczenia studiw). Wtedy schemat
wygldaby (p q) r.
Uwaga na bdy!
14
UWAGA!
Autorzy niektrych podrcznikw wprowadzaj rne konwencje pozwalajce pomija
nawiasy. Zasady te stwierdzaj na przykad, e zasig implikacji jest wikszy od zasigu
koniunkcji, a wic schemat p q r naley domylnie potraktowa, tak jakby wyglda on
p (q r). Poniewa jednak nie wszyscy takie konwencje stosuj, nie bdziemy ich tu
wprowadza. Jedynym wyjtkiem jest stosowana dotd bez wyjanienia, jednake intuicyjnie
oczywista zasada dotyczca negacji, mwica e jeli nie ma nawiasw, to negacja odnosi si
tylko do zmiennej, przed ktr si znajduje. Na przykad w wyraeniu ~ p q zanegowane
jest tylko zdanie p; nie ma zatem potrzeby zapisywania schematu w formie: ~ (p) q, cho
nie byoby to bdem.
Przykad:
Jeeli spotkam Wojtka, to o ile nie bdzie zbyt pno, to skoczymy na mae piwo.
W powyszym zdaniu mamy dwie implikacje (oddane przez jeeli oraz o ile),
czce trzy zdania (w tym jedno zanegowane): p ~ q r. W schemacie takim musimy
jednak przy pomocy nawiasw okreli, ktra z implikacji stanowi gwny spjnik zdania
czy schemat ma wyglda: (p ~ q) r, czy te p (~ q r). Aby ten problem rozwiza
przyjrzyjmy si bliej naszemu zdaniu mwi ono, co si wydarzy, jeli spotkam Wojtka, a
wic poprzednikiem gwnej implikacji jest zdanie proste. Natomiast nastpnikiem
sformuowanego w tym zdaniu warunku jest pewna implikacja o ile nie bdzie zbyt pno,
skoczymy na mae piwo. Tak wic mamy do czynienia z implikacj prowadzc od zdania
prostego do kolejnej implikacji, czyli prawidowy jest schemat:
p (~ q r)
To, e ten wanie schemat jest waciwy, nie dla wszystkich moe od razu by jasne.
Jeli kto nie jest o tym przekonany, niech sprbuje wypowiedzie zdanie oparte na
schemacie (p ~ q) r, wstawiajc odpowiednie zdania proste za zmienne. Wyszoby
wtedy co w rodzaju: jeeli jeli spotkam Wojtka to nie bdzie zbyt pno, to skoczymy na
mae piwo.
15
Wicej nawiasw.
Czasem w zdaniu musi wystpowa wiksza ilo nawiasw. Wskazuj one niejako
hierarchi wyrae.
Przykad:
Nie jest prawd, e jeli skocz studia i prestiowy kurs jzykowy to znajd dobrze
patn prac.
Poprawny schemat tego zdania to: ~ [(p q) r]
Nawias kwadratowy wskazuje, e negacja odnosi si do caego zdania zoonego i peni
rol spjnika gwnego. Natomiast nawias okrgy pokazuje, i zdania p oraz q dopiero
wzite razem stanowi poprzednik implikacji.
Uwaga na bdy!
Przykad:
Jeeli wybory wygra lewica to znw wzrosn podatki i spadnie tempo rozwoju
gospodarczego, ale jeli wygra prawica lub tak zwana centroprawica, to powstanie bardzo
saby rzd i albo bdziemy przez cztery lata wiadkami gorszcych skandali, albo za rok bd
nowe wybory.
Schemat tego zdania to: [p (q r)] {(s t) [ u (w z)]}
Gwnym spjnikiem zdania jest koniunkcja oddana przy pomocy sowa ale.
Napisanie schematu pierwszego czonu koniunkcji nie powinno sprawi nikomu wikszych
16
Przykad:
Jeli Tadeusz zdy na autobus, to przyjdzie, lub gdyby nie zdy na autobus, to
przeoymy nasze spotkanie.
(p q) (~ p r)
p Tadeusz zdy na autobus, q Tadeusz przyjdzie, r przeoymy nasze spotkanie.
Przykad:
Populski przegra wybory, jeli bdzie uczciwy wobec konkurentw i nie bdzie obiecywa
gruszek na wierzbie.
Wprawdzie w zdaniu tym Populski przegra wybory pojawia si na samym pocztku, jest
to jednak ewidentnie nastpnik implikacji. Prawidowy schemat zatem wyglda nastpujco:
(p ~ q) r
p Populski bdzie uczciwy wobec konkurentw, q Populski bdzie obiecywa gruszki
na wierzbie, r Populski przegra wybory.
17
Warto zapamita!
Wtpliwoci, co w danym przypadku jest poprzednikiem a co
nastpnikiem, rozwia moe uyteczna wskazwka, e poprzednikiem jest
kadorazowo to, co znajduje si bezporednio po sowie jeli (jeeli, o ile,
gdy itp.). Nastpnik natomiast moe znajdowa si albo po poprzedniku
oddzielony sowem to, albo na samym pocztku zdania, gdy to nie jest obecne.
18
Czy bdem jest uproszczenie sobie schematu poprzez pominicie jakiego spjnika?
Na przykad zapisanie schematu zdania Jeli spotkam Wojtka lub Mateusza, to pjdziemy
na piwo, jako p q, gdzie p zostanie potraktowane jako spotkam Wojtka lub Mateusza,
zamiast (p q) r?
Nie jest to bd w cisym tego sowa znaczeniu. Czasem faktycznie, z rnych
wzgldw, pisze si takie uproszczone schematy. Tym niemniej na og, gdy w zadaniu
naley napisa schemat zdania, rozumiany jest pod tym pojciem tak zwany schemat gwny,
czyli zawierajcy wszystkie spjniki moliwe do wyrnienia w zdaniu. Tak wic zapisanie
schematu uproszczonego moe zosta potraktowane jako bd.
19
prostego
zapisujemy
zwykle
pod
(lub
nad)
Koniunkcja
p
20
Alternatywa
Tabelka dla alternatywy pokazuje, i jest ona zdaniem faszywym tylko w jednym
przypadku gdy oba jej czony s faszywe. Gdy przynajmniej jeden czon jest zdaniem
prawdziwym prawdziwa jest rwnie caa alternatywa.
Gdy w prognozie pogody syszymy, e bdzie pada deszcz lub nieg, tymczasem
nastpnego dnia nie bdzie ani deszczu, ani niegu (czyli oba czony alternatywy oka si
zdaniami faszywymi), to ca prognoz naley uzna za faszyw. Gdy jednak spadnie sam
deszcz (pierwszy czon prawdziwy), sam nieg (drugi czon prawdziwy), lub te i nieg i
deszcz (oba czony alternatywy prawdziwe), zdanie mwice e bdzie pada deszcz lub nieg
okazuje si prawdziwe.
Uwaga na marginesie.
Jeeli kto ma wtpliwoci co do ostatniego wiersza tabelki dla alternatywy, to s to wtpliwoci
cakowicie uzasadnione. Tabelka ta ilustruje bowiem tylko jedno ze znacze, w jakim alternatywa jest uywana.
Znaczenie to mona opisa zwrotem przynajmniej jedno z dwojga; czy te jedno lub drugie lub oba naraz jest
to tak zwana alternatywa nierozczna. W jzyku potocznym alternatywy uywamy te czsto w znaczeniu
dokadnie jedno z dwojga; albo tylko jedno, albo tylko drugie (alternatywa rozczna). W takim rozumieniu
21
alternatywy w ostatnim wierszu tabelki powinno pojawi si zero. W niektrych systemach logicznych oba
znaczenia alternatywy s starannie rozrniane (jest to szczeglne istotne dla prawnikw) i oddawane przy
pomocy rnych symboli (najczciej dla alternatywy rozcznej).
Implikacja
p
Z tabelki dla implikacji moemy dowiedzie si, e zdanie, ktrego gwnym spjnikiem
jest jeli... to moe by faszywe tylko w jednym wypadku, mianowicie, gdy jego poprzednik
jest prawdziwy, natomiast nastpnik faszywy.
Jako przykadem ilustrujcym tabelk dla implikacji posuymy si zdaniem
wypowiedzianym przez ojca do dziecka: Jeli zdasz egzamin, to dostaniesz komputer. Gdy
nastpnie dziecko nie zdaje egzaminu i komputera nie dostaje (pierwszy wiersz tabeli
poprzednik i nastpnik implikacji faszywe) lub gdy zdaje egzamin i dostaje komputer (ostatni
wiersz tabeli poprzednik i nastpnik implikacji prawdziwe), to nie powinno by
wtpliwoci, e obietnica ojca okazaa si prawdziwa. Gdy natomiast dziecko zdaje egzamin,
a jednak komputera nie dostaje (trzeci wiersz tabeli poprzednik implikacji prawdziwy, a
nastpnik faszywy), naley wwczas uzna, e ojciec skama skadajc swoj obietnic.
Pewne kontrowersje moe budzi uznanie za prawdziwego zdania w przypadku, gdy
poprzednik implikacji jest faszywy, natomiast nastpnik prawdziwy (drugi wiersz tabeli),
czyli w naszym przykadzie, gdy dziecko wprawdzie nie zdao egzaminu, a mimo to dostao
komputer. Zauwamy jednak, e wbrew pozorom ojciec nie amie wcale w takim przypadku
obietnicy dania komputera po zdanym egzaminie nie powiedzia on bowiem, e jest to
jedyny przypadek, gdy dziecko moe otrzyma komputer. Powiedzenie, e jeli zdasz
egzamin, to dostaniesz komputer, nie wyklucza wcale, e dziecko moe rwnie dosta
komputer z innej okazji, na przykad na urodziny.
Powysze wytumaczenie drugiego wiersza tabelki dla implikacji moe si wydawa
nieco nacigane, a jest tak dlatego, e w jzyku potocznym czsto wypowiadamy zdania typu
jeli... to rozumiejc przez nie wtedy i tylko wtedy (ktrego to zwrotu nikt raczej nie uywa).
22
Jak za chwil zobaczymy, tabelka dla rwnowanoci rni si od tabelki implikacji tylko
tym jednym kontrowersyjnym przypadkiem.
Rwnowano
p
DO ZAPAMITANIA:
Obecnie,
dla
utrwalenia,
tabelki
dla
wszystkich
spjnikw
0 0
0 1
1 0
1 1
23
Przykad:
Obliczymy warto logiczn zdania p (q r) przy zaoeniu, e zmienne p i q
reprezentuj zdanie prawdziwe, natomiast zmienna r zdanie faszywe, a wic zachodzi
sytuacja:
p (q r)
1
1 0
Warto logiczn caego zdania reprezentowa bdzie symbol umieszczony pod
gwnym spjnikiem schematu, a wic pod implikacj. Aby okreli warto implikacji
musimy zna warto jej poprzednika i nastpnika. Poprzednikiem implikacji jest tu zdanie
proste p i jego warto mamy ju podan. Natomiast nastpnikiem jest tu cae ujte w nawias
wyraenie (p q), ktrego warto musimy dopiero obliczy. Robimy to korzystajc z tabelki
dla koniunkcji, a dokadniej jej wiersza mwicego, e gdy pierwszy czon koniunkcji jest
prawdziwy, a drugi faszywy, to caa koniunkcja jest faszywa. Mamy zatem sytuacj:
p (q r)
1
1 00
(symbole podkrelone pokazuj wartoci, z ktrych skorzystalimy do oblicze)
W tym momencie moemy ju okreli warto logiczn caego zdania, sprawdzajc w
tabelce jak warto przyjmuje implikacja, ktrej poprzednik jest prawdziwy, a nastpnik
faszywy.
p (q r)
1 0 10 0
Ostatecznie widzimy, e cae zdanie jest faszywe, poniewa pod gwnym spjnikiem
otrzymalimy warto 0.
24
Uwaga na bdy!
LE!!!
Przykad:
Obliczymy teraz warto logiczn zdania (p q) ~ r, przy zaoeniach: p 1, q 0, r
0, a wic:
(p q) ~ r
1
0
0
W tym przypadku gwnym spjnikiem jest alternatywa. Oba jej czony stanowi zdania
zoone (p q oraz ~ r), ktrych wartoci naley obliczy najpierw. Korzystamy do tego z
tabelek dla implikacji oraz dla negacji.
(p q) ~ r
1 0 0
0
(p q) ~ r
1 0 0
10
Gdy znamy wartoci logiczne obu czonw alternatywy, moemy obliczy ostateczny
wynik. Czynimy to korzystajc z tabelki dla alternatywy i biorc pod uwag wartoci
otrzymane pod implikacj oraz negacj, czyli gwnymi spjnikami obu czonw alternatywy.
(p q) ~ r
1 0 0 110
25
Przykad:
Obliczymy warto logiczn zdania: ~ (p q) (~ r ~ s) przy zaoeniach: p 1, q
0, r 1, s 0, a wic:
~ (p q) (~ r ~ s)
1 0
1
0
Gwnym spjnikiem jest tu oczywicie rwnowano. Obliczanie wartoci jej stron
rozpocz musimy od obliczenia wartoci koniunkcji w pierwszym nawiasie oraz negacji
zda prostych w drugim.
~ (p q) (~ r ~ s)
1
0
1 0 0
~ (p q) (~ r ~ s)
1 0 0
01
10
Nastpnie moemy okreli warto implikacji w drugim nawiasie, biorc pod uwag
wartoci otrzymane pod negacj r oraz negacj s (poniewa poprzednikiem i nastpnikiem
implikacji s zdania zoone ~ r i ~ s):
~ (p q) (~ r ~ s)
1 0 0
011 10
W tym momencie nie moemy jeszcze przystpi do okrelenia wartoci logicznej
rwnowanoci, poniewa nie zostaa obliczona do koca warto jej lewej strony. Pierwszy
czon rwnowanoci to bowiem nie sama koniunkcja (p q), ale dopiero negacja tej
koniunkcji. Negacja jest tu gwnym spjnikiem (dopiero ona spina koniunkcj w cao),
musimy wic najpierw obliczy warto negacji:
~ (p q) (~ r ~ s)
011 10
1 1 0 0
Dopiero teraz moemy okreli warto caego zdania:
~ (p q) (~ r ~ s)
1 1 0 0 1 011 10
Uwaga na bdy!
26
poniewa negacja jest jego gwnym spjnikiem) bierzemy pod uwag gwny
spjnik wyraenia w nawiasie, a wic:
~ (p q)
1 10 0
DOBRZE
a nie:
~ (p q)
0 10 0
LE!!!
Przykad:
Obliczymy warto formuy [(p ~ q) ~ r] ~ (~ s z) przy zaoeniu, e zdania
reprezentowane przez wszystkie zmienne s prawdziwe, a zatem:
[(p ~ q) ~ r] ~ (~ s z)
1
1
1
1
1
W schemacie powyszym gwnym spjnikiem jest koniunkcja czca zdanie w
nawiasie kwadratowym z zanegowanym zdaniem w nawiasie okrgym. W pierwszym kroku
musimy obliczy warto negacji zda prostych:
[(p ~ q) ~ r] ~ (~ s z)
1
01 01
01
1
Teraz moemy obliczy warto logiczn rwnowanoci i implikacji w okrgych
nawiasach:
[(p ~ q) ~ r] ~ (~ s z)
1 0 01 01
011 1
W kolejnym kroku obliczamy wartoci logiczne alternatywy oraz negacji formuy w
drugim okrgym nawiasie:
[(p ~ q) ~ r] ~ (~ s z)
1 0 01 0 01 0 011 1
Poniewa znamy ju wartoci czonw gwnej koniunkcji, moemy okreli warto
logiczn caego zdania:
[(p ~ q) ~ r] ~ (~ s z)
1 0 010 01 0 0 011 1
27
28
Przykad:
Sprawdzimy wartoci logiczne formuy (p ~ q) (p q) przy wszystkich moliwych
podstawieniach zda prawdziwych i faszywych za zmienne zdaniowe. Poniewa jest to do
prosty przykad i jego rozwizanie zapewne nie sprawi nikomu kopotu, nie bdziemy jego
analizy przeprowadza krok po kroku.
(p ~ q) (p q)
00 10 0 0 1 0
00 01 0 0 1 1
11 10 0 1 0 0
10 01 0 1 1 1
Badana formua daje nam wycznie zdania faszywe, niezalenie jakie zdania
podstawimy w miejsce zmiennych. Jest to wic kontrtautologia.
Przykad:
Zbadamy obecnie w podobny sposb formu:
(~ p ~ q) (p ~ q)
1 0 1 1 0 1 0 0 10
1 0 0 0 1 0 0 0 01
0 1 1 1 0 1 1 1 10
0 1 1 0 1 1 1 0 01
29
30
powyej
metoda
badania
statusu
31
przypadku, wic nie byo by potrzeby rozwaania kolejnych. Moglibymy udzieli w 100%
pewnej odpowiedzi badana formua nie jest tautologi.
Na powyszej obserwacji opiera si wanie skrcona metoda zero-jedynkowa. Polega
ona bowiem na poszukiwaniu ju w pierwszym podejciu takich podstawie zer i jedynek dla
zmiennych zdaniowych, aby wykluczy moliwo, e formua jest tautologi. Dokadniejszy
opis metody skrconej najlepiej przedstawi jest na przykadzie.
Uwaga na bdy!
LE!!!
32
DOBRZE
33
Uwaga na bdy!
Przykad:
Sprawdzimy przy pomocy skrconej metody, czy tautologi jest formua:
(p q) (p q)
Jak zawsze w metodzie skrconej zaczynamy od sprawdzenia, czy formua moe sta si
schematem zdania faszywego, a zatem, czy pod gwnym spjnikiem moe pojawi si 0.
(p q) (p q)
0
Podobnie jak w poprzednim przykadzie mamy zero przy implikacji. Z tabelki dla tego
spjnika wiemy, e w takim przypadku prawdziwy musi by poprzednik implikacji (a wic
koniunkcja w pierwszym nawiasie), a faszywy nastpnik (implikacja w drugim nawiasie):
(p q) (p q)
0
1
0
W pierwszym nawiasie mamy prawdziw koniunkcj. Z tabelki widzimy, e taka
sytuacja moliwa jest tylko w jednym przypadku oba czony koniunkcji musz by
prawdziwe:
(p q) (p q)
111 0
0
Skoro znamy ju wartoci zmiennych p i q przepisujemy je wszdzie, gdzie te zmienne
wystpuj:
(p q) (p q)
111 0 1 0 1
Podobnie jak poprzednio, musimy teraz jeszcze sprawdzi, czy wartoci, ktre
przepisalimy w ostatnim kroku zgadzaj si z tymi, ktre wpisalimy wczeniej. W tym
34
UWAGA!
Sposb, w jaki rozwizany zosta powyszy przykad, nie jest jedynym moliwym.
Zobaczmy, jak mona to byo zrobi inaczej.
Rozpoczynamy tak samo, wpisujc 0 pod gwn implikacj, a nastpnie 1 przy jej
poprzedniku i 0 przy nastpniku:
(p q) (p q)
1
0
0
Zauwamy teraz, e wcale nie musimy zaczyna od prawdziwej koniunkcji w pierwszym
nawiasie. Rwnie w drugim nawiasie mamy bowiem tylko jedn moliwo wpisania
kombinacji zer i jedynek. Aby umieszczona tam implikacja bya faszywa, prawdziwy musi
by jej poprzednik, a faszywy nastpnik:
(p q) (p q)
1
0 1 0 0
35
Uyteczna wskazwka:
Gdy sprawdzamy, czy formua jest tautologi przy pomocy metody skrconej, nie jest
istotne, gdzie pojawi si sprzeczno. Czsto moe ona wystpi w rnych miejscach, w
zalenoci od tego, w jakiej kolejnoci wpisywalimy symbole 0 i 1 do formuy.
36
dwie lub trzy moliwoci wpisania symboli, nie wpisujemy tam chwilowo nic i przechodzimy
dalej, szukajc miejsca, gdzie jest tylko jedna moliwo.
Gdy symbol 0 lub 1 pojawi si pod jak zmienn zdaniow, przepisujemy go wszdzie
tam, gdzie dana zmienna wystpuje w formule.
Na kocu sprawdzamy, czy w naszej formule nie pojawia si przypadkiem sprzeczno
(czy wszystko jest zgodne z tabelkami, czy te nie). Jeeli sprzeczno (niezgodno z
tabelkami) ma si gdzie pojawi, to dzieje si to na og tam, gdzie w ostatnim kroku
przepisalimy wartoci zmiennych. Jeeli sprzecznoci nigdzie nie ma, to znaczy, e formua
moe okaza si schematem zdania faszywego (takie zaoenie na pocztku przyjlimy
wpisujc 0 pod gwnym spjnikiem), a wiec nie jest ona tautologi. Gdy natomiast w
formule pojawi si sprzeczno, oznacza to, e nie moe ona wygenerowa zdania faszywego
(przyjte na pocztku zaoenie nie daje si utrzyma), a zatem jest ona tautologi.
DO ZAPAMITANIA.
Jeszcze raz caa procedura w telegraficznym skrcie:
1. Zakadamy 0 pod gwnym spjnikiem.
2. Wycigamy z przyjtego zaoenia wszelkie konsekwencje,
wpisujc 0 i 1, tam gdzie istnieje tylko jedna moliwo ich
wystpienia.
3. Sprawdzamy, czy wszystko si zgadza z tabelkami (czy nie ma sprzecznoci).
4. Ogaszamy wynik wedug recepty: jest sprzeczno formua jest tautologi, nie ma
sprzecznoci formua nie jest tautologi.
Przykad:
(p q) (~ q ~ p)
37
Przykad:
Zbadamy, czy tautologi jest formua (p ~ q) (~ p q)
Gwny spjnik stanowi tu alternatywa, ktra jest faszywa tylko w jednym przypadku
gdy oba jej czony s faszywe:
(p ~ q) (~ p q)
0
0
0
W pierwszym nawiasie mamy tylko jedn moliwo: aby implikacja bya faszywa jej
poprzednik p, musi by prawdziwy, a jej nastpnik ~ q, faszywy. Z tego ostatniego
moemy od razu wpisa, e prawdziwe musi by q:
(p ~ q) (~ p q)
1 0 01 0
0
Przepisujemy otrzymane wartoci p i q do drugiego nawiasu:
38
(p ~ q) (~ p q)
1 0 01 0 1 01
To jeszcze nie koniec zadania, poniewa nie mamy wpisanej wartoci negacji p. Skoro
jednak samo p jest prawdziwe, to jego negacja musi by faszywa:
(p ~ q) (~ p q)
1 0 01 0 0101
W powyszej formule nie wystpuje nigdzie sprzeczno. Czonami koniunkcji w
drugim nawiasie s: ~ p oraz q. Negacja p jest faszywa, a q prawdziwe koniunkcja takich
zda (0 i 1) zgodnie z tabelkami musi by faszywa.
Badana formua nie jest tautologi.
Przykad:
[(p q) (r ~ p)] [p (q ~ r) ]
Gwnym spjnikiem badanej formuy jest implikacja wica wyraenia w
kwadratowych nawiasach. Aby implikacja bya faszywa, to jej poprzednik musi by
prawdziwy, a nastpnik faszywy symbole jedynki i zera wpisujemy wic pod gwnymi
spjnikami kadego z wyrae w kwadratowych nawiasach:
[(p q) (r ~ p)] [p (q ~ r) ]
1
0
0
W przypadku prawdziwej alternatywy w pierwszym nawiasie mamy trzy moliwoci,
wic na razie pomijamy to miejsce. W przypadku faszywej implikacji w drugim nawiasie
kwadratowym moemy wpisa, e prawdziwy jest jej poprzednik czyli p, a faszywy
nastpnik czyli alternatywa w nawiasie. Z tego ostatniego faktu wnioskujemy o faszywoci
obu czonw alternatywy q oraz ~ r. W takim razie prawdziwe musi by oczywicie r:
[(p q) (r ~ p)] [p (q ~ r) ]
1
0 1 0 0 001
39
Przykad:
Sprawdzimy, czy tautologi jest formua:
[(p q) (p r)] [p (q r)]
Po postawieniu zera przy gwnej implikacji otrzymujemy jedynk przy koniunkcji w
pierwszym kwadratowym nawiasie oraz zero przy implikacji w drugim nawiasie
kwadratowym. Z prawdziwoci koniunkcji wycigamy wniosek o prawdziwoci obu jej
40
Uwaga na bdy!
pq
? 1 1
pq
0 1 ?
41
Przykad:
Zbadamy, czy tautologi jest formua: ~ (p q) [~ ( p q) (p r)]
Zaczynajc od postawienia zera przy gwnym spjniku, ktrym jest tu alternatywa,
otrzymujemy faszywe obydwa czony alternatywy, czyli negacj formuy p q (bo to
stojca przed nawiasem negacja jest tu gwnym spjnikiem) oraz alternatyw w nawiasie
kwadratowym:
~ (p q) [~ ( p q) (p r)]
0
0
0
Skoro faszywa jest negacja, to prawdziwa musi by formua, do ktrej negacja si
odnosi. Natomiast z faszywoci alternatywy w nawiasie kwadratowym, wnioskujemy o
faszywoci obu jej czonw:
~ (p q) [~ ( p q) (p r)]
0
1
0 0
0
0
Znowu mamy faszyw negacj, a wic prawdziwa jest negowana przez ni formua w
nawiasie. Skoro natomiast faszywa jest alternatywa p r, to faszywe s oba jej czony.
Warto zmiennej p przepisujemy tam, gdzie zmienna ta jeszcze wystpuje:
~ (p q) [~ ( p q) (p r)]
0 0 1
0 0 01
0 000
W pierwszym nawiasie mamy do czynienia z prawdziw implikacj o faszywym
poprzedniku. W takim wypadku nic jeszcze nie wiemy o nastpniku zgodnie z tabelkami
moe by on albo faszywy albo prawdziwy. Natomiast w przypadku prawdziwej alternatywy
z faszywym pierwszym czonem mamy tylko jedn moliwo drugi czon musi by
prawdziwy. Wpisujemy wic 1 pod q i przepisujemy j tam, gdzie zmienna ta jeszcze
wystpuje:
~ (p q) [~ ( p q) (p r)]
0 0 1 1 0 0 011 0 000
W powyszej formule nie wystpuje nigdzie sprzeczno, a zatem nie jest ona tautologi.
42
Uwaga na bdy!
pq
110
pq
11?
pq
? 11
pq
001
pq
00?
pq
?00
Przykad:
Sprawdzimy, czy tautologi jest formua: {[p (q r)] (p r)} q
Po zaoeniu faszywoci caej formuy, otrzymujemy 1 przy koniunkcji w nawiasie
klamrowym i 0 przy q. Warto q oczywicie przepisujemy, tam gdzie jeszcze q si pojawia.
Z prawdziwoci koniunkcji wnioskujemy o prawdziwoci obu jej czonw:
{[p (q r)] (p r)} q
1 0
1
1
0 0
W tym momencie mogoby si wydawa, e zupenie nie wiadomo, co robi dalej.
Jednake przyjrzyjmy si bliej koniunkcji q r. Jeden z czonw tej koniunkcji jest faszywy
a zatem, zgodnie z tabelkami caa koniunkcja musi by faszywa.
{[p (q r)] (p r)} q
1 00
1
1
0 0
W tym momencie, na podstawie faktu, e prawdziwa implikacja z faszywym
nastpnikiem musi mie faszywy poprzednik, obliczamy warto zmiennej p 0, i
przepisujemy j, tam gdzie p wystpuje w alternatywie p q.
{[p (q r)] (p r)} q
0 1 00
1 01
0 0
43
WARTO ZAPAMITA.
Oto przypadki, gdzie mona obliczy warto zdania zoonego na
podstawie tylko jednego z jego czonw:
pq
00
pq
0 0
pq
11
pq
11
pq
0 1
pq
1 1
Przykad:
Sprawdzimy, czy tautologi jest formua: {[~ (p q) r] (r p)} (p q)
Pierwsze kroki s oczywiste i wygldaj nastpujco:
{[~ (p q) r] (r p)} (p q)
0
1 1
1
0
W tym miejscu mogoby si wydawa, e wszdzie mamy po kilka moliwoci wpisania
zer i jedynek. Zauwamy jednak, e znamy warto koniunkcji p q w ostatnim nawiasie,
ktra to koniunkcja wystpuje te w jeszcze jednym miejscu. Moemy wic przepisa warto
tej koniunkcji, podobnie jak przepisujemy wartoci zmiennych:
{[~ (p q) r] (r p)} (p q)
0
1
1 1
0
0
44
PRAKTYCZNA RADA:
Co zrobi, gdy utkn i wydaje si, e nigdzie nie ma jednej moliwoci wpisania zer i
jedynek? Naley wwczas sprawdzi nastpujce rzeczy:
czy przepisaem wszystkie wartoci zmiennych w inne miejsca, gdzie zmienne
wystpuj,
czy wpisaem wartoci zmiennych, gdy obliczone s wartoci ich negacji lub wartoci
negacji, gdy obliczone s wartoci zmiennych (przy negacji jest zawsze tylko jedna
moliwo),
czy wpisaem wartoci przy spjnikach dwuargumentowych, gdy znane s wartoci
obu ich czonw,
czy moliwe jest obliczenia wartoci czonu jakiego spjnika na podstawie
znajomoci wartoci drugiego czonu oraz caego zdania,
czy moliwe jest gdzie wpisanie wartoci przy spjniku na podstawie znajomoci
wartoci logicznej jednego z jego czonw,
czy mona gdzie przepisa warto caego zdania zoonego.
45
Przykad:
[p (q r)] [(q ~ r) ~ p]
Sprawdzenie, czy powysza formua moe by schematem zdania faszywego wymaga
rozpatrzenia dwch moliwoci:
1
0
0
[p (q r)] [(q ~ r) ~ p]
0
0
1
W przypadku grnym zacz naley od prawej strony. Z faszywoci implikacji
wiemy, e prawdziwy musi by jej poprzednik, czyli koniunkcja q ~ r, natomiast faszywy
nastpniki ~ p. Z prawdziwoci koniunkcji wycigamy wniosek o prawdziwoci jej
czonw. Warto logiczna zda r i p jest oczywicie odwrotna do wartoci ich negacji:
1
0 1110 0 01
[p (q r)] [(q ~ r) ~ p]
0
0
1
Po przepisaniu wartoci zmiennych do lewej strony rwnowanoci otrzymujemy:
1 1 1
0 0 11 10 0 01
[p (q r)] [(q ~ r) ~ p]
0
0
1
Pozostaje nam jeszcze obliczenie wartoci implikacji q r. Poniewa jej poprzednik
jest prawdziwy, a nastpnik faszywy, implikacja ta powinna by faszywa:
1 1 10 0 0 11 10 0 01
[p (q r)] [(q ~ r) ~ p]
0
0
1
Teraz musimy sprawdzi, czy to, co wpisalimy na kocu, nie stoi w sprzecznoci z
wartociami obliczonymi wczeniej. Faszywa implikacja q r jest jednoczenie
nastpnikiem implikacji w nawiasie kwadratowym o poprzedniku p. Otrzymujemy tu
sprzeczno, poniewa caa implikacja w kwadratowym nawiasie wysza nam prawdziwa, co
jest niemoliwe przy prawdziwym poprzedniku i faszywym nastpniku:
1 1 1 0 0 0 11 10 0 01
[p (q r)] [(q ~ r) ~ p]
0
0
1
46
Uwaga na bdy!
Przykad:
Zbadamy teraz, czy tautologi jest nastpujca formua:
[p (~ r q)] [(p ~ q) (p r)]
Tu rwnie gwnym spjnikiem jest rwnowano, ktra moe da zdanie faszywe w
dwch przypadkach:
1
0
0
[p (~ r q)] [(p ~ q) (p r)]
1
0
0
47
Przykad:
Zbadamy, czy tautologi jest formua: {[r (q s)] [(p s) r]} (~ q ~ p)
Po standardowo rozpocztym sprawdzaniu formuy otrzymujemy:
{[r (q s)] [(p s) r]} (~ q ~ p)
1 0
1 1
1
0 10 0 01
Teraz moemy obliczy warto koniunkcji q s na podstawie faszywoci jednego z jej
czonw oraz alternatywy p s na podstawie prawdziwoci p:
{[r (q s)] [(p s) r]} (~ q ~ p)
1 00
1 1 1
1
0 10 0 01
W pierwszym kwadratowym nawiasie mamy obecnie prawdziw implikacj z
faszywym nastpnikiem a zatem faszywy musi by rwnie jej poprzednik, czyli r. Po
przepisaniu wartoci r do drugiego nawiasu otrzymujemy w nim sprzeczno, wiadczc o
tym, e badana formua jest tautologi:
{[r (q s)] [(p s) r]} (~ q ~ p)
0 1 00
1 1 1 1 0 0 10 0 01
48
Moe te zdarzy si odwrotna sytuacja: sprzeczno nie pojawi si, niezalenie jakie
zdanie podstawilibymy za jak zmienn.
Przykad:
Zbadamy, czy tautologi jest formua: [(p q) r] ~ p.
Po zaoeniu 0 pod gwnym spjnikiem, niemal natychmiast otrzymujemy:
[(p q) r] ~ p
1 1
11 0 01
W obecnej sytuacji nie mamy adnych informacji pozwalajcych okreli warto zdania
oznaczanego przez q. Zauwamy jednak, e jakiekolwiek q by nie byo, na pewno w badanej
formule nie powstanie sprzeczno. W zwizku z tym moemy pod q wpisa dowoln
warto cokolwiek bowiem tam wpiszemy, wykaemy, e formua moe by schematem
zdania faszywego (nie ma w tym adnej sprzecznoci), a wic nie jest ona tautologi:
[(p q) r] ~ p
111 11 0 01
[(p q) r] ~ p
110 11 0 01
lub
Przykad:
Zbadamy, czy tautologi jest bardzo krtka formua (p q) (r s).
(p q) (r s)
1
0
0
W takiej sytuacji wszdzie mamy po trzy moliwoci. Nie powinno to jednak nikogo
szczeglnie przestraszy, cho na pocztku moe wyglda gronie. W istocie jest to sytuacja
taka sama, jaka pojawia si w ostatnim przykadzie, tyle e obecnie wystpia ju na
pocztku badania formuy i z niejako wikszym nateniem.
49
1.4.4. KONTRTAUTOLOGIE.
Jak dotd stosowalimy metod skrcon do badania, czy formua jest tautologi. Gdy
przy jej pomocy odkrywalimy, e formua tautologi nie jest, nie wiedzielimy jeszcze, czy
jest ona kontrtautologi, czy te moe by schematem zarwno zda prawdziwych, jak i
faszywych. Teraz zobaczymy, jak sprawdzi przy pomocy metody skrconej, czy formua
jest kontrtautologi.
Procedura sprawdzania, czy formua jest kontrtautologi rni si od sprawdzania
tautologicznoci jedynie wstpnym zaoeniem. Jak wiemy, kontrtautologia, to schemat
dajcy wycznie zdania faszywe. Aby zbada przy pomocy metody skrconej, czy formua
jest kontrtautologi, musimy wic sprawdzi, czy moe ona przynajmniej raz wygenerowa
zdanie prawdziwe. W praktyce wyglda to tak, e stawiamy 1 przy gwnym spjniku zdania
i znanymi ju sposobami wycigamy z tego wszelkie konsekwencje. Jeli okae si na kocu,
e otrzymalimy sprzeczno, bdzie to wiadczyo, e formua nie moe by schematem
zdania prawdziwego, a zatem jest kontrtautologi. Brak sprzecznoci pokae, e formua
przynajmniej raz moe wygenerowa zdanie prawdziwe, a wic nie jest kontrtautologi.
Przykad:
Zbadamy, czy kontrtautologi jest formua: ~ [(~ p q) (q p)].
Poniewa gwnym spjnikiem badanego schematu jest negacja, musimy sprawdzi, czy
istnieje moliwo, aby przy negacji tej pojawia si warto 1.
50
~ [(~ p q) (q p)]
1
W kolejnych krokach wycigamy wszelkie konsekwencje z przyjtego zaoenia. Jeeli
negacja ma by prawdziwa, to cae zdanie, do ktrego si ona odnosi (czyli alternatywa w
kwadratowym nawiasie) musi by faszywe. Jeli faszywa jest alternatywa, to faszywe
musz by oba jej czony (zdania w nawiasach okrgych). Otrzymujemy wic:
~ [(~ p q) (q p)]
0 0
0
1
W tym momencie mamy dwa miejsca, w ktrych istnieje tylko jedna moliwo
kombinacji zer i jedynek; nie jest istotne, od ktrego z nich zaczniemy. Gdy obliczymy
najpierw warto czonw alternatywy w pierwszym nawiasie otrzymamy:
~ [(~ p q) (q p)]
1 01 00 0
0
Po przepisaniu wartoci zmiennych p i q do drugiego nawiasu otrzymujemy w nim
ewidentn sprzeczno: implikacja z faszywym poprzednikiem i prawdziwym nastpnikiem
nie moe by faszywa.
~ [(~ p q) (q p)]
1 01 00 0 0 0 1
Widzimy zatem, e nie jest moliwa sytuacja, aby badana formua okazaa si
schematem zdania prawdziwego; jest wic ona na pewno kontrtautologi.
Zauwamy na marginesie, e gdybymy najpierw obliczyli warto czonw implikacji
w drugim nawiasie (gdzie te bya tylko jedna moliwo), to otrzymalibymy sprzeczno
przy alternatywie ~ p q.
Przykad:
Zbadamy czy kontrtatulogi jest formua {(p q) ~ [(p r) q]} (q r).
Zaczynamy od postawienia symbolu 1 przy gwnym spjniku, ktrym jest tu
koniunkcja pomidzy nawiasem klamrowym a okrgym. Z prawdziwoci tej koniunkcji
wnosimy o prawdziwoci obu jej czonw, czyli koniunkcji w nawiasie klamrowym i
implikacji w okrgym:
{(p q) ~ [(p r) q]} (q r)
1
1
1
Poniewa prawdziwa jest koniunkcja w nawiasie klamrowym, prawdziwe musz by oba
jej czony: implikacja p q oraz negacja wyraenia w nawiasie kwadratowym. Jeeli
51
prawdziwa jest negacja, to oczywicie faszywe musi by zdanie, do ktrego si ona odnosi,
czyli implikacja (p r) q. Z kolei, jeli faszywa jest implikacja, to prawdziwy musi by
jej poprzednik, a faszywy nastpnik:
{(p q) ~ [(p r) q]} (q r)
1
11
1
0 0 1
1
Obliczon warto zmiennej q przepisujemy we wszystkie miejsca, gdzie zmienna ta
wystpuje:
{(p q) ~ [(p r) q]} (q r)
1 0 11
1
0 0 1 01
Jedyne miejsce, w ktrym moemy co wpisa ze stuprocentow pewnoci, to pierwszy
nawias okrgy. Jeeli implikacja jest prawdziwa i jednoczenie ma faszywy nastpnik, to
faszywy musi by rwnie jej poprzednik. Oznaczamy wic p jako zdanie prawdziwe i
przepisujemy t warto tam, gdzie jeszcze zdanie to wystpuje:
{(p q) ~ [(p r) q]} (q r)
0 1 0 1 1 01
0 0 1 01
Obecnie moemy obliczy warto r w alternatywie p r. Jeeli alternatywa jest
prawdziwa, a jeden jej czon jest faszywy, to prawdziwy musi by czon drugi. Wpisujemy
wic 1 przy zmiennej r i przepisujemy t warto pod r w implikacji w ostatnim nawiasie:
{(p q) ~ [(p r) q]} (q r)
0 1 0 1 1 011 0 0 1 0 1 1
Poniewa nigdzie nie wystpuje tu sprzeczno, pokazalimy, e badana formua moe
by schematem zdania prawdziwego, a wic nie jest kontrtautologi.
Czy formua moe nie da si sprawdzi, czy jest tautologi lub kontrtautologi przy
pomocy metody skrconej?
Sprawdzi przy pomocy metody skrconej da si zawsze. Jednake czasami ju na
pocztku moe pojawi si kilka moliwoci do zbadania (na przykad gdyby kto chcia
sprawdzi, czy tautologi jest formua z koniunkcj jako gwnym spjnikiem). W takich
wypadach metoda skrcona moe sta si nieefektywna i wcale nie mniej pracochonna od
metody zwykej.
53
ktrych
schematy
kontrtautologiami
Przykad:
Zbadamy bardzo proste zdanie: Jutro bdzie pada lub nie bdzie pada.
Schemat tego zdania, to oczywicie p ~ p. Formua p ~ p jest tautologi gdybymy
chcieli postawi 0 pod jej gwnym spjnikiem, okazao by si, e zdanie p musi by
jednoczenie prawdziwe i faszywe, a wic otrzymalibymy sprzeczno.
p~p
00 01
Poniewa schemat zdania okaza si tautologi, to o zdaniu Jutro bdzie pada lub nie
bdzie pada moemy powiedzie, e jest ono prawd logiczn. atwo zauway, e
54
faktycznie zdanie to nie moe okaza si faszywe cokolwiek stanie si jutro, niezalenie
jaka bdzie pogoda, zdanie stwierdza co, co na pewno si wydarzy.
Przykad:
Sprawdzimy, czy prawd logiczn jest zdanie: O ile jest tak, e jeli Jan jest zakochany,
to jest zazdrosny, to jeli Jan nie jest zazdrosny, to nie jest zakochany.
Piszemy schemat zdania pamitajc o zastpowaniu tych samych zda prostych tymi
samymi zmiennymi:
(p q) (~ q ~ p)
p Jan jest zakochany, q Jan jest zazdrosny.
Nastpnie sprawdzamy, czy powysza formua jest tautologi:
(p q) (~ q ~ p)
1 1 0 0 10 0 01
Okazuje si, e formua nie moe sta si schematem zdania faszywego, a zatem jest
tautologi. W zwizku z tym badanie zdanie jest prawd logiczn.
Przykad:
Sprawdzimy, czy prawd logiczn jest zdanie: Jeli ten kamie jest diamentem, to
przecina szko lub jeli nie jest diamentem, to nie przecina szka.
(p q) (~ p ~ q)
1 0 0 0 01 0 10
Poniewa schemat okaza si tautologi, badane zdanie jest prawd logiczn.
Sprawdzenie, czy dane zdanie jest wewntrznie sprzeczne jest rwnie proste. Jak atwo
si domyli polega ono na napisaniu schematu zdania, a nastpnie zbadaniu, czy jest on
kontrtautologi.
55
Przykad:
Zbadamy czy zdanie Jeeli jestem za, to nie jestem przeciw, ale ja jestem za i jestem
przeciw jest wewntrznie sprzeczne.
(p ~ q) (p q)
1 1 01 1 1 1 1
Poniewa schemat badanego zdania jest kontrtautologi, samo zdanie jest wewntrznie
sprzeczne (jest faszem logicznym).
56
schemat zdania B
Nastpnie sprawdzamy, czy jest moliwa sytuacja, aby zdanie A byo prawdziwe, a B
faszywe. Wpisujemy symbol 1 przy gwnym spjniku zdania A, a 0 przy gwnym spjniku
zdania B i wycigamy z takich zaoe wszelkie konsekwencje podobnie jak to czynilimy
57
przy badaniu tautologii i kontrtautologii. Gdy okae si, e ostatecznie nigdzie nie wystpi
sprzeczno, bdzie to oznacza, e sytuacja gdzie zdanie A jest prawdziwe, a B faszywe
moe zaistnie, a wic, zgodnie z definicj wynikania, ze zdania A nie wynika logicznie
zdanie B. Gdy natomiast wycigajc konsekwencje z przyjtego zaoenia dojdziemy do
sprzecznoci, bdzie to wskazywa, e nie jest moliwe aby A byo prawdziwe a B faszywe,
a zatem, e ze zdania A wynika logicznie zdanie B.
DO ZAPAMITANIA:
W skrcie metoda badania czy z jednego zdania wynika zdanie drugie
wyglda nastpujco:
q~p
p gospodarka rozwija si dobrze, q podatki s wysokie.
58
Uwaga na bdy!
Sprawdzamy teraz, czy moe zaj sytuacja, aby pierwsze zdanie byo prawdziwe, a
drugie faszywe.
1
p~q
q~p
0
Z faszywoci implikacji moemy okreli wartoci logiczne zmiennych p oraz q i
przenie je do pierwszego zdania:
11 1
p~q
q~p
1 0 01
Gdy na podstawie prawdziwoci q obliczymy warto prawej strony rwnowanoci
otrzymamy ewidentn sprzeczno prawdziw rwnowano z jednym czonem
prawdziwym, a drugim faszywym.
110 1
p~q
q~p
1 0 01
Widzimy zatem, e sytuacja aby pierwsze zdanie byo prawdziwe, a drugie faszywe nie
jest moliwa. Moemy zatem powiedzie, e ze zdania Gospodarka rozwija si dobrze wtedy
i tylko wtedy, gdy podatki nie s wysokie wynika logicznie zdanie Jeeli podatki s wysokie,
to gospodarka nie rozwija si dobrze.
59
Uwaga na bdy!
Przykad:
Sprawdzimy, czy ze zdania Jeli na imprezie by Zdzisiek i Wacek, to impreza si nie
udaa, wynika logicznie zdanie Jeli impreza si nie udaa, to by na niej Zdzisiek lub Wacek.
Schematy powyszych zda wygldaj nastpujco:
(p q) ~ r
~ r (p q)
Sprawdzamy teraz, czy moliwa jest sytuacja, aby pierwsze zdanie byo prawdziwe, a
drugie faszywe.
1
(p q) ~ r
~ r (p q)
0
Z faszywoci implikacji na dole atwo obliczamy wartoci ~ r, oraz p q, a nastpnie
samych zmiennych p, q i r. Wartoci tych zmiennych przenosimy do pierwszego zdania:
0 0 1 0
(p q) ~ r
~ r (p q)
1 0 0 0 0 0
Po obliczeniu wartoci koniunkcji p i q oraz negacji r, okazuje si, e w badanych
schematach wszystko si zgadza nie ma adnej sprzecznoci:
0 0 0 1 10
(p q) ~ r
~ r (p q)
1 0 0 0 0 0
60
Brak sprzecznoci wiadczy, e jak najbardziej moliwa jest sytuacja, aby pierwsze
zdanie byo prawdziwe, a drugie faszywe. Stwierdzamy zatem, e w tym wypadku zdanie
drugie nie wynika logicznie ze zdania pierwszego.
Przykad:
Sprawdzimy, tym razem przy pomocy twierdzenia o dedukcji, rozpatrywany ju
przykad czy ze zdania Gospodarka rozwija si dobrze wtedy i tylko wtedy, gdy podatki nie
s wysokie, wynika logicznie zdanie Jeeli podatki s wysokie, to gospodarka nie rozwija si
dobrze.
Formua powstaa z poczenia implikacj schematw zda wyglda nastpujco:
(p ~ q) (q ~ p)
Sprawdzenie, czy jest ona tautologi jest bardzo proste:
(p ~ q) (q ~ p)
1 101 0 10 01
Otrzymana sprzeczno wiadczy, e formua jest tautologi, a wic, zgodnie z
twierdzeniem o dedukcji, ze zdania pierwszego wynika logicznie zdanie drugie.
Przykad:
Sprawdzimy przy pomocy twierdzenia o dedukcji czy ze zdania Jeli na imprezie by
Zdzisiek i Wacek, to impreza si nie udaa, wynika logicznie zdanie Jeli nie byo Zdzika i
nie byo Wacka, to impreza udaa si.
61
62
1.7. WNIOSKOWANIA.
1.7.1. YK TEORII.
Wnioskowanie jest to proces mylowy, podczas
ktrego na podstawie uznania za prawdziwe pewnych zda
(przesanek) dochodzimy do uznania kolejnego zdania
(konkluzji). Gdy kto na podstawie wiary, i jeli jaskki
rano nisko lataj, to po poudniu bdzie deszcz, oraz faktu, i
dzi rano jaskki nisko lataj, dochodzi do wniosku, e dzi
po poudniu bdzie pada, to jest to wanie wnioskowanie.
Badanie logicznej poprawnoci wnioskowania wie si cile z pojciem wynikania
logicznego. Mwimy bowiem, i wnioskowanie jest poprawne, jeli wniosek wynika
logicznie z przesanek. Gdy badalimy, czy z jednego zdania wynika logicznie drugie zdanie,
sprawdzalimy jednoczenie, jeszcze o tym nie wiedzc, poprawno bardzo prostego
wnioskowania, w ktrym pierwsze zdanie peni rol jedynej przesanki, a drugie wniosku.
Obecnie zajmiemy si wnioskowaniami z wiksz iloci przesanek.
Sprawdzenie poprawnoci wnioskowania rozpoczynamy od napisania schematw
wszystkich zda wchodzcych w jego skad. Schematy przesanek piszemy nad kresk,
schemat wniosku pod kresk. Taki, znany ju z poprzedniego rozdziau, ukad schematw
nazywamy regu wnioskowania (lub regu inferencji, albo po prostu regu).
Nazwa regua mogaby sugerowa, e jest to co zawsze poprawnego tak jednak nie
jest; wrd regu wyrniamy bowiem reguy dedukcyjne (inaczej mwic niezawodne) i
reguy niededukcyjne (zawodne). Regua dedukcyjna (niezawodna), to taka, w ktrej
wniosek wynika logicznie z przesanek, natomiast w przypadku reguy niededukcyjnej
(zawodnej) wniosek nie wynika logicznie z przesanek.
Badanie dedukcyjnoci reguy przeprowadzamy sprawdzajc, czy moliwa jest sytuacja,
aby wszystkie przesanki byy prawdziwe, a jednoczenie wniosek faszywy. Jeli sytuacja
taka moe wystpi (nigdzie nie pojawia si sprzeczno) to znaczy to, e dana regua jest
niededukcyjna (zawodna), a to z kolei wiadczy o tym, e oparte na tej regule wnioskowanie
jest z logicznego punktu widzenia niepoprawne. Gdy natomiast zaoenie prawdziwoci
przesanek i faszywoci wniosku doprowadzi do sprzecznoci, wiadczy to, e mamy do
czynienia z regu dedukcyjn (niezawodn), a zatem oparte na niej wnioskowanie jest
poprawne.
63
DO ZAPAMITANIA:
W
skrcie
sprawdzenie
poprawnoci
wnioskowania
wyglda
nastpujco:
~p
Badajc, czy regua jest niezawodna, a wic, czy
wniosek wynika z przesanek, sprawdzamy, czy moliwa
jest sytuacja aby wszystkie przesanki byy prawdziwe, a
jednoczenie wniosek faszywy:
1
1
p (q r), ~ q
~p
0
64
~p
01
Poniewa przy takich podstawieniach nie pojawia si nigdzie sprzeczno, wykazalimy
e moliwa jest sytuacja, aby przesanki byy prawdziwe, a wniosek faszywy. Powysza
regua jest zatem zawodna, czyli jej wniosek nie wynika z przesanek. Na podstawie tych
faktw moemy da ostateczn odpowied, i badane wnioskowanie nie jest poprawne.
Przykad:
Zbadamy teraz poprawno wnioskowania bdcego modyfikacj rozumowania z
poprzedniego przykadu. Jeli Wacek dosta wypat to jest w barze lub u Zenka. Wacka nie
ma w barze. Zatem Wacek nie dosta wypaty lub jest u Zenka.
Badajc regu, na ktrej oparte jest wnioskowanie zaczynamy nastpujco:
1
1
p (q r), ~ q
~pr
0
Nastpnie obliczamy wartoci czonw alternatywy we wniosku oraz warto q.
Wartoci te przepisujemy do pierwszej przesanki i stwierdzamy, e faszywa musi by
alternatywa (q r), poniewa faszywe s oba jej czony. Po bliszym przyjrzeniu si
implikacji odkrywamy w niej sprzeczno:
1 1 000 10
p (q r), ~ q
~pr
010 0
65
Pokazalimy, e tym razem nie jest moliwa sytuacja, aby przesanki byy prawdziwe, a
wniosek faszywy. Powysza regua jest zatem niezawodna, a badane wnioskowanie
poprawne.
UWAGA!
Badajc dedukcyjno regu, podobnie jak przy sprawdzaniu czy formua jest tautologi
lub kontrtautologi, sprzecznoci mog pojawi si w rnych miejscach. Na przykad w
powyszym przykadzie ostateczny wynik mg wyglda nastpujco:
1 1 010 10
p (q r), ~ q
~pr
010 0
Oczywicie jest to rwnie dobre rozwizanie.
Przykad:
Sprawdzimy poprawno nastpujcego wnioskowania: Jeli Lolek jest agentem, to
agentem jest te Bolek, za nie jest nim Tola. Jeli Bolek jest agentem, to jest nim te
Lolek lub Tola. Jeli jednak Tola nie jest agentem, to jest nim Lolek a nie jest
Bolek. Tak wic to Tola jest agentem.
Regua na ktrej oparte jest powysze wnioskowanie wyglda nastpujco:
p (q ~ r), q (p r), ~ r (p ~ q)
r
Po zaoeniu prawdziwoci przesanek oraz faszywoci wniosku, a nastpnie
przepisaniu wszdzie wartoci r otrzymujemy:
1
0
1
0
01
p (q ~ r), q (p r), ~ r (p ~ q)
r
0
Teraz moemy obliczy warto negacji r. W trzeciej przesance majc prawdziw
implikacj z prawdziwym poprzednikiem stwierdzamy, e prawdziwy musi by jej nastpnik
koniunkcja p ~ q. Teraz atwo obliczamy wartoci p oraz q i przepisujemy je. Po
66
r
0
Sprzeczno w pierwszej przesance pokazuje, i nie jest moliwa sytuacja, aby
przesanki byy prawdziwe, a wniosek faszywy. Wnioskowanie jest wic poprawne.
Przykad:
Zbadamy przy pomocy twierdzenia o dedukcji nastpujce wnioskowanie:
Jeeli to nie Ted zastrzeli Billa, to zrobi to John. Jeli za John nie zastrzeli Billa, to
zrobi to Ted lub Mike. Ale Mike nie zastrzeli Billa. Zatem to Ted zastrzeli Billa.
Regua na ktrej opiera si wnioskowanie wyglda nastpujco:
~ p q, ~ q (p r), ~ r
p
Aby mc skorzysta z twierdzenia o dedukcji musimy zbudowa implikacj, ktrej
poprzednik bd stanowi poczone spjnikami koniunkcji przesanki, a nastpnik
wniosek. Praktycznie czynimy to tak, e bierzemy w nawias pierwsz przesank, czymy j
koniunkcj z wzit w nawias drug przesank, bierzemy powstae wyraenie w nawias i
czymy koniunkcj z wzit w nawias trzeci przesank, nastpnie bierzemy wszystkie
przesanki w jeden najwikszy nawias i czymy to wyraenie z wnioskiem przy pomocy
symbolu implikacji:
{(~ p q) [ ~ q (p r)]} ~ r p
67
0 0
1 0
110 0 0
01 1 00 0
110 0 0
Uwaga na bdy!
68
69
SOWNICZEK.
Amfibolia wyraenie wieloznaczne, dopuszczajce kilka moliwoci interpretacji. Na
gruncie rachunku zda amfiboliami s wyraenia, w ktrych nie jest jednoznacznie okrelony
spjnik gwny. Np. p q r moe by rozumiane jako implikacja (p q) r, bd te
jako alternatywa p (q r). W jzyku naturalnym amfiboli jest na przykad zdanie:
Oskarony zakopa up wraz z teciow.
Fasz logiczny (zdanie wewntrznie sprzeczne) zdanie, ktrego schematem jest
kontrtautologia.
Formua wedug cisej definicji formua jest to wyraenie zawierajce zmienne.
Moemy rwnie powiedzie, i formu danego rachunku logicznego nazywamy kade
poprawnie zbudowane wyraenie tego rachunku. Formuami klasycznego rachunku zda s
np.: p, ~ q, (p q) ~ r, p ~ (r s), natomiast nie s formuami tego rachunku
wyraenia: p ~ q, (p q), p q.
Kontrtautologia formua bdca schematem wycznie zda faszywych.
Prawda logiczna zdanie, ktrego schematem jest tautologia.
Regua (regua wnioskowania, regua inferencji) cig formu wrd ktrych
wyrnione s przesanki i wniosek. Mona powiedzie, e regua jest schematem caego
wnioskowania, tak jak formua jest schematem pojedynczego zdania.
Regua dedukcyjna (regua niezawodna) regua w ktrej niemoliwe jest, aby
przesanki stay si schematami zda prawdziwych, natomiast wniosek schematem zdania
faszywego. Oparte na takiej regule wnioskowanie jest logicznie poprawne (dedukcyjne).
Schemat gwny zdania jest to schemat zawierajcy wszystkie spjniki logiczne
dajce si wyodrbni w zdaniu (najduszy moliwy schemat danego zdania). Np. w
przypadku zdania Jeeli nie zarobi wystarczajco duo lub oblej sesj na uczelni to nie
pojad na wakacje, formua p q (p nie zarobi wystarczajco duo lub oblej sesj na
uczelni, q nie pojad na wakacje) nie jest jego schematem gwnym. Schemat gwny tego
zdania wyglda nastpujco: (~ p q) ~ r. (p zarobi wystarczajco duo, q oblej
sesj na uczelni, r pojad na wakacje). Mwic schemat zdania rozumiemy przez to na
og domylnie schemat gwny.
70
71
Rozdzia II
SYLOGISTYKA.
WSTP.
Opisany w poprzednim rozdziale klasyczny rachunek zda nie jest niestety narzdziem
nadajcym si do analizy wszelkich rozumowa. Aby si o tym przekona, rozwamy
nastpujce rozumowanie: Kady jamnik jest psem. Kady pies jest ssakiem. Zatem kady
jamnik jest ssakiem. Nawet dla osoby nie znajcej logiki powinno by oczywiste, e jest to
rozumowanie poprawne. Ci, ktrzy cho w zarysach przypominaj sobie pojcie
wynikania logicznego atwo zauwa, e nie jest moliwe, aby przesanki byy prawdziwe,
a wniosek faszywy, a wic wniosek, jak si wydaje, wynika z przesanek. Sprbujmy
jednak zbada powysze rozumowanie na gruncie rachunku zda. Poniewa ani przesanki,
ani wniosek nie zawieraj w sobie spjnikw logicznych, ich schematami bd
reprezentujce zdania proste pojedyncze zmienne zdaniowe. Regua, na ktrej
wnioskowanie to jest oparte, wyglda zatem nastpujco:
p, q
r
Regua ta nie jest oczywicie dedukcyjna, gdy nic nie stoi na przeszkodzie, aby zasza
sytuacja:
1 1
p, q
r
0
Jaki mora wynika z powyszego przykadu? Kto mgby powiedzie, e logika jest
sprzeczna ze zdrowym rozsdkiem rozumowanie w sposb oczywisty poprawne okazao si
na gruncie logiki bdnym. Nie jest to jednak dobry wniosek. Prawda jest taka, e do analizy
powyszego przykadu uylimy niewaciwego narzdzia. Zamiast rachunku zda naleao
tu bowiem wykorzysta system nazywany sylogistyk (teori sylogizmw) lub czasem
rachunkiem nazw.
Na marginesie dodajmy, e sylogistyka jest najstarszym systemem logicznym
opracowana zostaa w IV w p.n.e przez greckiego filozofa Arystotelesa.
72
W tym miejscu konieczne jest mae wyjanienie odnonie nazw. Nikt nie ma
wtpliwoci, e nazwami s takie wyraenia jak pies, ssak, student, czy zodziej. Trzeba
jednak koniecznie zaznaczy, e nazwa wcale nie musi skada si tylko z jednego
rzeczownika nazwami s rwnie na przykad takie wyraenia jak duy pies, pilny student
uniwersytetu, czy te zodziej poszukiwany listem goczym w caym kraju. Nazwy nie musz
te odnosi si jedynie do obiektw fizycznych mog one wskazywa rwnie byty
bardziej abstrakcyjne na przykad uczucia, wasnoci czy te procesy dziejce si w czasie.
73
Nazwami s wic wyraenia takie jak wielka mio, elazne zdrowie, egzamin z logiki, strach
przed sprawdzianem, wyprawa w kosmos lub zapalenie wyrostka robaczkowego.
Obiekty wskazywane przez nazwy okrelamy mianem desygnatw danej nazwy. Tak
wic na przykad kady z nas jest desygnatem nazwy czowiek. Zbir wszystkich desygnatw
nazwy to zakres (lub inaczej: denotacja) nazwy.
Problematyka nazw dokadniej zostanie omwiona w rozdziale IV.
Zmienne odpowiadajce nazwom w schematach sylogistycznych przyjo si oznacza
przy pomocy duych liter S oraz P symbole te pochodz one od aciskich nazw subiectum
podmiot, oraz praedicatum orzecznik.
Poniewa w sylogistyce mamy tylko cztery stae logiczne, a kada z nich moe czy
tylko dwie nazwy, w systemie tym istnieje moliwo napisania jedynie czterech rodzajw
schematw: S a P oznaczajcy zdanie kade S jest P, S e P adne S nie jest P, S i P
niektre S s P (lub: istniej S bdce P), oraz S o P niektre S nie s P (lub: istniej S nie
bdce P). Zdania tych czterech typw nazywamy zdaniami kategorycznymi.
Zdania kategoryczne typu kade S jest P oraz adne S nie jest P nazywamy zdaniami
oglnymi poniewa stwierdzaj one pewien fakt dotyczcych wszystkich obiektw
objtych nazw S; zdania typu niektre S s P oraz niektre S nie s P nazywamy zdaniami
szczegowymi bo mwi one tylko o niektrych S.
Dodatkowo zdania kade S jest P i niektre S s P okrelamy jako zdania twierdzce,
natomiast adne S nie jest P oraz niektre S nie s P zdaniami przeczcymi.
Oto tabelka systematyzujca powysze wiadomoci.
Zdania kategoryczne:
schemat
Zdanie
nazwa zdania
SaP
kade S jest P
zdanie oglno-twierdzce
SeP
zdanie oglno-przeczce
SiP
zdanie szczegowo-twierdzce
SoP
zdanie szczegowo-przeczce
74
te obiekty S nie bdce P. Zdania niektre S s P nie naley wic rozumie, e tylko
niektre S s P, ale e istniej pewne S (by moe nawet wszystkie) bdce P.
Tak wic na przykad na gruncie sylogistyki za prawdziwe uzna naley zdanie S i P,
gdy za S podstawimy nazw pies, a za P ssak. Stwierdza ono bowiem niektre psy s
ssakami w znaczeniu, e istniej psy bdce jednoczenie ssakami, a nie e wrd wszystkich
istniejcych psw tylko cz z nich jest ssakami.
Podobna sytuacja zachodzi w przypadku zdania szczegowo-przeczcego. Stwierdza ono
e niektre S nie s P, w znaczeniu e istniej obiekty S nie bdce jednoczenie P, nie
przesdzajc jednak, czy s rwnie obiekty S bdce P. W zwizku z tym za prawdziwe
naley uzna zdanie niektrzy ludzie nie s ptakami jako stwierdzajce, i istniej ludzie
nie bdcy ptakami.
Przykad:
Napiszemy schemat zdania: Kady szpak jest ptakiem.
Schemat tego zdania to oczywicie:
S a P,
gdzie poszczeglne zmienne oznaczaj nazwy: S szpak, P ptak.
Przykad:
Napiszemy schemat zdania: Niektrzy politycy nie s zodziejami.
Schemat tego zdania to:
SoP
S polityk, P zodziej.
75
Uwaga na bdy!
76
Przykad:
Napiszemy schemat zdania: aden uczony nie przeczyta wszystkich ksiek.
Mamy tu oczywicie do czynienia ze zdaniem oglno-przeczcym, a wic jego schemat
powinien wyglda S e P. Podobnie jednak jak w poprzednim przykadzie trudno moe tu
sprawi okrelenie nazwy odpowiadajcej zmiennej P jak atwo bowiem zauway,
wyraenie przeczyta wszystkie ksiki nazw na pewno nie jest. Pierwsz narzucajc si
moliwoci jest uznanie za termin P wyraenia przeczytanie wszystkich ksiek jako nazwy
pewnego procesu. W takim jednak wypadku po podstawieniu tej nazwy do schematu S e P
otrzymalibymy wyraenie aden uczony nie jest przeczytaniem wszystkich ksiek co nie
jest oczywicie zdaniem, ktrego schemat mielimy napisa. Inn przychodzc na myl,
cho rwnie bdn, moliwoci jest uznanie za P nazwy ksika lub kada ksika. Wtedy
jednak rwnie otrzymalibymy po podstawieniu nazw do schematu do absurdalnie
brzmice wyraenie aden uczony nie jest kad ksik lub co podobnego. Prawidowa
odpowied jest taka, e zmienna P oznacza w przypadku badanego zdania nazw czowiek,
ktry przeczyta wszystkie ksiki lub ewentualnie kto, kto przeczyta wszystkie ksiki. Po
podstawieniu tego terminu do schematu S e P otrzymamy bowiem zdanie aden uczony nie
jest czowiekiem, ktry przeczyta wszystkie ksiki a wic wyraenie dokadnie
odpowiadajce treci zdaniu z przykadu, tylko nieco inaczej sformuowane.
Tak wic ostateczne rozwizanie to:
SeP
S uczony, P czowiek, ktry przeczyta wszystkie ksiki.
Uwaga na bdy!
Przykad:
Napiszemy schemat zdania: Kady, kto cho troch pozna Jzefa, wiedzia, e nie mona
mu ufa.
77
Uwaga na bdy!
Przykad:
Napiszemy schemat zdania: Niektrzy nie lubi zwierzt.
Jest to oczywicie zdanie szczegowo-przeczce, a wic o schemacie S o P. Zmiennej P
odpowiada nazwa kto kto lubi zwierzta (pamitamy, e nie zostao ju oddane przy
pomocy staej o). Co jest jednak odpowiednikiem S? W badanym zdaniu nie wida adnego
wyraenia, ktre mona by za S podstawi poza zwrotem o lubieniu zwierzt oraz
wyraeniem niektrzy, ktre zostaje oddane przez sta o w zdaniu niczego wicej ju nie
ma. Jednake tre zdania jasno wskazuje, e owi niektrzy, o ktrych ono mwi, cho nie
stwierdza tego wprost, to ludzie. Tak wic nazwa S to po prostu czowiek. Ostateczne
rozwizanie:
SoP
S czowiek, P kto, kto lubi zwierzta.
78
Przykad:
Napiszemy schemat zdania: Ktokolwiek twierdzi, e widzia UFO, myli si lub kamie.
Wprawdzie w zdaniu tym nie wystpuje wprost adne z wyrae odpowiadajcych
staym a, e, i, o, jednake oczywiste jest, e ktokolwiek to odpowiednik zwrotu wszyscy, czy
te kady, a wic mamy do czynienia ze zdaniem oglno-twierdzcym:
SaP
S kto, kto twierdzi, e widzia UFO, P kto, kto myli si lub kamie.
Przykad:
Napiszemy schemat zdania: Nikt nie lubi gdy inni go krytykuj.
W tym wypadku nikt, to odpowiednik zwrotu aden:
SeP
S czowiek, P kto, kto lubi, gdy inni go krytykuj.
Uwaga na bdy!
79
SaP
S kto, kto rano wstaje, P kto, komu Pan Bg daje.
Co zrobi z negacj?
Zdarza si czasem, e mamy do czynienia z wyraeniem, ktre stanowi negacj ktrego
ze zda kategorycznych. Szczeglne czsto negacja wystpuje przy zdaniach oglnotwierdzcych.
Przykad:
Napiszemy schemat zdania: Nie kady polityk wierzy w to, co mwi.
Na pierwszy rzut oka wida, e powysze wyraenie stanowi negacj zdania S a P.
Teoretycznie wic jego schemat mona by zapisa ~ (S a P) i faktycznie czasami si tak
robi. Jednake w tradycyjnie ujtej sylogistyce negacje nie wystpuj. Nie s one zreszt
konieczne, poniewa negacj kadego ze zda kategorycznych mona odda przy pomocy
rwnowanego mu innego zdania, ju bez negacji. Po chwili zastanowienia kady przyzna,
e zdanie nieprawda, e kade S jest P mwi dokadnie to samo co niektre S nie s P.
Przy uyciu symboliki logicznej mona by to zapisa ~ (S a P) S o P.
Wracajc do naszego przykadu moemy zatem powiedzie, e zdanie nie kady polityk
wierzy w to, co mwi rwnowane jest zdaniu niektrzy politycy nie wierz w to, co mwi.
Tak wic jego schemat zapisa mona:
SoP
S polityk, P osoba, ktra wierzy w to, co mwi.
DO ZAPAMITANIA:
Oto jak mona odda negacje wszystkich zda kategorycznych:
~ (S a P) S o P
~ (S e P) S i P
~ (S i P) S e P
~ (S o P) S a P
Przykad:
Napiszemy schemat zdania: Nie jest prawd, e niektrzy uczeni s nieomylni.
Zdanie to stanowi negacj zdania szczegowo-twierdzcego (czyli ~ (S i P)), mona wic
je odda przy pomocy schematu:
SeP
S uczony, P osoba nieomylna.
80
Gdzie S, a gdzie P?
Czasem trudno przy pisaniu schematu sprawi moe okrelenie, ktra nazwa odpowiada
zmiennej S, a ktra P.
Przykad:
Napiszemy schemat zdania: Zy to ptak, co wasne gniazdo kala.
Podobnie jak w przypadku zdania kto rano wstaje, temu Pan Bg daje mona si
domyla, e powiedzenie to ma charakter zdania oglnego o schemacie S a P. Czy jednak
moemy uzna, e S odpowiada nazwie zy ptak, a P ptak kalajcy wasne gniazdo, jak
by si to mogo wydawa na pierwszy rzut oka? W takim wypadku otrzymalibymy
stwierdzenie, e kady zy ptak kala wasne gniazdo. Tymczasem w znanym powiedzeniu
chodzi raczej o co przeciwnego e to kady ptak kalajcy wasne gniazdo, jest zy. Tak
wic faktycznie mamy do czynienia ze zdaniem o schemacie S a P, jednake nazwa
odpowiadajca zmiennej S zostaa w nim umieszczona na kocu, a odpowiadajca P na
pocztku. Tak wic ostateczne rozwizanie to:
SaP
S ptak kalajcy wasne gniazdo, P zy ptak.
Przykad:
Napiszemy schemat zdania: Nie wszystko
zoto, co si wieci.
Oczywiste
wydaje
si,
powysze
81
Tak wic zdanie nie wszystko zoto, co si wieci stwierdza co w rodzaju nie jest
prawd, e kada rzecz wicca si jest zotem, czyli niektre rzeczy wiecce si, nie s
zotem. Ostateczna odpowied to:
SoP
S co, co si wieci, P zoto.
Co znaczy tylko?
Jako zdania kategoryczne mona potraktowa rwnie wyraenia ze zwrotem tylko...
s..., cho na pierwszy rzut oka zwrot ten nie odpowiada adnej z poznanych staych
logicznych.
Przykad:
Napiszemy schemat zdania: Tylko kobiety s matkami.
Intuicja podpowiada, e w powyszym przypadku mamy do czynienia ze zdaniem
twierdzcym (nie ma w nim przeczenia) oraz oglnym (stwierdza co o wszystkich obiektach
pewnego typu, a nie tylko o niektrych). Tak wic nasuwa si schemat S a P. Jest to
faktycznie waciwy schemat wane jest jednak, abymy prawidowo okrelili nazwy
przyporzdkowane zmiennym S oraz P. Gdyby za S podstawi nazw kobieta, a za P matka
otrzymalibymy zdanie kada kobieta jest matk. Nie jest to na pewno zdanie rwnowane
stwierdzeniu tylko kobiety s matkami wida to ju na pierwszy rzut oka chociaby dlatego,
e pierwsze z nich jest faszywe, a drugie prawdziwe. Wyraenie rwnowane zdaniu z
naszego przykadu, to kada matka jest kobiet.
Aby to dobrze zrozumie, naley sobie wyobrazi, co to oznacza, e tylko kobiety s
matkami. Znaczy to po prostu, i wrd matek mamy tylko i wycznie kobiety, a wic ni
mniej ni wicej, tylko wanie kada matka jest kobiet. Tak wic ostateczne rozwizanie to:
SaP
S matka, P kobieta.
82
DO ZAPAMITANIA:
Zdania typu tylko A s B zawsze moemy przedstawi przy pomocy
schematu S a P, gdzie S = B, P = A.
Przykad:
Zapiszemy schemat zdania: Nie tylko artyci s zarozumiali.
Schemat tego zdania to:
SoP
S osoba zarozumiaa, P artysta.
Do powyszego rozwizania doj mona na dwa sposoby. Jeden polega na wyobraeniu
sobie, co oznacza zdanie mwice e nie tylko artyci s zarozumiali. Po chwili
zastanowienia kady powinien zobaczy, e opisuje ono fakt, i wrd osb zarozumiaych s
te inni ludzi oprcz artystw, a wic inaczej mwic niektre osoby zarozumiae nie s
artystami.
Drugi sposb na otrzymanie prawidowego schematu rozwaanego zdania polega na
zbudowaniu najpierw schematu zdania tylko artyci s zarozumiali, a nastpnie zanegowaniu
go zgodnie z zasadami opisanymi wyej w punkcie co zrobi z negacj?. Schemat zdania
tylko artyci s zarozumiali to S a P, gdzie S osoba zarozumiaa, a P artysta. Poniewa
ostatecznie musimy napisa schemat negacji tego stwierdzenia, znajdujemy zdanie
rwnowane negacji S a P, ktrym jest S o P.
83
to
pewien
cile
okrelony
rodzaj
SoP
W sylogizmie wane jest, ktre nazwy oznaczymy jak zmienn. Przyjte jest, aby
symbole S oraz P zarezerwowa dla nazw obecnych w konkluzji wnioskowania. Natomiast
trzecia nazwa ta, ktrej nie ma w konkluzji, a ktra jest za to zawsze w obu przesankach
oznaczana jest symbolem M. Tradycyjnie nazw oznaczon przez S nazywamy terminem
mniejszym sylogizmu, nazw oznaczon P terminem wikszym, natomiast nazw M
84
terminem rednim. Znajomo powyszej terminologii nie jest moe najwaniejsza dla
rozwizywania zada z zakresw sylogizmw, poniewa jednak jest to nazewnictwo
stosowane w wielu podrcznikach logiki, dobrze jest je zna. Zapamitanie okrele
poszczeglnych terminw nie powinno zreszt sprawi trudnoci nikomu, kto skojarzy je z
popularnymi i oglnie znanymi oznaczeniami odziey, zgodnie z ktrymi S oznacza rozmiar
may, natomiast M redni.
85
Na gruncie rachunku zda niezawodno regu badalimy przy pomocy tabelek zerojedynkowych oddajcych znaczenie spjnikw logicznych. Poniewa w teorii sylogizmw
mamy stae logiczne inne ni spjniki zdaniowe, konieczna jest tu odmienna metoda.
Przedstawimy obecnie najpopularniejszy sposb sprawdzania poprawnoci sylogizmw:
metod diagramw Venna.
Diagramy Venna.
W diagramach Venna (nazywanych tak od nazwiska ich pomysodawcy Johna Venna)
koa symbolizuj zbiory obiektw okrelanych przez poszczeglne nazwy, a wic zakresy
tych nazw. Znaki + oraz w czciach tych k informuj, e w danym obszarze na
pewno co si znajduje lub te, e na pewno niczego tam nie ma.
Oto, jak na diagramach Venna przedstawi mona poszczeglne zdania kategoryczne:
S iP
SoP
86
SeP
Zdanie adne S nie s P stwierdza, e nie istniej adne obiekty nalece jednoczenie
do zbiorw S i P. Fakt ten uwidoczniony jest przez znak w czci wsplnej tych zbiorw.
Zauwamy, e zdanie typu S e P nie informuje o istnieniu jakichkolwiek obiektw bdcych
desygnatami nazw S lub P (moe ono mwi na przykad aden krasnoludek nie jest
jednorocem) dlatego te niczego nie wpisujemy w pozostae obszary diagramu.
Uwaga na marginesie.
W praktyce, przy rozwizywaniu zada zwizanych z sylogizmami, bdziemy czasem korzystali z
zaoenia, e obiekty bdce desygnatami danej nazwy na pewno istniej. Obecnie jednak, aby zbytnio nie
zaciemnia obrazu, bdziemy wpisywali do diagramu tylko to, co dane zdanie wprost stwierdza, pomijajc
informacje, jakie mog z niego dodatkowo wynika przy pewnych zaoeniach.
SaP
jednoczenie P std minus w lewej czci diagramu. Zdanie to nie niesie jednak adnej
pozytywnej informacji, e jakiekolwiek S faktycznie istnieje stwierdza jedynie, e jeeli
co jest S (o ile w ogle istnieje) to jest rwnie P. Dlatego te nie stawiamy znaku + w
czci rodkowej.
87
SaP
SeP
M
Nieco inaczej przedstawia si sytuacja w przypadku zda szczegowych. Rozpatrzmy
najpierw zdanie S i P. Stwierdza ono, e istniej pewne obiekty w czci wsplnej zbiorw S
oraz P. Na rysunku obrazujcym zalenoci midzy trzema nazwami obszar ten skada si z
dwch czci. Zdanie S i P nie informuje jednak, w ktrej z tych czci co si znajduje
moe w jednej, moe w drugiej, a moe w obydwu. Zaley to od terminu M, o ktrym na
razie nic nie wiemy. W zwizku z tym, wpisujc symbole + w odpowiednich czciach,
naley opatrzy je znakami zapytania. Pytajniki te informuj, e w danym obszarze na pewno
jakie elementy si znajduj, ale nie wiadomo w ktrej jego czci.
88
S
+?
+?
S iP
M
Z podobn sytuacj spotykamy si w przypadku zdania S o P. Informuje nas ono, e na
pewno istniej jakie elementy w czci zbioru S znajdujcej si poza zbiorem P, ale nie
okrela, w ktrym fragmencie tego obszaru w jednym, drugim, czy moe obydwu.
P
S
+?
SoP
+?
M
Znajomo przedstawionych wyej sposobw zaznaczania zda kategorycznych na
diagramach konieczna jest do sprawdzania poprawnoci sylogizmw w takim samym stopniu,
jak znajomo tabelek zero-jedynkowych bya nieodzowna do badania prawidowoci
wnioskowa na gruncie KRZ.
DO ZAPAMITANIA:
89
Uwaga na marginesie.
W praktyce, gdy bdziemy rozwizywa zadania zwizane z sylogizmami, informacje zawarte w jednym
zdaniu bd nam czsto jednoznacznie wskazywa, w ktrym miejscu naley wpisa znak + wynikajcy z
drugiego zdania. W takich wypadkach plus ten bdzie pewny.
90
DO ZAPAMITANIA:
Przykad:
SaP
Teraz moemy narysowa diagram i wpisa do niego to, co mwi przesanki. Pierwsza
przesanka stwierdza, e pusty musi by obszar zbioru S lecy poza M, natomiast druga, e
pusty musi by obszar zbioru M lecy poza P. Po wpisaniu w odpowiednie miejsca minusw
otrzymujemy nastpujcy diagram:
91
M
Do diagramu tego nie wpisujemy tego, co mwi wniosek sylogizmu, a jedynie patrzymy,
czy wykonany na podstawie przesanek rysunek, gwarantuje nam jego prawdziwo.
Konkluzja naszego sylogizmu ma posta S a P, a wic aby bya ona prawdziwa, pusty musi
by obszar zbioru S lecy poza zbiorem P. Na wypenionym diagramie w obu czciach tego
obszaru znajduj si minusy, a wic mamy stuprocentow gwarancj, e jest on faktycznie
pusty. Jest to znak, e wniosek wynika z przesanek (musi by prawdziwy, jeli tylko
prawdziwe s przesanki), a zatem badany sylogizm jest poprawny.
Przykad:
Zbadamy poprawno sylogizmu: Kady milioner jest bogaty. Niektrzy bogaci ludzie
nie s szczliwi. Zatem niektrzy milionerzy nie s szczliwi.
SoP
S milioner, P czowiek szczliwy, M czowiek bogaty.
92
+?
+?
M
Teraz pozostaje nam sprawdzenie, czy tak wypeniony diagram gwarantuje nam
prawdziwo konkluzji. Wniosek sylogizmu ma posta S o P, a wic stwierdza, e co
powinno znajdowa si w obszarze zbioru S lecym poza zbiorem P. Jak wida na rysunku
w jednej czci tego obszaru mamy znak (na pewno wic nic tam nie ma), natomiast w
drugiej +?. Czy taki plus ze znakiem zapytania daje nam gwarancj, e co si w badanym
obszarze znajduje? Oczywicie, e nie. Symbol ten wskazuje, e jakie elementy mog tam
by, ale nie jest to pewne. Natomiast do tego, aby sylogizm uzna za poprawny, potrzebujemy
stuprocentowej gwarancji prawdziwoci konkluzji. Poniewa w badanym przykadzie
pewnoci takiej nie mamy, wiadczy to o tym, e sylogizm jest niepoprawny.
O niepoprawnoci powyszego sylogizmu przekonuje diagram wypeniony w
nastpujcy sposb.
P
+
M
Rysunek ten stanowi graficzny kontrprzykad do badanej reguy. Wida na nim, e bez
popadania w jakkolwiek sprzeczno mona wpisa do diagramu plusy i minusy w taki
sposb, aby przesanki byy prawdziwe natomiast wniosek faszywy. W przypadku reguy
niezawodnej takie wypenienie diagramu nie byo by moliwe.
93
(fasz).
Uwaga na marginesie:
Do kadej zawodnej reguy na gruncie sylogistyki mona zbudowa kontrprzykad korzystajc jedynie z
nazw kot, pies, jamnik, ssak. W takim przypadku trzeba jednak wiedzie, i czasem zajdzie potrzeba oznaczenia
dwch zmiennych t sam nazw (np. S kot, P kot).
Mona oczywicie te budowa kontrprzykady z innymi nazwami.
Przykad:
Zbadamy poprawno sylogizmu: aden mdrzec nie jest fanatykiem jednej idei.
Niektrzy uczeni s fanatykami jednej idei. Zatem niektrzy uczeni nie s mdrcami.
SoP
S uczony, P mdrzec, M fanatyk jednej idei.
94
M
Zgodnie z drug przesank co musi znajdowa si we wsplnej czci zbiorw S oraz
M. Teoretycznie obszar ten skada si z dwch fragmentw. Poniewa jednak w jednym z
nich mamy ju wpisany znak na wpisanie + pozostaje nam tylko jedno miejsce. W
takim wypadku + wpisujemy oczywicie bez znaku zapytania mamy bowiem pewno, e
musi by on w tym wanie miejscu.
P
M
Obecnie musimy sprawdzi, czy taki rysunek gwarantuje nam prawdziwo wniosku
sylogizmu, a wic zdania S o P. Aby zdanie to byo prawdziwe, co powinno si znajdowa w
czci zbioru S lecej poza P. Na diagramie w obszarze tym (w jego dolnej czci) znajduje
si znak +, a wic mamy pewno, e nie jest on pusty. Badany sylogizm jest zatem
poprawny.
Czsto zdarza si sytuacja, e zgodnie z jedn przesank w jakie miejsce naley wpisa
znak +, a zgodnie z drug . Poniszy przykad pokazuje, jak naley postpi w takim
przypadku.
95
Przykad:
Sprawdzimy
poprawno
nastpujcego
sylogizmu:
Niektrzy
politycy
SiP
Pierwsza przesanka stwierdza, e co musi si znajdowa we wsplnym obszarze
zbiorw S oraz M, chocia nie okrela w ktrej czci tego obszaru (w jednej, drugiej, czy
obydwu). Mamy wic:
P
+?
+?
M
Druga przesanka mwi, e pusty musi by obszar zbioru M leca poza P. Jednake w
jednej czci tego obszaru mamy ju wpisany znak +. W takiej sytuacji naley zauway,
e symbol + opatrzony jest znakiem zapytania, co oznacza, e wcale nie jest konieczne, aby
tam by. Poniewa wynikajcy z drugiej przesanki jest pewny, jemu naley przyzna
pierwszestwo i wpisa go w sporny obszar. Jednoczenie modyfikacji ulec musi drugi z +
wpisany na mocy pierwszej przesanki. Poniewa skasowaniu uleg pierwszy z nich, a
przesanka S i M stwierdza, e o obszarze wsplnym zbiorw S oraz M co musi si
znajdowa, to drugi z plusw staje si pewny i naley zlikwidowa stojcy przy nim znak
zapytania. Po prostu informacje z drugiej przesanki pokazay nam, ktry z niepewnych
plusw, o ktrych informowaa pierwsza przesanka jest tym waciwym. Po wpisaniu
informacji z obu przesanek, diagram wyglda wic nastpujco:
96
M
Pozostaje nam teraz sprawdzi, czy taki rysunek gwarantuje prawdziwo konkluzji
sylogizmu, czyli zdania S i P. Wida, e we wsplnym obszarze zbiorw S oraz P faktycznie
co si na pewno znajduje, a wic konkluzja ta jest prawdziwa. W zwizku z tym badany
sylogizm jest poprawny.
WARTO ZAPAMITA:
SaP
97
M
Czy tak wypeniony diagram gwarantuje nam prawdziwo konkluzji sylogizmu?
Konkluzja ta ma posta S a P, a wic stwierdza, e nic nie moe si znajdowa w obszarze
zbioru S lecym poza zbiorem P. Na rysunku w jednej czci tego obszaru mamy minus (a
wic tam faktycznie na pewno niczego tam nie ma), natomiast w czci drugiej nie
znajdujemy adnego znaku. To, e w danej czci nie wstawilimy adnego symbolu, nie
oznacza jednak, e niczego tam by nie moe, a jedynie, e nie posiadamy adnych informacji
odnonie tego obszaru. Tak wic wypeniony w ten sposb diagram nie gwarantuje nam
wcale, e cz zbioru S leca poza zbiorem P jest na pewno pusta. W zwizku z tym
sylogizm naley uzna za niepoprawny.
+
+
98
Otrzymamy wtedy przesanki: niektre psy s jamnikami, kady jamnik jest jamnikiem
(prawda) oraz wniosek: kady pies jest jamnikiem (fasz).
istnieje ani jeden oznaczany przez ni obiekt. Nazwami pustymi s wic na przykad:
jednoroec, czowiek o wzrocie 3 m, obecny krl polski itp. W sylogizmach takich nazw nie
wolno nam stosowa. Fakt ten niesie ze sob istotn konsekwencj jeli chodzi o wypenianie
diagramw Venna. Zamy na przykad, e na podstawie przesanek sylogizmu
otrzymalimy taki rysunek:
P
M
Spjrzmy teraz na obszary odpowiadajce zbiorom S oraz P. Kady z tych obszarw
skada si z czterech czci, z ktrych w trzech s znaki wiadczce o tym, e nic w nich
nie ma. Jaki mona std wycign wniosek w poczeniu z faktem, e wykorzystane w
sylogizmie nazwy na pewno nie s puste? Oczywicie taki, e z ca pewnoci co musi si
znajdowa w czwartej czci kadego z tych obszarw. A zatem w czci te moemy, a nawet
powinnimy wpisa znaki +:
99
M
Zaoenie o niepustoci terminw nie jest wykorzystywane zbyt czsto, jednak czasami
jest ono konieczne, aby waciwie oceni poprawno sylogizmu.
Przykad:
Zbadamy poprawno sylogizmu: Kady pies jest ssakiem. Kady ssak jest krgowcem.
Zatem niektre krgowce s psami.
SiP
S krgowiec, P pies, M ssak.
Po wpisaniu do diagramu informacji z przesanek mamy rysunek:
P
M
Zanim przystpimy do sprawdzenia, czy taki rysunek gwarantuje nam prawdziwo
konkluzji, powinnimy jeszcze skorzysta z zaoenia o niepustoci nazw uytych w
sylogizmie, a konkretnie o niepustoci nazwy P. Poniewa w trzech czciach zbioru
skupiajacego obiekty okrelane przez P nic na pewno nie ma, jakie elementy musz
znajdowa si w czwartej czci tego zbioru:
100
M
Konkluzja badanego sylogizmu stwierdza, e co znajduje si w czci wsplnej zbiorw
S oraz P. Na rysunku widzimy, e w obszarze tym znajduje si plus, a wic wniosek ten jest
na pewno prawdziwy. Sylogizm ten jest zatem poprawny. Aby t poprawno wykaza,
musielimy jednak skorzysta z zaoenia o niepustoci terminu P. Gdybymy tego nie
uczynili, wynik sprawdzania poprawnoci sylogizmu byby nieprawidowy.
Przykad:
Zbadamy poprawno nastpujcego sylogizmu: aden ptak nie jest ssakiem. Niektrzy
ludzie s ptakami. Zatem niektrzy ludzie nie s ssakami.
SoP
S czowiek, P ssak, M ptak.
Diagram wypeniony wedug przesanek wyglda nastpujco:
101
+
M
Przykad:
Zbadamy poprawno nastpujcego sylogizmu: Kady pies jest ssakiem. Niektre ssaki
maj czarn sier. Zatem niektre psy maj czarn sier.
SiP
P
+?
+?
M
Powyszy rysunek nie gwarantuje prawdziwoci wniosku, czyli tego, e w czci
wsplnej S oraz P co si na pewno znajduje. Tak wic badany sylogizm jest niepoprawny.
Sylogizm ten jest niepoprawny, poniewa pomimo prawdziwoci przesanek i wniosku,
wniosek nie wynika logicznie z przesanek. To, e wszystko s to zdania prawdziwe, jest
pewnego rodzaju zbiegiem okolicznoci, a nie zachodzcych pomidzy nimi zwizkw
logicznych.
Graficzny kontrprzykad stanowi nastpujcy rysunek:
P
103
diagramw
Venna
nie
jest
jedynym
spenia
musi
kady
prawidowy
sylogizm.
czy
spenia
on
wszystkie
warunki
104
stwierdza fakt dotyczcy caych zakresw obu tych nazw. W zdaniu S e P rozoone s zatem
oba terminy. W zdaniu niektre S s P mowa jest o tylko niektrych S, ktre s niektrymi
P w zdaniu tym aden z terminw nie jest wic rozoony. Zdanie niektre S nie s P
stwierdza, e niektrych desygnatw nazwy S nie ma w caym zakresie nazwy P, a wic
rozoony jest tu termin P.
W skrcie:
S a P rozoony termin S
S e P rozoone obydwa terminy S oraz P
DO ZAPAMITANIA:
Sprawdzenie poprawnoci sylogizmu wedug powyszych regu jest bardzo proste: jeeli
cho jeden z wymienionych w nich warunkw zosta zamany, sylogizm naley odrzuci jako
bdny; w przeciwnym wypadku jest on poprawny.
105
Przykad:
przedstawia si nastpujco:
PeM
SiM
SoP
1 warunek jest speniony, poniewa termin M jest rozoony w pierwszej przesance;
2 warunek jest speniony, poniewa druga przesanka jest zdaniem twierdzcym;
3 warunek jest speniony pierwsza przesanka i wniosek s zdaniami przeczcymi;
4 warunek nie ma zastosowania do badanego sylogizmu, poniewa mwi on, co powinno
nastpi, gdyby obie przesanki byy twierdzce. Jako e jedna przesanka jest zdaniem
przeczcym, zamanie czwartej reguy jest w przypadku powyszego sylogizmu niemoliwe;
5 warunek jest speniony. We wniosku rozoony jest termin P, a rwnoczenie jest on
rozoony w pierwszej przesance.
Poniewa aden z warunkw nie zosta zamany, sylogizm naley uzna za poprawny.
Przykad:
SiM
MaP
SiP
1 warunek jest speniony termin M jest rozoony w drugiej przesance;
2 warunek jest speniony obie przesanki s twierdzce;
3 warunek nie ma zastosowania do badanego przykadu, a wic nie mg zosta
zamany;
106
Przykad:
SiM
MaP
SaP
Warunki 1, 2, 3 i 4 s spenione (przy czym warunek 3 dziki temu, e nie ma on
bezporedniego zastosowania). W powyszym sylogizmie zamana zostaa jednake pita
regua termin S pomimo tego, e jest rozoony we wniosku, nie jest rozoony w
przesance. Poniewa jeden z warunkw nie zosta speniony, sylogizm naley uzna za
niepoprawny.
Przykad:
SaM
MoP
SoP
W powyszym sylogizmie zamana zostaa ju pierwsza regua termin redni nie jest
rozoony w adnej przesance. W zwizku z powyszym moemy ju w tym momencie
odrzuci sylogizm jako bdny, nie sprawdzajc dalszych warunkw. Dla porzdku tylko
dodajmy, e pozostae reguy nie zostay zamane.
107
SaP
sprzeczno
podprzeciwiestwo
SeP
podporzdkowanie
podporzdkowanie
SiP
przeciwiestwo
SoP
108
Zalenoci
kwadratu
logicznego
podporzdkowanie,
przeciwiestwo,
Naley rwnie nadmieni, e prawa kwadratu logicznego obowizuj jedynie dla nazw
niepustych. Oznacza to, e terminy S oraz P musz mie jakie desygnaty. Nie mog by to
wyraenia typu: onaty kawaler, niebieski krasnoludek itp.
Podporzdkowanie.
Przeciwiestwo.
Pozioma linia na grze pomidzy SaP oraz SeP to przeciwiestwo. Polega ono na tym,
e wymienione zdania nie mog by zarazem prawdziwe. Czyli, gdy jedno jest prawdziwe, to
drugie musi by faszywe. Symbolicznie:
3) SaP ~ (SeP),
4) SeP ~ (SaP)
109
Na przykad gdy prawdziwe jest zdanie kada papuga jest ptakiem to faszywe musi by
adna papuga nie jest ptakiem. Natomiast, gdy prawdziwe jest adna krowa nie jest ptakiem,
Podprzeciwiestwo.
Pozioma linia na dole, czca zdania SiP oraz SoP, to podprzeciwiestwo. Zdania
podprzeciwne nie mog by zarazem faszywe. Czyli, gdy jedno jest faszywe, to drugie musi
by prawdziwe. Symbolicznie:
5) ~ (SiP) SoP
6) ~ (SoP) SiP
Przykadowo, gdy faszywe jest zdanie niektre kanarki s niedwiedziami, to
prawdziwe jest niektre kanarki nie s niedwiedziami (lub lepiej: istniej kanarki nie bdce
niedwiedziami). Gdy natomiast faszywe jest zdanie niektre aby nie s pazami, to
prawdziwe musi by niektre aby s pazami (lub lepiej: istniej aby bdce pazami).
Zdania podprzeciwne mog by jednak jednoczenie prawdziwe, przykadowo: niektrzy
Polacy s katolikami i niektrzy Polacy nie s katolikami.
Sprzeczno.
Linie skone, czce zdanie SaP z SoP oraz SeP z SiP, reprezentuj sprzeczno.
Sprzeczno oznacza, e zdania te nie mog by zarazem ani prawdziwe, ani faszywe.
Mwic inaczej, maj one zawsze rn warto logiczn; gdy jedno prawdziwe, to drugie
faszywe, a gdy jedno faszywe, to drugie prawdziwe. Symbolicznie:
7) SaP ~ (SoP)
8) ~ (SaP) SoP
9) SoP ~ (SaP)
10) ~ (SoP) SaP
11) SeP ~ (SiP)
12) ~ (SeP) SiP
13) SiP ~ (SeP)
110
to prawdziwe musi by niektre sonie nie yj w Afryce (wzory 7 i 8). Podobne przykady
atwo poda rwnie w odniesieniu do pozostaych wzorw.
Poniszy rysunek moe pomc w zapamitaniu wzorw kwadratu logicznego:
Przykad:
zdanie przeciwne do SaP, a wic SeP aden stru nie jest ptakiem. Wzr 7) stanowi, e
faszywe musi by zdanie sprzeczne z SeP, czyli SoP niektre strusie nie s ptakami.
111
Przykad:
stwierdza natomiast, e prawdziwe musi by zdanie sprzeczne z SiP, czyli SeP aden z
goci nie dotrwa do koca imprezy.
Nie mamy wicej wzorw zaczynajcych si od ~ (SiP). Jednake mamy kolejne dane:
dowiedzielimy si przed chwil, e prawdziwe s zdania SoP i SeP. Musimy wic sprawdzi,
czy z tych faktw nie da si jeszcze czego wywnioskowa. Wzr 2) stwierdza co, co ju
wiemy e prawdziwe jest SoP. Natomiast wzory 4) i 9) daj nam now informacj: faszywe
jest zdanie SaP kady go dotrwa do koca imprezy.
Przykad:
stwierdzi, e, poniewa s to zdania sprzeczne, maj one rne wartoci logiczne; ktre jest
jednak prawdziwe, a ktre faszywe, tego z kwadratu logicznego si nie dowiemy.
112
Przykad:
DO ZAPAMITANIA:
113
Konwersja.
Konwersja polega na zmianie miejsc podmiotu i orzecznika zdania bez zmiany jego
jakoci (czyli zdanie przeczce ma zosta przeczcym, a twierdzce twierdzcym).
Ponisze wzory pokazuj, jaki rodzaj zdania wtedy otrzymujemy.
1) SeP PeS
2) SiP PiS
3) SaP PiS
Zdanie SoP nie podlega konwersji.
Przykadowo, ze zdania adna krowa nie jest strusiem, moemy na mocy konwersji
wywnioskowa, e aden stru nie jest krow; ze zdania niektrzy ministrowie s
przestpcami niektrzy przestpcy s ministrami; a ze zdania kady kij ma dwa koce,
114
Obwersja.
Kontrapozycja.
zupena), ze zdania aden wieloryb nie jest ryb wynika niektre nie-ryby s wielorybami (k.
cz.) oraz niektre nie-ryby nie s nie-wielorybami (k. z.), a ze zdania niektre torbacze nie s
kangurami wynika niektre nie-kangury s torbaczami (k. cz.) oraz niektre nie-kangury nie
s nie-torbaczami (k. z.).
115
Inwersja.
Inwersja, podobnie jak kontrapozycja, moe by czciowa lub zupena. Podlegaj jej
tylko zdania oglne.
Inwersja czciowa:
14) SaP SoP
15) SeP SiP
Inwersja zupena:
16) SaP SiP
17) SeP SoP
Przykadowo, ze zdania kada mysz jest gryzoniem wynika zdanie niektre nie-myszy nie
s gryzoniami (inwersja czciowa) oraz niektre nie-myszy s nie-gryzoniami (inwersja
zupena). Natomiast ze zdania aden indyk nie jest wiem, wynika zdanie niektre nie-indyki
s wiami (i. cz.) oraz niektre nie-wie nie s nie-indykami.
Przykad:
Zobaczymy, co wynika, na mocy poznanych praw, ze zdania: aden demokrata nie jest
faszyst.
Poniewa nasze zdanie ma posta SeP, moemy z niego wycign nastpujce wnioski:
aden faszysta nie jest demokrat (konwersja, wzr 1).
Kady demokrata jest nie-faszyst (obwersja, wzr 5).
Niektrzy nie-faszyci s demokratami (kontrapozycja czciowa, wzr 9).
Niektrzy nie-faszyci nie s nie-demokratami (kontrapozycja zupena, wzr 12).
Niektrzy nie-demokraci s faszystami (inwersja czciowa, wzr 15).
Niektrzy nie-demokraci nie s nie-faszystami (inwersja zupena, wzr 17).
116
Przykad:
Nasze zdanie ma posta SaP. Widzimy wic, e moemy z niego wycign nastpujce
wnioski:
Niektre osoby dyskretne s dobrymi kochankami (konwersja, wzr 3).
adna dobra kochanka nie jest kim niedyskretnym (obwersja, wzr 4).
adna osoba nie bdca dyskretn nie jest dobr kochank (kontrapozycja czciowa,
wzr 8).
Kada osoba niedyskretna jest niedobr kochank (kontrapozycja zupena, wzr 11).
Niektre osoby nie bdce dobrymi kochankami nie s dyskretne (inwersja czciowa,
wzr 14).
Niektre osoby nie bdce dobrymi kochankami s niedyskretne (inwersja zupena, wzr
16).
Przykad:
Sprawdzimy, co na mocy poznanych praw wynika ze zdania: aden nie-ptak nie jest
wrblem.
117
Przykad:
SOWNICZEK.
Bd formalny bd polegajcy na tym, e wniosek rozumowania nie wynika logicznie
z przesanek.
faszywej przesanki.
Desygnat nazwy obiekt oznaczany przez dan nazw. Na przykad kady z nas jest
Nazwa pusta nazwa nie posiadajca ani jednego desygnatu. Na przykad centaur,
jednoroec, czowiek o wzrocie 3 m, onaty kawaler itp.
reprezentuj nazwy): kade S jest P, adne S nie jest P, niektre S s P, niektre S nie s P.
119
Rozdzia III
KLASYCZNY RACHUNEK PREDYKATW.
Wstp.
W niniejszym rozdziale omwiony zostanie kolejny system logiczny, ktry moe suy do
analizy rozumowa klasyczny rachunek predykatw (KRP), nazywany rwnie
klasycznym rachunkiem kwantyfikatorw (KRK). System ten, bdc bardziej zoonym od
rachunku zda czy sylogistyki, nadaje si do analizy takich rozumowa, wobec ktrych
tamte systemy s bezradne.
Szerokie pole zastosowania rachunku predykatw okupione zostaje jednake powan
wad system ten jest o wiele bardziej skomplikowany od dotychczas poznanych.
Sprawne posugiwanie si nim wymaga znacznej wiedzy i uwaane jest czasem za wyszy
stopie wtajemniczenia logicznego. W obecnym rozdziale rachunek predykatw
przedstawiony zostanie w postaci moliwie najprostszej, jednake, nawet mimo tego, jego
opanowanie bdzie wymagao wikszego wysiku, ni to byo konieczne w przypadku
poprzednich systemw. Zrozumienie rachunku predykatw wymaga w miar sprawnego
posugiwania si rachunkiem zda. Przede wszystkim konieczna jest dobra znajomo
spjnikw logicznych oraz tabelek zero-jedynkowych.
rachunku
predykatw
rozpoczniemy,
120
Predykaty s wyraeniami opisujcymi wasnoci lub relacje. Wasno to nic innego, jak
pewna cecha posiadana przez jaki obiekt. Wasnoci jest, na przykad, bycie
inteligentnym (cecha jakiego czowieka), bycie parzyst (cecha liczby), bycie
smacznym, bycie drogim itp. itd. Umwmy si, e predykat opisujcy jak cech
oznacza bdziemy zwykle, dla wygody, przy pomocy pierwszej litery tej cechy. I tak, na
przykad, fakt, e jaki obiekt posiada cech bycia mczyzn, oznaczymy M(x), bycia
bogatym B(x), bycia zarozumiaym Z(x) itp. Gdy w jakim zoonym wyraeniu
pojawi si dwie wasnoci zaczynajce si na t sam liter, to oczywicie jedn z nich
bdziemy musieli oznaczy inaczej.
Relacje to pewne zwizki czce kilka obiektw. Nas bd przede wszystkim
interesoway tak zwane relacje dwuargumentowe, bdce zwizkami wystpujcymi
pomidzy dwoma obiektami. Relacj tak jest na przykad lubienie (jedna osoba lubi
drug osob), bycie wyszym (kto lub co jest wysze od kogo lub czego),
okradzenie (kto okrad kogo) itp. Predykaty oznaczajce takie relacje bdziemy
zapisywali odpowiednio: L(x,y), W(x,y), O(x,y).
Relacjami z wiksz iloci argumentw nie bdziemy si zajmowa. Dla porzdku
podajmy jednak przykady relacji czcych trzy obiekty. Moe by to na przykad relacja
znajdowania si pomidzy (P(x,y,z) obiekt x znajduje si pomidzy obiektem y a
obiektem z), czy te relacja zdradzania z kim (Z(x,y,z) osoba x zdradza osob y z
osob z).
Uwaga na marginesie.
cile rzecz biorc wasnoci te s relacjami tak zwanymi relacjami jednoargumentowymi. Jednake, dla
wikszej jasnoci, w dalszych rozwaaniach termin relacja zarezerwujemy dla relacji dwuargumentowych,
natomiast relacje jednoargumentowe bdziemy nazywali wasnociami.
121
DO ZAPAMITANIA:
122
x P(x) Q(x) jedynie zmienna znajdujca si przy predykacie P (zmienna przy Q jest w
takim razie zmienn woln). W schemacie x(P(x) Q(x,y)) z R(z,x) zmienna x jest
zwizana przy predykacie P oraz Q, natomiast wolna przy R; zmienna y jest wolna (nie ma w
ogle wicego jej kwantyfikatora); zmienna z jest zwizana (przez kwantyfikator )
Pojcie zmiennej wolnej i zwizanej bdzie dla nas istotne, gdy w prawidowo
zapisanych schematach zda jzyka naturalnego nie mog wystpowa zmienne wolne
(mwic inaczej wszystkie zmienne musz by zwizane jakim kwantyfikatorem). Z faktu
tego wynika istotny wniosek kady schemat bdzie musia zaczyna si jakim
(przynajmniej jednym) kwantyfikatorem, ktry bdzie wiza wystpujce dalej zmienne.
adna zmienna nie bdzie moga si pojawi, zanim nie wystpi wicy j kwantyfikator.
Jeli w schemacie nie ma zmiennych wolnych, to mona go zawsze tak odczyta, aby nie
wypowiada sw iks, igrek, zet itp., ktrych przecie w zdaniach jzyka naturalnego nie
uywamy. Przykadowo, gdy przyjmiemy, e predykat F oznacza wasno bycia filozofem,
to schematy x F(x) oraz x F(x) moemy wprawdzie odczyta kolejno: istnieje x bdcy
filozofem, oraz dla kadego x, x jest filozofem, ale o wiele zgrabniej jest powiedzie istniej
filozofowie (niektrzy s filozofami) oraz kady jest filozofem. Zabieg pozbycia si
zmiennych nie jest moliwy, gdy s one wolne; schemat F(x) musimy odczyta: x jest
123
filozofem. To ostatnie wyraenie nie jest na pewno, przynajmniej z punktu widzenia logiki,
Uwaga na marginesie.
To, e w schematach zda jzyka naturalnego nie moe by zmiennych wolnych, nie oznacza, e
zmiennych takich w ogle nie moe by w formuach rachunku predykatw. W rachunku predykatw mog
istnie bowiem formuy (m.in. te, ktre zawieraj zmienne wolne) nie bdce schematami adnego zdania jzyka
naturalnego.
Przykad:
bdcego
odpowiednikiem
124
czym potrzebny nam bdzie jeszcze spjnik koniunkcji. Ostateczny schemat przedstawia si
nastpujco:
x (Z(x) P(x))
Przykad:
WARTO ZAPAMITA.
125
Przykad:
~ x (L(x) A(x))
Przykad:
Przykad:
~ x (D(x) O(x))
Oba te schematy s logicznie rwnowane; mwi one dokadnie to samo. Dyskusje
budzi moe, ktry z nich uzna naley za bardziej pierwotny; lepiej, w sposb bardziej
126
naturalny, oddajcy struktur rozpatrywanego zdania. Wielu logikw twierdzi, e zdanie typu
aden... nie jest... jest zdaniem oglnym (wicej na ten temat w rozdziale o sylogizmach), a
Uwaga na bdy!
Nie zawsze, tak jak w przypadku powyszego przykadu, dwa schematy mona
uzna za rwnie dobre, na podstawie tego, e s one logicznie rwnowane.
Przykadowo do schematu zdania w przykadzie Nie kady logik jest abstynentem
mona utworzy rwnowany mu schemat: x (L(x) ~ A(x)). W tym jednak
przypadku wielu (cho rwnie, nie wszyscy) logikw nie uznaoby tego schematu za
waciwy. Pomimo, e zdania Nie kady logik jest abstynentem oraz Niektrzy logicy
nie s abstynentami (literalne odczytanie drugiego schematu) s logicznie
rwnowane i wyraaj t sam tre (opisuj ten sam fakt), to trudno uzna, e s
to te same zdania.
W wielu podobnych przypadkach nie ma zgody, ktre schematy naley uzna za
poprawne, a ktre nie. Najlepiej kierowa si wskazwk, e schemat powinien w
sposb najbardziej intuicyjny odzwierciedla struktur danego zdania. Jeli zdanie
zaczyna si od zwrotu nie kady, to schemat powinien zacz si od ~ , jeli zdanie
zaczyna si od niektre, to schemat rozpoczynamy od .
127
Wicej predykatw.
Uwaga na bdy!
Nie zawsze jest tak, e dwa okrelenia (tak jak znany i muzyk w poprzednim
przykadzie) odnoszce si do pewnego obiektu daj si rozoy na dwie osobne
cechy. Przykadowo, gdybymy mieli do czynienia ze zdaniem, w ktrym znalazoby
si stwierdzenie, e kto jest dobrym rewolwerowcem, to nie moglibymy rozbi
tego okrelenia na cechy bycia dobrym i bycia rewolwerowcem, gdy wypaczyo by
128
to sens zdania. Wymienione cechy tworz cao jej rozbicie zmienioby znaczenie
jednej z nich bycia dobrym.
Nie istnieje adna metoda pozwalajca jednoznacznie stwierdzi, kiedy
wymienione w zdaniu cechy mona i naley rozoy, a kiedy jest to niemoliwe.
Zawsze bd istniay przypadki graniczne i dyskusyjne. Trudno na przykad ustali,
czy wasno bycia maym soniem moemy rozbi na dwie osobne wasnoci
bycia soniem i bycia maym, czy te trzeba t wasno traktowa jako
nierozkadaln cao.
Wicej kwantyfikatorw.
Przykad:
Zapiszemy schemat zdania: Wszystkie inteligentne kobiety maj powodzenie, ale niektre
z kobiet majcych powodzenie nie s inteligentne.
W zdaniu powyszym widzimy trzy wasnoci: bycia kobiet, bycia osob inteligentn i
posiadania powodzenia. Zdanie to skada si jednak z dwch czci poczonych sowem ale,
czyli odpowiednikiem koniunkcji. Kada z tych czci zaczyna si innym kwantyfikatorem
pierwsza oglnym, druga szczegowym.
x[(K(x) I(x)) P(x)] x[(K(x) P(x)) ~ I(x)]
Co znaczy tylko?
Przykad:
129
DO ZAPAMITANIA.
Pojawiaj si relacje.
130
Przykad:
predykatu
bd
L,
po
znajdoway
ktrym,
si
dwie
Przykad:
131
student przeczyta jak ksik. Nie moemy jednak na razie wstawi predykatu
oznaczajcego relacj przeczytania P(x,y), gdy wystpuje w nim zmienna y, o ktrej nie
wiemy, co miaaby oznacza i ktra, co waniejsze, nie jest zwizana adnym
kwantyfikatorem (a jak powiedzielimy, w prawidowo napisanych schematach zda jzyka
naturalnego, zmienne wolne (nie zwizane) nie mog wystpowa). Gdybymy wstawili teraz
predykat oznaczajcy relacj przeczytania, otrzymalibymy x (S(x) P(x,y)), czyli kady
student przeczyta y. Aby mona byo uy predykatu P(x,y) musimy najpierw umieci w
schemacie kwantyfikator wicy zmienn y. Poniewa w dalszej czci zdania mowa jest o
jakiej ksice, bdzie to zapewne kwantyfikator szczegowy. Mamy wic x S(x) y,
czyli dla kadego studenta istnieje jaki y. Teraz a si prosi, eby napisa czym jest ten y:
x S(x) y K(y) dla kadego studenta istnieje y bdcy ksik, czyli dla kadego
studenta istnieje jaka ksika. Teraz musimy jedynie doda, e jest to ksika, ktr ten
Po napisaniu schematu dobrze jest go sobie odczyta, aby sprawdzi, czy faktycznie
oddaje on tre zdania, ktre ma reprezentowa. Nasz schemat mwi, e dla kadego x, jeli
jest on studentem, istnieje jaki y, ktry jest ksik i ten x (student) przeczyta y (ksik).
Mwic procie: dla kadego studenta istnieje ksik, ktr on przeczyta, czyli dokadnie to,
e kady student przeczyta jak ksik.
Przykad:
132
kadego obiektu y, jeli ten y posiada wasno S, to pomidzy x i y zachodzi relacja lubienia.
Pamitamy oczywicie o nawiasach.
x [W(x) y(S(y) L(x,y))]
Przykad:
133
Czasem przy pisaniu schematu musimy uwzgldni wasno, ktra nie jest w zdaniu
wprost wypowiedziana.
Przykad:
rachunku predykatw mona powiedzie: Dla kadego obiektu, jeli obiekt ten jest
czowiekiem, istnieje inny obiekt, ktry te jest czowiekiem, i ten pierwszy kocha tego
drugiego. A zatem:
x [C(x) y (C(y) K(x,y))]
Przykad:
134
I znowu tylko...
Zdaniami ze zwrotem tylko zajmowalimy si ju, gdy byy w nich obecne jedynie
wasnoci. Bardzo podobnie postpujemy piszc schematy takich zda, w ktrych wystpuj
rwnie relacje.
Przykad:
Co jest x, a co y?
Przykad:
135
Dusze schematy.
Przykad:
Napiszemy schemat zdania: Niektrzy filozofowie pisz niektre ksiki, ktrych nikt przy
zdrowych zmysach nie kupuje.
136
Przy tego rodzaju duszych schematach naley zwraca szczegln uwag na nawiasy
(pamitamy, aby wszystkie zmienne byy zwizane prze kwantyfikatory) oraz o tym, aby przy
wasnociach i relacjach umieszcza waciwe zmienne. Przykadowo, gdy mamy na kocu
napisa, e w pewnej relacji pozostaje kto przy zdrowych zmysach oraz ksika, to musimy
sprawdzi, jakimi zmiennymi wczeniej oznaczylimy obiekty majce wymienione wasnoci.
Nie jest to bd w cisym tego sowa znaczeniu, jednake tworzc schemat, naley
zwykle pisa tak zwany schemat gwny, moliwie najgbiej wnikajcy w struktur zdania,
w ktrym obecne s wszystkie moliwe do wyodrbnienia predykaty i spjniki. Jednake
faktem jest, e nie zawsze do koca wiadomo, kiedy w zdaniu mamy do czynienia z dwiema
osobnymi wasnociami, a kiedy nie.
Kiedy moemy przyj domylnie, e zmienne reprezentuj jeden okrelony typ obiektw i
nie podkrela tego dodatkowo w schemacie, a kiedy musimy cech bycia takim obiektem w
schemacie umieci? Przykadowo, kiedy piszc schemat zdania Kady kogo kocha,
powinnimy uwzgldni w nich wasno bycia czowiekiem i napisa x [C(x) y (C(y)
K(x,y))], a kiedy moemy przyj, e zmienne reprezentuj tylko ludzi i napisa: xy K(x,y)?
137
wygodnie
jest
wzbogaci
go
kilka
138
Przykad:
Napiszemy schemat zdania: Mieczysaw kocha Karolin, ale Karolina nie kocha
Mieczysawa.
Zdanie
powysze
stwierdza,
pomidzy
dwoma
konkretnymi
obiektami
(Mieczysawem i Karolin) zachodzi relacja kochania w jedn stron, natomiast nie zachodzi
ona w drug. Oznaczajc Mieczysawa przez a, a Karolin przez b, otrzymujemy
schemat:
K(a,b) ~ K(b,a)
Przykad:
majca
wasno
bycia
samochodem
Przykad:
Przykad:
Przykad:
140
Przykad:
Uwaga na marginesie.
Przykad:
141
Uwaga na bdy!
lub
kontrtautologicznoci
formuy
142
143
Przykad:
144
W strukturze U1, nasza formua stwierdza, e dla kadego czowieka, jeli czowiek ten
jest kobiet, to jest rwnie matk, czyli w skrcie kada kobieta jest matk, co jest
oczywicie zdaniem faszywym. U1 jest zatem kontrmodelem dla formuy x (P(x) Q(x))
Aby zbudowa model, musimy dobra wasnoci P i Q tak, aby otrzyma zdanie
prawdziwe. W powyszym przykadzie moemy to atwo uczyni zamieniajc wasnoci
miejscami, czyli:
U2 = U = zbir ludzi; P(x) x jest matk, Q(x) x jest kobiet
W strukturze U2, nasza formua stwierdza, e kada matka jest kobiet, co jest oczywicie
zdaniem prawdziwym. U2 jest zatem modelem dla formuy x (P(x) Q(x)).
Skoro zbudowalimy dla formuy kontrmodel i model, oznacza to, e nie jest ona
tautologi ani kontrtautologi.
U4 byaby
Przykad:
145
Przykad:
146
Uwaga na bdy!
Przykad:
147
Przykad:
Wykaemy,
nie
jest
tautologi,
ani
kontrtautologi
formua:
poprzednik jest prawdziwy, a nastpnik faszywy. Nastpnik jest faszywy, gdy jest on
alternatyw, ktrej kady czon jest faszywy.
Teraz musimy zbudowa model dla naszej formuy. Poniewa caa formua ma posta
implikacji, to, zgodnie z tabelkami zero-jedynkowymi moe by ona prawdziwa na trzy
sposoby. Pierwszy, gdy zarwno poprzednik, jak i nastpnik implikacji bd zdaniami
prawdziwymi, drugi, gdy oba bd zdaniami faszywymi, i trzeci, gdy poprzednik bdzie
faszywy, a nastpnik prawdziwy. Z powyszej obserwacji mona wysnu bardzo pomocny
wniosek: gdy sprawimy, e faszywy bdzie poprzednik implikacji, to bez wzgldu na
nastpnik, caa formua stanie si schematem zdania prawdziwego.
Poprzednik naszej implikacji mwi, e kady obiekt ma wasno P lub Q. Aby otrzyma
z tego zdanie faszywe, moemy na przykad w zbiorze ludzi wstawi za P wasno bycia
nauczycielem, a za Q bycia studentem. Tworzymy wic struktur:
U2 = U = zbir ludzi; P(x) x jest nauczycielem, Q(x) x jest studentem
148
U2 stanowi model dla naszej formuy. Umieszczona w nim, daje zdanie Jeli kady
czowiek jest nauczycielem lub studentem, to kady czowiek jest nauczycielem lub kady
czowiek jest studentem. Poniewa zdanie to, majc posta implikacji, ma faszywy
poprzednik (kady czowiek jest nauczycielem lub studentem) i faszywy nastpnik (kady
czowiek jest nauczycielem lub kady czowiek jest studentem), to jest to zdanie prawdziwe.
Poniewa zbudowalimy kontrmodel i model dla naszej formuy, nie jest ona tautologi,
ani kontrtautologi.
Oczywicie wcale nie musimy budowa w przypadku formuy bdcej implikacj modelu
w powyszy sposb. Moemy sprbowa stworzy taki, w ktrym zarwno poprzednik
implikacji, jak i jej nastpnik, byyby zdaniami prawdziwymi. Jednake nie zawsze jest to
proste (na przykad w powyszym przykadzie). Przystpienie do budowy modelu dla takiej
formuy od prby uczynienia faszywym poprzednika implikacji uatwia nam prac w ten
sposb, e, bez wzgldu na warto logiczn nastpnika, otrzymamy w takiej strukturze
zdanie prawdziwe. Na mocy tabelek zero-jedynkowych implikacja z faszywym
poprzednikiem jest bowiem zawsze prawdziwa.
DO ZAPAMITANIA.
obiekt.
Jeli natomiast zdanie skada si z czci powizanych ostatecznie ktrym ze spjnikw
logicznych (np. xP(x) x Q(x)), to prawdziwo lub faszywo takiego zdania oceniamy
korzystajc z tabelek zero-jedynkowych.
149
Przykad:
cae zdanie jest prawdziwe. U2 stanowi zatem model dla naszej formuy.
Poniewa zbudowalimy kontrmodel i model dla badanej formuy, nie jest ona tautologi,
ani kontrtautologi.
150
kontrmodelu zbir liczb. Rozwizanie takie nie bdzie w niczym gorsze od takiego, w ktrym
uniwersum dla modelu i kontrmodelu byoby takie same.
Czy jeli nie mog znale dla jakiej formuy kontrmodelu, to czy oznacza to, e formua
jest tautologi?
Fakt, e nie mona znale kontrmodelu, moe by spowodowany tym, e formua jest
tautologi, jednak nie stanowi w aden sposb na to dowodu. By moe kontrmodel istnieje, a
my po prostu le szukalimy. (Zobacz te odpowied na nastpne pytanie).
Czy buduj model lub kontrmodel mona wykaza, e formua jest tautologi lub
kontrtautologi?
Nie. Przy pomocy modeli i kontrmodeli moemy udowodni jedynie rzecz negatywn
fakt, e formua czym nie jest. Wykazanie, e formua jest tautologi, wymagaoby
pokazania, e jest ona prawdziwa w kadej strukturze (kada struktura jest jej modelem). Z
powodu nieskoczonej iloci struktur, w jakich rozpatrywa mona kad formu, nie jest to
moliwe. Podobnie, wykazanie, e formua jest kontrtautologi wymagaoby rozpatrzenia
wszystkich struktur i pokazanie, e w kadej z nich jest ona faszywa.
151
Przykad:
x ~ P(x)
Jedyna przesanka badanej reguy stwierdza, e nie kady obiekt posiada wasno P,
natomiast jej wniosek gosi, i aden obiekt jej nie posiada. Zawodno powyszej reguy
mona wykaza budujc struktur U = U = zbir ludzi, P(x) x jest Chiczykiem. W
strukturze tej przesanka stwierdza prawdziwie, i nie kady czowiek jest Chiczykiem, za
wniosek, faszywie, e aden czowiek Chiczykiem nie jest.
Przykad:
x (P(x) Q(x))
152
Przykad:
xy R(y,x)
SOWNICZEK
Kontrmodel kontrmodelem formuy rachunku predykatw nazywamy struktur, w
ta jest prawdziwa.
wyraenia jak jest czowiekiem, jest wysoki (wasnoci), lub kocha, jest wyszy od (relacje).
153
154
Rozdzia IV
NAZWY I DEFINICJE.
WSTP.
Obecny rozdzia wie si z logik rozumian szerzej ni tylko jako nauka zajmujca si
badaniem poprawnoci rozumowa. Powicony jest on problematyce zdecydowanie
mniej skomplikowanej ni rachunek zda, sylogistyka, czy te rachunek predykatw.
Omwione s w nim kolejno: rodzaje nazw, zalenoci midzy nazwami, rodzaje definicji
oraz niektre bdy, jakie mog w definicjach wystpi.
Zadania, jakie pojawiaj si w podrcznikach do logiki w zwizku z powysz tematyk,
s o wiele prostsze od zawartych w poprzednich rozdziaach. Dlatego te omwieniu ich
rozwizywania powiecone zostao stosunkowo mao miejsca.
to
wyraenia
suce
do
oznaczania
155
156
b) Nazwy jednostkowe.
S to nazwy majce dokadnie jeden desygnat, na przykad: Paac Kultury i Nauki w
Warszawie, Mieszko I, najdusza rzeka w Polsce itp.
c) Nazwy oglne.
S to nazwy majce wicej ni jeden desygnat, przykadowo: ksika, pose na sejm,
medalista olimpijski itp.
2. Podzia ze wzgldu na sposb istnienia desygnatw.
a) Nazwy konkretne.
S to nazwy, ktrych desygnaty s przedmiotami materialnymi (zajmuj miejsce w
przestrzeni, mona je zobaczy, dotkn, zmierzy itp.), lub byyby takimi, gdyby istniay. W
powyszym okreleniu nazw konkretnych szczeglnie istotny jest zwrot: lub byyby takimi,
gdyby istniay [desygnaty]. Tak wic oprcz takich wyrae jak: ksika, czowiek, Adam
Mickiewicz, do nazw konkretnych zaliczamy rwnie na przykad wyraenia: Smok Wawelski,
uczciwy i inteligentny polityk, czowiek o wzrocie 3 m, jednoroec itp. Przedmioty oznaczane
przez te nazwy wyobraamy sobie bowiem jako obiekty materialne i gdyby istniay, to takimi
by wanie byy.
b) Nazwy abstrakcyjne.
Do grupy tej zaliczamy wszystkie nazwy nie bdce konkretnymi. A wic nazwy uczu,
relacji, wasnoci, zdarze, procesw itp. Do grona nazw abstrakcyjnych zaliczamy rwnie
nazwy liczb i figur geometrycznych. Abstrakcyjnymi s wic takie nazwy jak: mio,
podobiestwo, uczciwo, haas, polityka, mecz pikarski, a take liczba parzysta, trzynacie,
trjkt.
a) Nazwy indywidualne.
Do grona nazwa indywidualnych zaliczamy imiona wasne: nazwiska, nazwy
geograficzne, nazwy statkw itp., a take nazwy utworzone niejako przez wskazanie
palcem, na przykad ten oto czowiek. Nazwy indywidualne przyporzdkowane s danemu
przedmiotowi na mocy arbitralnej decyzji, niezalenie od przysugujcych temu
przedmiotowi cech. Nazwami indywidualnymi s na przykad: Adam Mickiewicz, Giewont,
Warszawa, ta ksika, ktr trzymam w rce itp.
157
b) Nazwy generalne.
S to nazwy, ktre przysuguj przedmiotom ze wzgldu na jakie cechy, ktre tym
przedmiotom przypisujemy. Nazwy generalne to na przykad: poeta romantyczny, szczyt w
Tatrach, stolica Polski, a take naukowiec, samochd, miasto itp.
a) Nazwy ostre.
S to nazwy, w przypadku ktrych da si jednoznacznie okreli ich zakres, a wic
oddzieli ich desygnaty od przedmiotw nimi nie bdcych. Nazwy ostre to na przykad:
tautologia KRZ, minister rzdu RP, napj o zawartoci alkoholu powyej 4,5%.
b) Nazwy nieostre.
W przypadku nazw nieostrych nie istnieje jednoznaczna, obiektywna granica oddzielajca
przedmioty bdce ich desygnatami od przedmiotw desygnatami takimi nie bdcych.
Mwic inaczej, oprcz obiektw na pewno pod dan nazw podpadajcych (desygnatw)
oraz niewtpliwie niepodpadajcych (nie-desygnaty) istniej te i takie, co do ktrych nie
bardzo wiadomo, do ktrej grupy je zaliczy. Nazwami nieostrymi s na przykad: pikna
kobieta, ciekawa ksika, geniusz, nudny wykadowca, tum, pornografia.
Uwaga na bdy!
158
159
160
Zalenoci midzy nazwami to nic innego, jak stosunki zachodzce midzy ich zakresami.
Mog by one nastpujce:
D (A) = D (B) mwimy wtedy, e nazwy A i B s rwnowane. Na przykad: A
Wisa, B najdusza rzeka w Polsce lub A C2H5OH, B alkohol etylowy.
D (A) D (B) mwimy wtedy, e nazwa A jest podrzdna wzgldem nazwy B, lub,
jak kto woli, e nazwa B jest nadrzdna wzgldem A. Na przykad: A dzicio, B
ptak lub A zdolny student, B student.
D (A) )( D (B) mwimy, e nazwy A i B si wykluczaj. Na przykad: A so, B
mrwka lub A czowiek uczciwy, B zodziej.
D (A) # D (B) mwimy, e nazwy A i B si krzyuj (lub e s niezalene). Na
przykad: A czowiek bogaty, B czowiek inteligentny lub A blondynka, B
studentka.
Uwaga na marginesie.
Pena ciso nakazywaaby mwi o zalenociach midzy zakresami nazw, a nie samymi nazwami, a wic
np.: zakres nazwy A jest podrzdny wobec zakresu nazwy B, czy te zakres nazwy A wyklucza si z zakresem
nazwy B, jednak zwykle, dla uproszczenia, mwi si po prostu o stosunkach midzy nazwami.
161
Uwaga na bdy!
Naley pamita, e pytajc o to, czy nazwy maj
wsplne desygnaty, nie chodzi nam o to, czy istnieje jaka cecha czca obiekty
wskazywane przez badane nazwy, a wic na przykad czy istnieje piernik zrobiony
z mki wyprodukowanej w wiatraku, czy te piernik w ksztacie wiatraka, albo
wiatrak w kolorze piernika. Pytajc o wsplne desygnaty pytamy, czy istnieje co,
co byoby jednoczenie i jednym i drugim, a wic, w naszym przykadzie, co
bdcego zarazem piernikiem i wiatrakiem.
Przykad:
162
Przykad:
Przykad:
D (B)
II
III
163
Jak wida, diagram taki skada si z trzech obszarw. W obszary te bdziemy musieli
wpisa znaki + lub w zalenoci od tego, czy co si w nich znajduje, czy te s one
puste.
To, czy w danych obszarach diagramu znajduj si jakie elementy odkrywamy
odpowiadajc na trzy proste pytania:
I czy istnieje A, ktre nie jest B?
II czy istnieje A, ktre jest B?
III czy istnieje B, ktre nie jest A?
Przy zaoeniu, e adna z nazw nie jest nazw pust, moemy otrzyma jeden z
nastpujcych rysunkw wiadczcych o zalenociach midzy badanymi nazwami.
D (A)
D (B)
+
D (A)
+
A i B wykluczajce si
A podrzdne do B
D (B)
+
D (A)
+
D (B)
D (A)
+
A i B rwnowane
D (B)
D (A)
A nadrzdne do B
D (B)
+
A i B si krzyuj
164
WARTO ZAPAMITA!
D (A)
+
D (B)
+
A - nie-pies
B - nie-wydra
165
Przykad:
D (A)
D (B)
+
A - nie-ojciec
B - nie-dziadek
Otrzymany rysunek wskazuje, e nazwa nie-ojciec jest podrzdna wzgldem nazwy niedziadek lub, jak kto woli, nazwa nie-dziadek jest nadrzdna do nie-ojciec.
166
167
WARTO ZAPAMITA!
2)
Do nazwy tej doda przymiotnik oznaczajcy cech, ktr niektre (ale nie wszystkie!)
desygnaty A posiadaj.
(Niektre (cho nie wszystkie) sonie yj w Afryce, wic cech t dodalimy do nazwy
zwierz)
Otrzymamy zapewne nazw krzyujc si z A. W razie wtpliwoci mona to sprawdzi
przy pomocy diagramw Venna.
Przykad:
168
Uwaga na bdy!
4.3. DEFINICJE.
4.3.1. YK TEORII.
Definicja to wyraenie podajce informacje o znaczeniu
jakiego sowa lub zwrotu. Najczciej spotykane s tak
zwane
definicje
rwnociowe
(nazywane
rwnie
definiowanego
(tak
zwanego
definiendum),
169
Ze wzgldu na to, jaki cel przywieca autorowi tworzcemu dan definicj, moemy
wyrni trzy rodzaje definicji:
a) Sprawozdawcze (analityczne).
Zadaniem takiej definicji jest wierne oddanie znaczenia terminu definiowanego, tak jak
funkcjonuje ono w danym jzyku. Definicja taka stanowi sprawozdanie z oglnie przyjtej
treci danego terminu. Ogromn ilo definicji sprawozdawczych znale mona w
dowolnym sowniku jzyka polskiego. Definicj tak jest rwnie podane wyej okrelenie
sowa zegar.
b) Regulujce.
Zadaniem definicji regulujcej jest precyzacja jakiego terminu nieostrego. Konieczno
zastosowania takich definicji wystpuje najczciej w prawodawstwie. Przykadowo w celu
umoliwienia wpisywania do dowodw osobistych w rubryce wzrost sw: niski, redni,
wysoki, konieczne stao si podanie definicji regulujcych znaczenie tych nieostrych
terminw. Tak powsta moga definicja: Przez wysokiego mczyzn rozumie bdziemy
mczyzn mierzcego ponad 175 cm wzrostu. Podobny rodowd moe posiada definicja
Czowiek penoletni to osoba, ktra ukoczya osiemnasty rok ycia.
Czasem, gdy przyjte w definicji regulujcej znaczenie danego terminu staje si
powszechne, definicja taka moe przeksztaci si w sprawozdawcz.
c) Konstrukcyjne (arbitralne).
Zadaniem takiej definicji jest wprowadzenie do jzyka nowego terminu lub nadanie ju
istniejcemu nowej treci, ignorujcej dotychczasow. Definicje takie wystpuj najczciej
w nauce, na przykad gdy wynalazca nadaje nazw zbudowanemu przez siebie urzdzeniu i
okrela, co naley pod t nazw rozumie. Z czasem utworzone w ten sposb definicje
konstrukcyjne, podobnie jak regulujce, mog sta si sprawozdawczymi.
Definicje konstrukcyjne wystpuj rwnie na pocztku rnego rodzaju zbiorw
przepisw lub zawieranych umw i okrelaj, co dane sowa bd oznacza w dalszym cigu
tekstu. Na przykad: Pieszy osoba, znajdujca si poza pojazdem na drodze i nie
wykonujca na niej robt lub czynnoci przewidzianych odrbnymi przepisami, lub: Warto
polisy jest to warto obliczana jako suma wartoci jednostek funduszy przypisanych do
danego rachunku po zarachowaniu z tytuu skadki regularnej oraz dokonaniu stosownych
170
odlicze i potrce, gdzie rodki zgromadzone w danym funduszu ustala si jako iloczyn
liczby jednostek tego funduszu zarachowanych z tytuu skadki regularnej znajdujcych si na
odpowiednim rachunku oraz wartoci jednostki tego funduszu.
Gdy definiendum (A) jest podrzdne do definiensa (B), to mwimy, e definicja jest za
szeroka;
171
Przykad:
D (A)
D (B)
+
A - termometr
B - przyrzd do mierzenia
172
Przykad:
SOWNICZEK.
Definiendum (termin definiowany) termin, ktrego znaczenie podaje definicja.
definiowanego.
Desygnat nazwy obiekt oznaczany przez dan nazw. Na przykad kady z nas jest
173
ktre temu przedmiotowi przypisujemy. Na przykad: poeta romantyczny, miasto nad Wis,
student.
samochd.
Nazwa pusta nazwa nie majca ani jednego desygnatu. Na przykad: jednoroec,
czowiek o wzrocie 3 m.
174
Rozdzia V
ZBIORY.
WSTP.
Obecny rozdzia wraz z kolejnym powiconym relacjom, peni rol w pewnym sensie
pomocnicz. Omawiane w nich problemy nie dotycz bezporednio logiki w jej tradycyjnym
rozumieniu, jako dziedziny zajmujcej si badaniem poprawnoci wnioskowa. Poniewa
jednak w XX wieku logika zostaa silnie zwizana z matematyk, takie dziedziny jak teoria
zbiorw i relacji uwaane s wspczenie za jej penoprawne dziay.
Ze zbiorami i relacjami spotkalimy si ju we wczeniejszych rozdziaach. Obecnie
pojcia te zostan omwione w sposb bardziej cisy i systematyczny. Bdzie si to wizao,
niestety, z wiksz iloci koniecznej to opanowania teorii. Jednake, jak zwykle, najwikszy
nacisk pooony zostanie na rozwizywanie typowych zada, spotykanych w podrcznikach
do logiki w czciach powiconych zbiorom i relacjom.
175
moemy wic napisa: a A, b A oraz c A. To, e obiekt nie jest elementem zbioru,
zapisujemy przy pomocy znaku: . Powiemy, na przykad: d A.
Wypisanie elementw w klamrowych nawiasach nie jest jedyn metod przedstawienia
zbioru. Mona to uczyni rwnie podajc swego rodzaju przepis wedug ktrego kto,
gdyby chcia, mg elementy zbioru wypisa. Przepis taki moe by mniej lub bardziej
formalny. Zbir D = {1, 2, 3, 4} moemy przedstawi na przykad: D zbir liczb
naturalnych mniejszych od 5; lub bardziej formalnie: D = {x: x N x < 5} (gdzie N
oznacza zbir liczby naturalnych). Zapis typu {x: ...} odczytujemy: zbir takich iksw
(elementw), e..., a wic, w naszym wypadku, powiedzielibymy: zbir takich x, ktre
s liczbami naturalnymi i s jednoczenie mniejsze od 5.
Elementami jakiego zbioru mog by nie tylko zwyke obiekty, ale rwnie inne zbiory.
Na przykad X = { {a, b}, {c}, {d, e, f, g} }. Zbir X ma trzy elementy, ktre z kolei same
te s zbiorami. To, e te pomniejsze zbiory te maj swoje elementy, nie ma adnego
wpywu na ilo elementw X. X ma trzy elementy, poniewa w jego gwnych
nawiasach klamrowych znajduj si trzy obiekty oddzielone przecinkami.
Oczywicie zbiory mog mie elementy rnego typu: zarwno zwyke przedmioty, jak i
inne zbiory. Na przykad: Y = { {a, b}, c, d, {e, f, g, h} }; zbir Y ma cztery elementy: c,
d, {a,b} i {e, f, g, h}.
Okrelajc elementy zbiorw trzeba bardzo uwanie przyglda si nawiasom klamrowym.
Przykadowo zupenie rne s zbiory: A = {a, b, c} oraz E = { {a, b, c} }. Zbir A ma trzy
elementy, natomiast E jeden, sam bdcy zbiorem.
Trzeba rwnie koniecznie zda sobie spraw, e rne od siebie s nastpujce zbiory: F
= {a} oraz G = { {a} }. Wprawdzie obydwa maj po jednym elemencie, jednak elementem
F jest po prostu zwyky obiekt a, natomiast elementem zbioru G jest zbir, ktrego
elementem jest a.
176
Zbiory si krzyuj gdy maj one pewne elementy wsplne, ale oprcz nich w kadym
zbiorze znajduj si rwnie takie obiekty, ktrych nie ma w drugim. Krzyowanie
zbiorw oznaczamy najczciej przy pomocy dwch zazbiajcych si nawiasw, jednake
z przyczyn technicznych (brak takiego symbolu w edytorze tekstu) bdziemy na
oznaczenie krzyowania uywali obecnie znaku: #. Symbolicznie krzyowanie zbiorw
definiujemy:
A # B x (x A x B) x (x A x B) x (x A x B)
Krzyuj si na przykad zbiory: A = {a, b, c, d} i B = {a, b, e} lub A zbir ssakw, B
zbir drapienikw (istniej ssaki bdce drapienikami, ale te ssaki nie bdce
drapienikami oraz drapieniki nie bdce ssakami).
Odnonie przedstawionych zalenoci pomidzy zbiorami dobrze jest zauway, e
stosunki identycznoci, rozcznoci oraz krzyowania si zbiorw s symetryczne.
Oznacza to, e jeli taka zaleno zachodzi w jedn stron, to zachodzi rwnie w
drug. Jeli A = B, to rwnie B = A, jeli A )( B, to rwnie B )( A, a jeli A # B, to
rwnie B # A. A zatem w przypadku tych stosunkw nie jest istotna kolejno, w jakiej
wypiszemy pozostajce w nich zbiory. Inaczej ma si sytuacja w przypadku inkluzji. Tu
fakt, e A B, nie oznacza, e B A.
Zalenoci midzy zbiorami mona przedstawi graficznie:
A
B
A
Identyczno (A = B)
Inkluzja (A B)
177
Rozczno (A )( B)
Krzyowanie (A # B)
drugiego. A zatem zbiory te musz si krzyowa. Faktycznie maj one element wsplny
2, ale jest te taki element ktry jest tylko w B 3 oraz elementy bdce tylko w D 1 i 4.
Pozostao nam jeszcze okrelenie stosunku pomidzy zbiorami C i D. Tutaj widzimy, e
kady element D jest elementem C. A wic zbir D zawiera si w C. Pamitamy, e w
przypadku inkluzji istotne jest, ktry zbir zawiera si w ktrym, a wic piszemy: D C.
Ostateczne rozwizanie zadania wyglda nastpujco:
A )( B, A C, A D, B C, B # D, D C
Przykad:
179
180
Porwnujc B oraz C ju na pierwszy rzut oka widzimy, e nie mog mie one adnego
wsplnego elementu, poniewa elementami B s zbiory, natomiast elementami C zwyke
obiekty. Tak wic B i C s rozczne. Zbiory B i D maj jeden wsplny element: zbir {a,
b}. Jednoczenie w B jest element, ktrego nie ma D zbir {c, d, e}, natomiast w D
elementy, ktrych nie ma w B a, b. Zbiory B i D si zatem krzyuj. Analogiczna
sytuacja zachodzi w przypadku B i E.
Nie powinno nikomu sprawi trudnoci zauwaenie, e krzyuj si rwnie zbiory C i D,
C i E oraz D i E.
Ostateczne rozwizanie, to zatem:
A )( B i A B, A C, A D i A D, A # E i A E,
B )( C, B # D, B # E,
C # D, C # E,
D # E.
Zadanie:
181
B # C, B )( D i B D,
C )( D.
183
e) B C
Rnic B i C tworzymy biorc zbir B i wykrelajc z niego te elementy, ktre
znajdziemy rwnie w C. Okazuje si, e postpujc w ten sposb, pozbywamy si
wszystkich elementw. Czyli: B C = .
Zauwamy, e wynik rnicy (podobnie jak odejmowania liczb) zaley od kolejnoci
zbiorw; B C, to co innego ni C B.
f) B A
W powyszym przykadzie mamy dwa dziaania. Najpierw musimy wykona B, a potem
od tego odj zbir A. Dopenienie B to zbir: {1, 4, 5}. Gdy odejmiemy od niego A, czyli
{4}, zostanie zbir zoony z 1 i 5. A zatem: B A = {1, 5}.
g) C D
Dopenienie zbioru D, to {3, 5}. Z elementw tych jedynie 3 jest elementem C, a wic:
C D = {3}.
h) D (A C)
W tym przypadku musimy najpierw wykona dziaanie w nawiasie. Iloczyn A i C to zbir
{4}. A wic ostatecznie wykonujemy dziaanie: D {4}. Tak wic D (A C) = {1, 2}
i) D (C B)
Suma C i B, ktre to dziaanie musimy wykona najpierw, to zbir: {1, 2, 3, 4}. Gdy
odejmiemy go od zbioru D, otrzymamy zbir pusty. Zatem: D (C B) =
Przykad:
184
185
186
187
Uwaga na bdy!
Przykad:
188
Uwaga na bdy!
Uwaga na bdy!
Jeli w pewnym miejscu mamy znak negacji przed
nawiasem (tak jak w prawej czci naszej rwnowanoci) to negacj tak
zostawiamy w tym miejscu. Nie wolno jej pod adnym pozorem wciska do
rodka nawiasu lub robi z niej dwch negacji. Bdne byyby nastpujce
przeksztacenia prawej strony naszej formuy: (~ x A x B) lub ( ~ x A ~ x
B).
Dowiadczenie wskazuje, e takie bdy s bardzo czsto popeniane przez
studentw, dlatego warto dobrze sobie zapamita powysz uwag.
W tym momencie moemy ostatecznie przeksztaci nasz formu na wyraenie rachunku
zda podstawiajc p za x A oraz q za x B. Otrzymamy wzr:
(~ p ~ q) ~ (p q)
atwo sprawdzi, e powysza formua jest tautologi (pamitamy, e w przypadku
rwnowanoci musimy rozpatrzy dwie moliwoci):
189
10 110 0 0 010
(~ p ~ q) ~ (p q)
10 0 10 0 1 000
Poniewa otrzymana formua jest tautologi, badane wyraenie jest prawem rachunku
zbiorw.
Przykad:
190
191
A )( B
~ (A )( B) lub A B
Fakt, e zbiory A i B nie s rozczne lub, ujmujc rzecz inaczej, ich iloczyn nie jest
zbiorem pustym, oznaczamy wpisujc znak + w cz wspln tych zbiorw.
A
~ (A )( B)
A B
AB
Fakt, e rnica zbiorw A i B nie jest zbiorem pustym, zaznaczamy wpisujc + w cz
diagramu reprezentujc zbir A B, a wic obszar A lecy poza B.
A
B
AB
AB
Fakt, e zbir A zawiera si w B zaznaczamy, wpisujc w obszar A znajdujcy si
poza B. Skoro bowiem A ma si zawiera w B, to adna cz A nie moe wystawa
poza B. W cz wspln, wbrew pozorom, nie moemy wpisa +, gdy nie mona
wykluczy, e A jest zbiorem pustym. Jedyne, co wiemy na pewno, to fakt, e nic nie ma
w czci A lecej poza B.
A
B
AB
A B
192
B
A B
Uwaga na bdy!
A#B
193
A B
C
A B
Cz wsplna dopenienia zbioru A oraz zbioru B, to ten obszar B, ktry znajduje si
poza A prawy pksiyc zbioru B. Musimy przedstawi fakt, e cz ta nie jest pusta.
Poniewa obszar ten skada si z dwch czci, kto mgby pomyle, e w obie te czci
musimy wpisa znak +. Tak jednak nie jest. Ju jeden + w ktrymkolwiek, dolnym lub
grnym kawaku rozwaanego pksiyca, sprawi, e iloczyn A oraz B nie bdzie pusty.
W zwizku z powyszym, nie mamy pewnoci, gdzie znak plusa postawi. Niepewno t
wyrazimy dodajc znak zapytania przy kadym z plusw. Pytajniki te bd oznacza, i
wiemy, e w ktrym z rozwaanych obszarw (a by moe i w obydwu), co si znajduje,
jednak cakiem moliwe jest rwnie, e jeden z nich jest pusty.
B
+?
A B
+?
C
Uwaga na marginesie.
W praktyce, gdy bdziemy wykorzystywali diagramy do rozwizywania zada, czsto bdzie si zdarza, e
dysponujc innymi informacjami, bdziemy wiedzieli, ktry z wtpliwych plusw na pewno nie moe
wystpi w danym miejscu. Wtedy drugi plus bdziemy wpisywali na pewno, bez adnego znaku
zapytania. Dopki jednak nie moemy adnego z plusw wykluczy, pytajniki musz pozosta.
194
DO ZAPAMITANIA:
A B C
ABC
To, e iloczyn A i B zawiera si w C, oznacza, e adna cz tego iloczynu (czyli czci
wsplnej A i B nie moe znajdowa si poza C. W praktyce daje to tylko jeden minus w
grnej czci iloczynu A i B.
B
A B C
195
Przykad:
196
C
Teraz dopiszemy jeszcze, e B zawiera si w C:
B
C
Po zaznaczeniu na diagramie wszystkich informacji zawartych w poprzedniku musimy
sprawdzi, czy gwarantuje nam to prawdziwo nastpnika. Widzimy, e faktycznie
nastpnik musi by prawdziwy. Mamy pewno, e zbir A zawiera si w C, gdy w
odpowiednim obszarze mamy minusy wiadczce, e A nie moe wystawa poza C; s
to dwa minusy w grnej czci zbioru A.
Skoro w badanym wyraeniu, majcym posta implikacji, nie jest moliwe aby poprzednik
by prawdziwy, a nastpnik faszywy (mwic inaczej, prawdziwo poprzednika
gwarantuje prawdziwo nastpnika), oznacza to, e wyraenie to jest prawem rachunku
zbiorw.
Przykad:
197
C
Rysunek ten nie daje nam jednak gwarancji, e nastpnik jest prawdziwy. Aby mie
pewno, e zbiory A i C s rozczne, musielibymy mie minusy w caym obszarze
wsplnym tych zbiorw. Tymczasem w jednej czci tego obszaru nie ma adnego znaku.
Oznacza to, e nic nie stoi na przeszkodzie, aby co tam mogo si znajdowa. Poniszy
rysunek pokazuje wyranie, e da si zaznaczy na diagramie prawdziwo poprzednika
implikacji i jednoczenie faszywo jej nastpnika.
B
C
Badane wyraenie nie jest zatem prawem rachunku zbiorw.
Powyszy rysunek stanowi graficzny kontrprzykad, pokazujcy, e badana implikacja nie
jest zawsze prawdziwa. Moemy rwnie poda kontrprzykad materialny to znaczy
wymyli takie zbiory A, B i C, aby pokaza, e badane wyraenie moe by faszywe.
Mog by to przykadowo takie zbiory: A zbir drzew liciastych, B zbir drzew
iglastych, C zbir dbw. Prawd jest, e A )( B oraz B )( C, natomiast A i C wcale
rozczne nie s.
198
A
+?
+?
C
Drugi czon poprzednika implikacji informuje nas, e pusty musi obszar wsplny A oraz
C, czyli ta cz zbioru A, ktra znajduje si poza zbiorem C. Na naszym rysunku s to
dwa grne kawaki zbioru A. Widzimy, e w jednej z tych czci znajduje si znak +?.
Poniewa jednak znak zapytania wiadczy, e co w tym obszarze moe si znajdowa, ale
nie jest to konieczne, a teraz otrzymujemy informacje, e na pewno nic tam nie ma, to
wynikajcy std minus jest silniejszy od plusa ze znakiem zapytania i dlatego wanie
powinien si tam ostatecznie znale. Jeli jednak jeden ze znakw +? zamienimy na
minus, to wynika std, e drugi z plusw staje si pewny i widniejcy przy nim pytajnik
powinnimy zlikwidowa. Skoro bowiem dotd wiedzielimy, ze w jednym z dwch
obszarw co jest, lecz nie mielimy pewnoci w ktrym, a teraz dowiedzielimy, e
pierwszy jest pusty, to w takim razie na pewno zapeniony musi by obszar drugi. A zatem,
po wpisaniu caego poprzednika implikacji, diagram bdzie si przedstawia nastpujco:
199
C
Teraz musimy sprawdzi, czy tak wykonany rysunek daje nam gwarancj prawdziwoci
nastpnika implikacji, a wic czy na pewno B C . W jednym kawaku czci
wsplnej zbiorw B i C mamy plus, ktry daje nam gwarancj, e obszar ten z pewnoci
nie jest pusty. Badane wyraenie jest zatem prawem rachunku zbiorw.
A
+?
+?
C
Musimy teraz sprawdzi, czy powyszy rysunek gwarantuje nam, e C B . Cz
wsplna dopenienia C oraz B to obszar zbioru B lecy poza C, czyli grny pksiyc
zbioru B. W jednej czci tego obszaru znajduje si wprawdzie plus, jednak jest on z
200
pytajnikiem, co oznacza, i nie mamy gwarancji, e jest on tam na pewno. Nie mamy
zatem pewnoci, e nastpnik badanej implikacji jest prawdziwy, a wic nie jest ona
prawem rachunku zbiorw.
Rysunek pokazujcy, e pomimo prawdziwoci poprzednika, nastpnik implikacji moe
by faszywy, wyglda nastpujco:
B
201
Teraz musimy sprawdzi, czy mamy pewno, e obszar zbioru B lecy poza C (czyli B
C) jest pusty. W jednej czci tego obszaru mamy znak , w drugiej natomiast nie ma
nic. To, e nie mamy tam wpisanego adnego symbolu, nie oznacza jednak, ze nic tam nie
ma, a jedynie, e nie mamy na temat tej czci adnych informacji. Pewno, e obszar jest
pusty, mielibymy jedynie wtedy, gdyby umieszczony by w nim minus. Tymczasem nic
nie stoi na przeszkodzie, aby w wolne miejsce wpisa plus:
B
Poniewa, jak wida na powyszym rysunku, da si wypeni diagram w ten sposb, aby
poprzednik implikacji by prawdziwy, a nastpnik faszywy, badane wyraenie nie jest
prawem rachunku zbiorw.
202
A
+?
+?
+?
+?
+?
+?
C
Gdy dodamy to tego informacj, e niepusta jest rwnie suma B i C otrzymamy rysunek:
B
A
+?
+?
+?
+?
+?
+?
+?
C
203
Czy moemy teraz sprawi, aby prawdziwe byy oba czony poprzednika implikacji?
Stanie si tak, gdy wpiszemy znak + w jedyne wolne pole:
B
SOWNICZEK:
Dopenienie zbioru dopenienie zbioru A to zbir zawierajcy te elementy uniwersum,
ktre nie nale do A.
Identyczno zbiorw zbiory A i B s identyczne (A = B), gdy maj dokadnie te same
elementy.
Iloczyn zbiorw iloczyn (przekrj) zbiorw A i B (A B) to zbir zawierajcy
elementy nalece zarwno do A jak i do B.
Inkluzja (zawieranie si zbiorw) zbir A zawiera si w zbiorze B (A B), gdy kady
element A jest elementem B.
Krzyowanie zbiorw zbiory A i B si krzyuj (A # B), gdy maj one wsplne
elementy, ale rwnoczenie do kadego z nich nale takie elementy, ktre nie nale do
drugiego.
Rozczno zbiorw zbiory A i B s rozczne (A )( B), gdy nie majc ani jednego
wsplnego elementu.
204
205
Rozdzia VI
RELACJE.
WSTP.
Obecny rozdzia powicony bdzie relacjom. Z relacjami zetknlimy si ju w czci
powiconej rachunkowi predykatw. Obecnie zostan one omwione o wiele dokadniej.
Bdzie to rozdzia najbardziej teoretyczny ze wszystkich; zadania bd stanowiy niewielki
procent caoci. Wynika to z faktu, i zwizane z relacjami zadania polegaj zwykle na
wykrywaniu pewnych wasnoci podanych relacji. Aby mc je rozwiza, trzeba przede
wszystkim posiada teoretyczn wiedz o tych wasnociach. Gdy wiedza ta zostanie zdobyta,
rozwizanie takiego zadania jest zwykle niemal oczywiste.
206
Symbolicznie relacje moemy oznacza na rne sposoby. Zwykle fakt, ze dwa obiekty x
i y s ze sob w relacji R zapisujemy R(x,y) lub xRy. Spotyka si te zapis (x,y) R (para x,
y naley do relacji R).
Do lepszego zrozumienia relacji potrzebne nam bdzie pojcie tak zwanej pary
uporzdkowanej oraz iloczynu kartezjaskiego dwch zbiorw.
Para uporzdkowana.
Jak pamitamy z poprzedniego rozdziau, w zwykym zbiorze nie jest istotna kolejno
elementw, w jakiej je wypiszemy. I tak na przykad zbir X = {a, b} jest rwny zbiorowi Y
= {b, a}. Inaczej ma si rzecz w przypadku tak zwanych par uporzdkowanych, w skrcie
zwanych po prostu parami. Elementy par wypisujemy w nawiasach skonych, np. a, b lub,
czasem, zwykych (a, b). W przypadku pary kolejno elementw ma kluczowe znaczenie. I
tak para a, b nie jest rwna parze b, a; s to zupenie rne obiekty.
Iloczyn kartezjaski.
Iloczyn kartezjaski to pewne specyficzne dziaanie na zbiorach, o ktrym jednak nie byo
mowy w rozdziale powiconym zbiorom. Iloczyn kartezjaski symbolicznie oznaczamy
znakiem . Zbir, ktry powstaje w wyniku wykonania takiego dziaania, nie jest zwykym
zbiorem, ale zbiorem, ktrego elementy stanowi pary. Dokadniej, iloczyn kartezjaski
zbiorw X i Y (czyli X Y) to zbir wszystkich par, takich, w ktrych na pierwszym miejscu
jest element zbioru X, a na drugim element zbioru Y. Przykadowo, jeli X = {a, b, c},
natomiast Y = {1, 2}, to iloczyn kartezjaski X Y = {a, 1, a, 2 , b, 1, b, 2, c, 1, c,
2}.
Kwadrat kartezjaski jakiego zbioru X, oznaczany symbolicznie X2, to nic innego, jak
iloczyn kartezjaski zbioru X z sob samym, czyli X X. Jeli zatem X = {a, b, c}, to X2 =
{a, a, a, b , a, c, b, a, b, b, b, c, c, a, c, b, c, c}
Pojcia pary uporzdkowanej oraz iloczynu kartezjaskiego czy si z teori relacji w ten
sposb, e kad relacj moemy przedstawi (przynajmniej teoretycznie) jako zbir par. Jeli
relacja okrelona jest w pewnym uniwersum, to moemy powiedzie, e relacja ta zawiera si
w kwadracie kartezjaskim tego uniwersum (stanowi podzbir kwadratu kartezjaskiego tego
uniwersum). Mwic po prostu, relacja to niektre (a czasem wszystkie) pary, jakie mona
utworzy z elementw uniwersum.
207
prawostronn,
nazywan
rwnie
ktre
pozostaj
do
jakiego
208
par: R = {2,1, 3,1, 3,2, 4,1, 4,2, 4,3}, atwo zauwaymy, e DL(R) = {2, 3, 4}. W
przypadku relacji bycia on dziedzin lewostronn stanowi bdzie zbir kobiet zamnych.
Dziedzina prawostronna (przeciwdziedzina) relacji R to, jak atwo si domyli, zbir
tych przedmiotw, do ktrych jaki przedmiot pozostaje w R. Symbolicznie: DP(R) = {y: x
(xRy)}. W przypadku naszej relacji wikszoci DP(R) = {1, 2, 3}, natomiast przeciwdziedzin
relacji bycia on stanowi bdzie (jeli ograniczymy si do maestw heteroseksualnych)
zbir onatych mczyzn.
Pole relacji to po prostu suma dziedziny lewej i prawej. Symbolicznie P(R) = DP(R)
DL(R). W naszej relacji wikszoci P(R) = {1, 2, 3, 4}. W tym przypadku pole pokryo si z
uniwersum, jednak nie jest to wcale konieczne. Wida to na przykadzie relacji bycia on,
gdzie pole to zbir ludzi pozostajcych w zwizkach maeskich (bdcych on lub
majcych on), a wic nie cae uniwersum.
Uwaga na bdy!
209
Przykad:
Okrelimy dziedzin, przeciwdziedzin i pole relacji bycia matk (xRy x jest matk y)
okrelonej w zbiorze wszystkich ludzi (yjcych kiedykolwiek, a nie tylko aktualnie).
Gdybymy chcieli przedstawi nasz relacj w postaci zbioru par, to na pierwszym
miejscu byaby kadorazowo kobieta posiadajca przynajmniej jedno dziecko, natomiast na
drugim osoba bdca dzieckiem tej kobiety. Oczywiste wic jest, e dziedzin lewostronn
naszej relacji stanowi bdzie zbir kobiet majcych dzieci. Dziedzina prawa to zbir osb,
ktre maj matk. Poniewa nasze uniwersum stanowi zbir wszystkich ludzi kiedykolwiek
yjcych, to o kadym czowieku mona powiedzie, e ma on (aktualnie lub kiedy yjc)
matk; kady wic znajdzie si jako element jakiej pary z prawej strony. A zatem
przeciwdziedzina naszej relacji to zbir wszystkich ludzi. Skoro jedna z dziedzin stanowi ju
cae uniwersum, to oczywiste jest, e rwnie pole naszej relacji bdzie rwne uniwersum,
czyli zbiorowi wszystkich ludzi.
Przykad:
Przykad:
Okrelimy dziedziny i pole okrelonej w zbiorze wszystkich ludzi relacji bycia przeciwnej
pci (xRy x jest przeciwnej pci ni y).
Gdybymy chcieli wypisa niektre z par nalecych do naszej relacji otrzymalibymy R
= Jan, Maria, Maria, Mieczysaw, Karolina, Zenon, Zenon, Karolina, Zenon,
Maria...}
Wida wyranie, e kady czowiek znajdzie si (wielokrotnie) zarwno z lewej strony
jakiej pary, jak i z prawej strony; do kadego mona bowiem dobra kogo przeciwnej pci.
210
A zatem w tym przypadku dziedzina prawa, rwna si dziedzinie lewej, rwna si polu relacji
i stanowi cae uniwersum, czyli zbir wszystkich ludzi.
Uwaga na bdy!
Przykad:
Okrelimy dziedziny i pole okrelonej w zbiorze wszystkich ludzi relacji bycia w tym
samym wieku (xRy x jest w tym samym wieku co y).
Gdybymy
wypisali
pary
nalece
do
Uwaga na marginesie.
uniwersum.
Relacja
posiadajca
dan
wasno w jednym uniwersum, moe nie posiada jej w innym. Dlatego, cile rzecz biorc,
w poniszych wzorach wyraenia x (dla kadego x) powinny przybiera form x U (dla
kadego x nalecego do danego uniwersum); podobnie x (istnieje takie x) x U
(istnieje takie x nalece do U). Aby zbytnio wzorw nie komplikowa, nie bdziemy tak
jednak pisa, domylnie przyjmujc, e kadorazowo chodzi nam jedynie o elementy z
danego uniwersum.
Zwrotno.
Mwimy, e relacja jest zwrotna, gdy kady element uniwersum jest w tej relacji do
siebie samego. Symbolicznie:
R jest zwrotna x (xRx)
Przykadem relacji zwrotnej jest bycie w takim samym wieku (w zbiorze ludzi) lub bycie
sobie rwn (w zbiorze liczb). Kady czowiek jest bowiem w takim samym wieku w
stosunku do siebie samego, a kada liczba jest rwna sobie samej.
Relacja jest przeciwzwrotna, gdy aden element uniwersum nie jest w relacji do siebie
samego. Symbolicznie:
R jest przeciwzwrotna x (~ (xRx))
Przeciwzwrotna jest przykadowo relacja bycia matk w zbiorze ludzi lub relacja
mniejszoci w zbiorze liczb.
Relacja moe by ani zwrotna, ani przeciwzwrotna. Oznacza to, e s w uniwersum
elementy bdce w relacji do siebie samego, ale s te i takie, ktre do siebie samego w niej
nie s. Relacj tak nazywamy czasem niezwrotn. Symbolicznie:
212
Przykadem takiej relacji moe by relacja kochania s ludzie, ktrzy kochaj samych
siebie, a s te i tacy, ktrzy siebie nie kochaj.
Symetria.
Mwimy, e relacja jest symetryczna, gdy jest tak, e jeli relacja zachodzi pomidzy
dwoma elementami w jedn stron, to zachodzi i w drug (jeli zachodzi pomidzy x i y, to
zachodzi te pomidzy y i x). Symbolicznie:
R jest symetryczna xy (xRy yRx)
Symetryczn jest na przykad relacja bycia tej samej pci jeli osoba x jest tej samej pci,
co osoba y, to rwnie osoba y jest na pewno tej samej pci co osoba x.
Relacja jest asymetryczna (antysymetryczna, przeciwsymetryczna), gdy jest tak, e
jeli zachodzi w jedn stron, to nie zachodzi w drug. Symbolicznie:
R jest asymetryczna xy [xRy ~ (yRx)]
Asymetryczna jest na przykad relacja bycia ojcem jeli jedna osoba jest ojcem drugiej,
to druga na pewno nie jest ojcem pierwszej.
Relacja jest sabo asymetryczna (sabo antysymetryczna) gdy dla wszystkich rnych
od siebie elementw uniwersum jest tak, e jeli relacja zachodzi w jedn stron, to nie
zachodzi w drug. Symbolicznie:
R jest sabo asymetryczna xy [(x y xRy) ~ (yRx)]
Relacj sabo asymetryczn jest na przykad relacja w zbiorze liczb. Gdy wemiemy
bowiem dwie rne od siebie liczby i nasza relacja zachodzi midzy nimi w jedn stron, to
na pewno nie zachodzi midzy nimi w drug.
Odrnienie mocnej asymetrii od sabej jest dla niektrych do trudne. Mona sobie t
rnic zapamita w taki praktyczny sposb: przy zwykej (mocnej) asymetrii adne
elementy nie mog by w relacji do siebie samego (relacja taka musi by jednoczenie
przeciwzrotna), natomiast saba asymetria tym tylko rni si od zwykej, e w jej przypadku
niektre (bd wszystkie) elementy mog by w relacji do siebie samego.
Uwaga na marginesie.
Odnonie nazewnictwa wasnoci zwizanych z symetri w wielu podrcznikach panuje zamieszanie. To co
u nas okrelone zostao jako asymetria w innych nazywane jest przeciwsymetri lub antysymetri; nasza saba
asymetria wystpuje natomiast jako saba, ale rwnie jako zwyka (bez adnego przymiotnika), antysymetria.
213
Dlatego te, w celu uniknicia nieporozumie dobrze jest zawsze sprawdzi, w jaki sposb autor danego
podrcznika bd zbioru zada definiuje te wasnoci.
Przechodnio.
Przechodnia jest na przykad relacja bycia starszym. Jeli jedna osoba jest starsza od
drugiej, a druga od trzeciej, to na pewno pierwsza jest rwnie starsza od trzeciej.
Fakt, e dana relacja nie jest przechodnia oznacza, e istniej takie trzy elementy, e
pierwszy jest w relacji do drugiego, drugi do trzeciego, natomiast pierwszy nie jest w relacji
do trzeciego. Symbolicznie:
R jest nieprzechodnia xyz [xRy yRz ~ (xRz)]
Nieprzechodnia jest relacja bycia znajomym. Jeli osoba x jest znajomym osoby y, a
osoba y znajomym osoby z, to wcale nie jest konieczne, aby x by rwnie znajomym z.
Spjno.
Relacja jest spjna, jeli dla dowolnych dwch rnych elementw uniwersum zachodzi
ona przynajmniej w jedn stron, czyli x jest w relacji do y lub y do x. Symbolicznie:
R jest spjna xy [x y (xRy yRx)]
214
Spjna jest na przykad relacja mniejszoci w zbiorze liczb. Jeli wemiemy dwie liczby i
bd one rne od siebie, to na pewno jedna bdzie wiksza od drugiej albo druga od
pierwszej.
Relacja nie jest spjna, gdy istniej w uniwersum dwa rne od siebie elementy, takie e
ani jeden nie jest w relacji do drugiego, ani drugi do pierwszego. Symbolicznie:
R jest niespjna xy [x y (xRy) (yRx)]
Niespjna w zbiorze ludzi jest na przykad relacja bycia on atwo znale dwie osoby,
takie e ani jedna nie jest on drugiej, ani druga on pierwszej.
W zwizku z trzema z wymienionymi wyej wasnociami okrela si pewien szczeglny
typ relacji tak zwan rwnowano. Mwimy, e relacja jest rwnowanoci, gdy jest
ona jednoczenie zwrotna, symetryczna i przechodnia. Typu rwnowanoci jest na przykad
relacja bycia w tym samym wieku.
Przykad:
Zbadamy wasnoci formalne okrelonej w zbiorze wszystkich ludzi relacji bycia matk
(xRy x jest matk y).
Oczywicie nikt nie jest swoj wasn matk, a wic jest to relacja przeciwzwrotna. Jeli
jedna osoba jest matk drugiej, to na pewno druga nie jest matk pierwszej jest to wic
relacja asymetryczna. Jeli jedna osoba jest matk drugiej, a druga matk trzeciej, to ta
pierwsza na pewno nie jest matk trzeciej (jest bowiem jej babci), czyli nasza relacja jest
nieprzechodnia. Nie jest to te relacja spjna, poniewa nie jest tak, e dla dowolnych dwch
rnych osb jedna jest matk drugiej lub druga matk pierwszej.
215
Przykad:
Zbadamy wasnoci formalne relacji bycia tej samej pci, okrelonej w zbiorze ludzi.
Kady jest tej samej pci co on sam, a wic jest to relacja zwrotna. Jeli jedna osoba jest
tej samej pci co druga, to ta druga jest tej samej pci co pierwsza, a wic jest to relacja
symetryczna. Jeli osoba A jest tej samej pci co B, a B tej samej co C, to rwnie zawsze A
jest tej samej pci co C, a wic jest to relacja przechodnia. Nie jest to relacja spjna, poniewa
nie kade dwie rne osoby s tej samej pci.
Poniewa nasza relacja jest zwrotna, symetryczna i przechodnia, moemy rwnie
powiedzie, e jest ona rwnowanoci.
Przykad:
216
nasz relacj moglibymy uzna za spjn zachodziaby ona pomidzy dowolnymi rnymi
od siebie ludmi.
Przykad:
Przykad:
trzeciego; jest to wic relacja nieprzechodnia. Poniewa istniej rne od siebie elementy,
takie e ani jeden nie jest w relacji do drugiego, ani drugi do pierwszego,\ jest to relacja
niespjna.
Najpierw
jednak
zajmiemy
si
dziaaniami
y), natomiast konwersem relacji bycia modszym jest relacja bycia starszym. Konwersem
pewnej relacji moe by te czasem ta sama relacja na przykad konwersem relacji bycia w
tym samym wieku jest ta sama relacja bycia w tym samym wieku (y jest w tym samy wieku
co x wtedy i tylko wtedy, gdy x jest w tym samym wieku co y).
Przykad:
Wykonamy kilka dziaa na nastpujcych relacjach: xRy x jest bratem y, xTy x jest
rwienikiem y, xSy x jest rodzestwem y, xQy x jest siostr y.
RT
Iloczyn relacji bycia bratem i bycia rwienikiem to relacja zawierajca pary nalece
zarwno do T jaki i R, a zatem relacja bycia bratem rwienikiem (bratem bliniakiem) (x jest
bratem bliniakiem y).
SR
Gdy od relacji bycia rodzestwem odejmiemy relacj bycia bratem, otrzymamy relacj
bycia siostr (x jest siostr y).
SR
Dodajc do relacji bycia rodzestwem relacj bycia bratem, nie dodajemy do S w istocie
niczego nowego wszystkie pary nalece do R ju si w S znajduj a zatem wynikiem
dziaania jest S, czyli relacja bycia rodzestwem (x jest rodzestwem y).
T
Dopenienie relacji T to zbir par, ktre do T nie nale, a zatem jest to relacja bycia w
innym wieku (x jest w innym wieku ni y lub: x nie jest rwienikiem y).
(R Q)
W nawiasie mamy sum relacji bycia bratem i bycia siostr, a wic relacj bycia
rodzestwem. Dopenienie tej ostatniej relacji to relacja nie-bycia rodzestwem (x nie jest
rodzestwem y)
S T
Dopenienie relacji T to, jak ju powiedzielimy wyej, relacja bycia w rnym wieku.
Gdy odejmiemy j od relacji bycia rodzestwem, otrzymamy relacj bycia rodzestwem
219
bdcym w tym samym wieku (x jest rodzestwem y i s w tym samym wieku, lub: x jest
bliniaczym rodzestwem y)
Q S
Dopenienie relacji Q, to relacja nie-bycia siostr. Cze wsplna tej relacji z relacj bycia
rodzestwem to oczywicie relacja bycia bratem (x jest bratem y).
S-1
Relacj odwrotn (czyli zachodzc midzy y i x) do relacji bycia rodzestwem jest ta
sama relacja bycia rodzestwem (y jest rodzestwem x).
krzyowania
rozcznoci.
Zalenoci
te
220
Przykad:
Przykad:
Do relacji R mieszkania w tym samym miecie (xRy x mieszka w tym samym miecie
co y), dobierzemy S tak e S R, T tak e R T, Q tak e Q )( R oraz P tak e P #
R
Relacja S ma si zawiera w R, a wic kada para naleca do S musi rwnie nalee do
R. Relacj tak jest na przykad relacja mieszkania na tej samej ulicy jeli x mieszka na tej
samej ulicy co y, to na pewno x mieszka w tym samym miecie co y. Teraz musimy znale
relacj T, tak eby R si w niej zawieraa; czyli kada para mieszkajca w tym samym
221
miecie musi rwnie nalee do naszej nowej relacji T. Relacj tak moe by, na przykad,
relacja mieszkania w tym samym kraju. Za przykad relacji Q rozcznej z R moe posuy
relacja mieszkania w innym miecie. Jako relacj krzyujc si z R moemy poda relacj
bycia bratem jedna osoba moe by bratem drugiej i mieszka jednoczenie w tym samym
miecie co ta druga, ale mona te by czyim bratem i mieszka w innym miecie, a take
mieszka z kim w tym samym miecie, ale nie by jego bratem. A zatem ostateczna, jedna z
wielu moliwych, odpowied to:
xSy x mieszka na tej samej ulicy co y,
xTy x mieszka w tym samym kraju co y,
xQy x mieszka w innym miecie ni y,
xPy x jest bratem y.
SOWNICZEK:
Iloczyn kartezjaski iloczyn kartezjaski zbiorw A i B (A B) to zbir wszystkich
par, takich w ktrych na pierwszym miejscu jest element zbioru A, a na drugim element
zbioru B.
Kwadrat kartezjaski kwadrat kartezjaski zbioru A to iloczyn kartezjaski A z nim
samym, czyli A A.
jakiego obiektu.
222