Professional Documents
Culture Documents
logiki
w przykładach
i zadaniach
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
WYŻSZA SZKOŁA ADMINISTRACYJNO-SPOŁECZNA
W WARSZAWIE
Beata Witkowska-Maksimczuk
Podstawy
logiki
w przykładach
i zadaniach
Warszawa 2013
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Rada naukowa:
Eugeniusz Zieliński (przewodniczący), Teodor Filipiak, Tadeusz Okrasa,
Włodzimierz Okrasa, Grzegorz Rydlewski, Inna Stecenko, Stanisław Śladkowski,
Jacek Zieliński, Andrzej Michał Ziółkowski
Seria wydawnicza:
Nauka i Wiedza I – Problemy bezpieczeństwa wewnętrznego
i bezpieczeństwa międzynarodowego
Nauka i Wiedza II – Zjawiska patologiczne w relacjach urzędnik – petent
Nauka i Wiedza III – Teoria Międzynarodowych Stosunków Politycznych
Nauka i Wiedza IV – Międzynarodowe stosunki polityczne Historia
Nauka i Wiedza V – Wiktymizacja społeczeństwa polskiego w świetle badań ogólnopolskich
Wydawcy:
Wyższa Szkoła Administracyjno-Społeczna
03-838 Warszawa, ul. Grochowska 346/348
Tel/fax 022 619 14 80,
wydawnictwo.wsas@edu.pl
Projekt okładki
Barbara Kuropiejska-Przybyszewska
Skład i łamanie
OFI
ISBN 978-83-62505-09-8
ISBN 978-83-7545-438-3
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Spis treści:
Wstęp ......................................................7
Rozdział I
Nazwy ................................................. 9
1.1. Desygnat, denotacja i konotacja nazwy . . . . . . . . . . . . . . . . . . . . 9
1.2. Podział nazw ze względu na budowę i desygnaty. . . . . . . . . . . . . 11
1.3. Podział nazw ze względu na znaczenie. . . . . . . . . . . . . . . . . . . . . 16
1.4. Stosunki między zakresami nazw . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.5. Zadania . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
Rozdział II
Logika nazw . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.1. Zdania kategoryczne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.2. Postać normalna zdania kategorycznego. . . . . . . . . . . . . . . . . . . .41
2.3. Rozkład terminów . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.4. Wnioskowania bezpośrednie. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.5. Związki kwadratu logicznego . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.6. Obwersja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.7. Konwersja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
2.8. Kontrapozycja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.9. Zdania równoważne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.10. Zadania . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
Rozdział III
Sylogistyka . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
3.1. Budowa sylogizmu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
3.2. Figury sylogizmu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
3.3. Sprawdzanie poprawności (niezawodności) trybów
sylogistycznych . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
3.4. Zadania . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
Rozdział IV
Klasyczny rachunek zdań . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
4.1. Funktory rachunku zdań . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
4.2. Tautologie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
5
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
4.3. Wnioskowania. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
4.4. Zadania przykładowe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
4.5. Zadania . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
Rozdział V
Definicje . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
5.1. Definicje realne i nominalne . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
5.2. Definicje sprawozdawcze i projektujące . . . . . . . . . . . . . . . . . . . 153
5.3. Definicje równościowe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
5.4. Definicje nierównościowe. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
5.5. Błędy w definiowaniu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162
5.6. Zadania . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164
Literatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Wstęp
Podstawy logiki w zadaniach to repetytorium podstaw logiki wraz z zadania-
mi. Książka przeznaczona jest dla tych studentów studiów humanistycznych, dla
których logika jest jedynie przedmiotem pomocniczym. Głównymi adresatami
są studenci studiów niestacjonarnych, szczególnie takich kierunków jak prawo,
administracja i zarządzanie. Z tego powodu Podstawy… nie obejmują wszyst-
kich działów logiki a jedynie te, które są realizowane na tego typu studiach.
Omówione są podstawowe zagadnienia związane z nazwami, rachunkiem nazw
i tradycyjną sylogistyką, klasycznym rachunkiem zdań i definicjami.
Każdy z rozdziałów zawiera krótkie wprowadzenie, które z założenia ma
dawać wiedzę wystarczającą do samodzielnego rozwiązywania zadań i testów.
Większość zadań zawartych w książce jest w pełni rozwiązana, wszystkie zaś
zadania i testy mają podane odpowiedzi.
Wiele przykładów, zawartych w zadaniach i testach, zaczerpnięto z prasy
i telewizji. Pojawiają się wśród nich zdania kontrowersyjne, niektóre z nich za-
wierają kolokwializmy. Ich użycie ma pokazać użyteczność logiki do analizy
języka naturalnego oraz twierdzeń pojawiających się m.in. w mediach – stąd
odniesienia do współczesnego życia społecznego. Ponadto część przykładów ma
uświadamiać studentom, że logika jest uniwersalnym narzędziem do badania
poprawności rozumowań, nie jest natomiast jej zadaniem ustalanie prawdy w ja-
kiejś dziedzinie, np. biologii czy socjologii.
Niniejsza publikacja stanowi kompendium pomocne w nauce logiki, szcze-
gólnie podczas rozwiązywania zadań, nie pretenduje natomiast do roli pełnego
podręcznika logiki. Może natomiast być wykorzystywanym podczas ćwiczeń
uzupełnieniem do podręczników takich, jak Logika praktyczna Z. Ziembińskie-
go czy Logika E. Nieznańskiego.
7
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Rozdział I
Nazwy
Nazwa jest to wyraz albo wyrażenie, które nadaje się na podmiot lub orzecz-
nik w zdaniu o postaci „A jest B”.
Nazwa może zajmować zarówno pozycję A, jak i B. Słowa Filemon, kot, czar-
ny są nazwami, gdyż można zbudować z nich sensowne zdanie postaci A jest B,
np. Filemon jest kotem lub Kot jest czarny. Nie będą nazwami np. słowa żartuję,
aczkolwiek, bardzo ponieważ każde z nich postawione w miejscu podmiotu lub
orzecznika spowoduje utworzenie wypowiedzi niedorzecznej, np. Filemon jest
aczkolwiek lub Bardzo jest kotem. Nazwa nie musi być rzeczownikiem (jak sło-
wo komputer), może być zaimkiem (on, ty), przymiotnikiem (niebieski), imie-
słowem (wzruszająca), np. On jest niebieski, Ty jesteś wzruszająca.
Nazwa oznacza jakiś przedmiot, gdy można zgodnie z prawdą tę nazwę
o tym przedmiocie orzec. Nazwa rzeka oznacza Wisłę, Amazonkę, Dunaj itp.
Obiekt oznaczany przez nazwę nazywamy desygnatem. Wisła jest jednym z de-
sygnatów nazwy rzeka. Zbiór wszystkich desygnatów danej nazwy nazywa-
my zakresem nazwy lub inaczej denotacją. Denotacją nazwy rzeka jest zbiór
wszystkich rzek. Można powiedzieć, że nazwa symbolizuje swój zakres.
desygnat
zwierzę futerkowe
okrągła głowa
nazwa kot domowy konotacja długi ogon
wąsy
itd…..
denotacja
9
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zbiór cech wspólnych wszystkim desygnatom (i tylko im) danej nazwy two-
rzy treść charakterystyczną tej nazwy. Nazwa może mieć wiele treści charak-
terystycznych. Np. można wymienić następujące treści charakterystyczne nazwy
pies:
1. ssak drapieżny z rodziny psowatych;
2. udomowiona forma wilka szarego;
3. zwierzę najwcześniej udomowione przez człowieka.
Jednak nie każda osoba, poznawszy treść charakterystyczną zwierzę najw-
cześniej udomowione przez człowieka, będzie wiedziała, że treść ta odnosi się do
nazwy pies. Dlatego spośród wielu możliwych treści charakterystycznych wy-
różniamy treść językową nazwy, zwaną konotacją. Tworzy ją zbiór cech, które
użytkownik języka, używając tej nazwy, przypisuje każdemu jej desygnatowi.
Konotacja stanowi kryterium trafnego rozpoznawania zakresu danej nazwy. Np.
konotację nazwy kot tworzy zbiór takich cech jak: bycie zwierzęciem futerko-
wym, posiadanie długiego ogon, okrągłej głowy itd. „U różnych użytkowników
różne treści charakterystyczne mogą stać się konotacją nazwy, zależnie od boga-
ctwa języka i wiedzy, jakimi dysponują” 1. Jeśli ktoś nazwie figurę składającą się
z trzech boków trójkątem, to znaczy że zna konotację nazwy trójkąt. Konotacja
to inaczej znaczenie nazwy.
Nazwy są równoważne, gdy mają dokładnie taką samą denotację (mają taki
sam zakres). Nazwami równoważnymi są w szczególności wszelkie synonimy,
np. kolor–barwa, bufon–zarozumialec, cyganeria–bohema. Nazwy równoważne
można podzielić na równoznaczne i nierównoznaczne.
1
E. Nieznański Logika–podstawy–język–uzasadnianie, C.H. Beck, Warszawa 2000, s. 71.
10
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
księgowy buchalter
Maria Skłodowska-Curie
2
Por. E. Nieznański Logika, s. 75.
11
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
proste
budowę
złożone
ogólne
ilość jednostkowe
puste
konkretne
kategoria
(sposób istnienia)
abstrakcyjne
desygnaty
Podział nazw zbiorowe
ze względu na:
struktura
niezbiorowe
ostre
rozpoznawalność
nieostre
generalne
posiadanie
znaczenia
indywidualne
wyraźne
znaczenie rozpoznawalność
niewyraźne
jednoznaczne
ilość
wieloznaczne
12
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
1.2.2. Nazwy ogólne, jednostkowe i puste
Ze względu na ilość desygnatów nazwy dzielimy na ogólne, jednostkowe
i puste. Nazwa ogólna to taka, która posiada więcej niż jeden desygnat (np.
krzesło), nazwa jednostkowa posiada dokładnie jeden desygnat (np. obecny
papież), natomiast nazwa pusta nie wskazuje żadnych desygnatów (np. żonaty
kawaler).
Nazwy
(podział ze względu na ilość desygnatów)
13
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Nazwy (podział ze względu
na kategorię)
konkretne abstrakcyjne
własności
rzeczy osoby biel, stosowność
nieistniejące
nie istniejące zdarzenia
różdżka, kwiat
elf, Herkules upadek, mecz
paproci
zjawiska
burza, zaćmienie
relacje
zależność, macierzyństwo
uczucia
smutek, namiętność
inne
zbiór, kryterium
14
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Nazwy (podział ze względu
na kategorię)
zbiorowe niezbiorowe
Czasem nie jest jasne, w jakim znaczeniu użyta jest nazwa. Np. nazwa sejm
może oznaczać polski parlament i jako taka jest nazwą zbiorową, oznacza-
jącą zbiór 460 posłów. W innym znaczeniu sejm może oznaczać budynek na
ul. Wiejskiej w Warszawie, w którym nasz parlament obraduje – wówczas nazwa
ta użyta będzie jako niezbiorowa.
Nie-Ł
?? ??
?? Ł ?
?
? ? ??
Zatem nazwa jest nieostra, gdy istnieją takie przedmioty (osoby), o których
nie da się rozstrzygnąć, są czy też nie są desygnatami tej nazwy. Sposobem na
„zaostrzenie” nazwy jest wprowadzenie definicji regulującej3.
3
Patrz § 5.2.
15
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Nazwy – podział ze względu
na rozpoznawalność desygnatów
ostre nieostre
Nazwy
indywidualne generalne
Wenus, Agnieszka
planeta, poeta
Osiecka
Nazwa Adam Małysz nic nie znaczy ale oznacza najlepszego polskiego
skoczka narciarskiego. Nazwa Warszawa oznacza stolicę Polski, choć samo sło-
wo Warszawa jako nazwa indywidualna nic nie znaczy. Może też być odwrotnie
– nazwa może coś znaczyć, ale nie oznaczać żadnego obiektu. Nazwa syrena ma
16
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
znaczenie „pół kobieta-pół ryba”, ale nie oznacza żadnego desygnatu (syreny nie
istnieją). Znaczenie nazwy bywa określane jako pojęcie.
znaczy pojęcie
Nazwa
oznacza desygnat
nazwa
prosta określonego
desygnatu
nazwa całego
Supozycja formalna gatunku
odniesienie do
materialna słowa jako znaku
4
Por. Z. Ziembiński Logika praktyczna, PWN, Warszawa 1974, s. 28.
17
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
ta ma więc także nieostry zakres. Może być też tak, że łatwo wskazać desygnat
nazwy, a trudno podać jej treść charakterystyczną, czyli konotację. Jest tak np.
z takimi nazwami jak kwiat, pieniądz – są to nazwy ostre o treści niewyraźnej.
wyraźne niewyraźne
jednoznaczne wieloznaczne
18
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Analizując nazwę należy najpierw upewnić się, w którym z możliwych zna-
czeń występuje. Nazwa pociąg raz jest nazwą konkretną (jako środek transportu)
a raz abstrakcyjną (np. w wyrażeniu pociąg płciowy). Nazwa Mars może się
okazać bądź nazwą pustą, bądź jednostkową lub ogólną.
nazwa jednostkowa
Mars planeta
nazwaogólna
nazwa ogólna
baton
19
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
1.4. Stosunki między zakresami nazw
Biorąc dwie niepuste, dowolne nazwy S oraz P możemy wskazać stosunek,
w jakim pozostają do siebie wzajemnie zakresy tych nazw. Istnieje pięć podstawo-
wych stosunków zakresowych, przy czym dwa z nich występują w dwu formach.
równoważność
podrzędność
nadrzędność
stosunki niezależność
zakresowe
krzyżowanie
podprzeciwienstwo
przeciwieństwo
wykluczanie
sprzeczność
S,P
kartofel
mecenas
20
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Podrzędność zakresu nazwy S względem P zachodzi, gdy każde S jest P
(np. każdy tulipan jest kwiatem), ale tylko niektóre P są S (tylko niektóre kwiaty
są tulipanami). Pierwsza z nazw ma węższy zakres niż druga (na diagramach
Eulera rysujemy mniejsze koło „S” zawarte w większym „P”). Np. nazwa S –
pediatra jest nazwą podrzędną wobec nazwy P – lekarz, nazwa rosół jest nazwą
podrzędną wobec nazwy zupa.
tulipan
P S
kwiat
S P
brzezina
1 2
3
uczeń leń leń
21
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Jeśli narysujemy ten stosunek na wykresie odcinkowym, to zauważymy, że
zakresy obu nazw nie wyczerpują całego Uniwersum, czyli istnieją obiekty nie
należące do zakresu żadnej z podanych nazw – czyli ani nie będące uczniami,
ani nie będące leniami. Taki rodzaj stosunku krzyżowania się nazywamy nieza-
leżnością nazw.
Jeśli natomiast zakresy nazw krzyżują się i jednocześnie oba zakresy wy-
czerpują całe Uniwersum mamy wówczas do czynienia ze stosunkiem pod-
przeciwieństwa. Aby taki stosunek zaszedł przynajmniej jedna z nazw musi być
tzw. klasą negatywną.
Klasę negatywną tworzymy przez zaprzeczenie danej nazwy słowem nie.
Nazwa i jej zaprzeczenie wypełniają całe Uniwersum. Np. wszystko, co istnieje,
podpada pod jedną z dwóch nazw: człowiek lub nie-człowiek. Klasę negatywną
prościej jest pokazywać na diagramie odcinkowym.
człowiek nie- człowiek
kamień ustawa
bocian nie-bocian
nie-mysz
nie –mysz mysz
kot nie-kot
Wykluczanie się zakresów nazw S oraz P zachodzi, gdy zakresy obu nazw
nie maja wspólnych desygnatów. Na diagramie Eulera przedstawiamy ten sto-
sunek rysując dwa niezależne koła. Wykluczanie może zachodzić w dwóch wa-
riantach: przeciwieństwa i sprzeczności.
22
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Przeciwieństwo zachodzi wtedy, gdy nazwy nie mają żadnych wspólnych
desygnatów i jednocześnie nazwy nie wyczerpują łącznie całego Uniwersum,
np. pies i wydra. Wiemy bowiem, że istnieją obiekty będące ni psem, ni wydrą.
pies
wydra
Sprzeczność pojawia się natomiast jedynie jako relacja między nazwą i jej
klasą negatywną, np. kamień i nie-kamień. Obie nazwy nie mają wspólnych de-
sygnatów i jednocześnie wyczerpują całą klasę Uniwersum.
kamień
nie-kamień
Gdy mamy wskazać relację miedzy zakresami dwóch nazw, z których przy-
najmniej jedna jest klasą negatywną, wówczas posługujemy się diagramami od-
cinkowymi. Najpierw zaznaczamy nazwy, a dopiero potem odpowiednie wobec
nich klasy negatywne.
23
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
b) U – uczucie, N – nostalgia, T – tęsknota.
Zauważmy, że zarówno nostalgia jak i tęsknota są uczuciami, uczucie jest za-
tem w stosunku do tamtych nazw nazwą nadrzędną. Nostalgia zaś jest odmianą
tęsknoty (np. za ojczyzną).
mężczyzna
Potem zaznaczamy klasy negatywne:
kobieta nie-kobieta
nie-mężczyzna mężczyzna
Z rysunku odczytujemy, że stosunek między nazwami nie-kobieta i nie-męż-
czyzna jest stosunkiem krzyżowania się w postaci podprzeciwieństwa.
24
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
b) lekarz, nie-chirurdzy
Najpierw zaznaczamy zakresy nazw niezanegowanych, a więc lekarz i chi-
rurdzy. Nazwa chirurdzy jest nazwą w liczbie mnogiej. Desygnatami tej nazwy
będą grupy osób (nigdy pojedyncza osoba), względem żadnej bowiem pojedyn-
czej osoby nie możemy użyć nazwy chirurdzy. Desygnatem nazwy lekarz będzie
zawsze osoba, o której to mogę orzec. Zakresy nazw lekarz i chirurdzy zatem
wykluczają się.
1.5. Zadania
Zadanie 1.1. Nazwą prostą, konkretną i generalną jest:
a) stół,
b) krzywy ryj,
c) żal,
d) maleństwo.
25
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadanie 1. 5. Nazwą nieostrą, zbiorową i ogólną jest nazwa:
a) tłum,
b) bukiet,
c) sejm RP,
d) ssak.
26
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadanie 1.12. Uzupełnij tabelkę, zaznaczając (np. X) odpowiednie kategorie
podanych nazw.
Baba łysa Julian sfora
Nazwa wiek Gandalf
Jaga kobyła Tuwim wilkołaków
prosta
złożona
konkretna
abstrakcyjna
generalna
indywidualna
ogólna
jednostkowa
pusta
ostra
nieostra
zbiorowa
niezbiorowa
27
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadanie 1.16. W supozycji formalnej nie może występować nazwa:
a) marzyciel,
b) Słońce,
c) zazdrość,
d) Andrzej Wajda.
Zadanie 1.20. Wskaż zdania fałszywe i skoryguj je, podając odpowiedni przy-
kład.
a) Tylko nazwy generalne coś znaczą (posiadają treść),
b) Nazwy jednostkowe są zawsze indywidualne.
c) Tylko nazwy niepuste coś oznaczają.
d) Wszystkie nazwy indywidualne są jednostkowe.
e) Nazwy indywidualne nic nie znaczą.
f) Nazwy indywidualne nie mogą być równoznaczne.
g) Nazwa indywidualna nie może być równoznaczna z nazwą generalną.
h) Nazwy równoważne są zawsze równoznaczne.
28
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadanie 1.22. Nazwa dyspensa jest nazwą, która:
a) nic nie oznacza,
b) coś znaczy,
c) nic nie znaczy, ale coś oznacza,
d) posiada konotację.
29
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
b) kluski, makaron,
c) fatamorgana, miraż,
d) dentysta, stomatolog,
e) odpowiedzialność, godność,
f) Turek, mieszkaniec Turcji,
g) nauczyciel, pracownik szkoły.
Zadanie 1.29. Parami nazw przeciwnych (czyli takich, których zakresy łączy
stosunek przeciwieństwa) są:
a) liczba, zbiór,
b) Ameryka, USA,
c) urzędnik, nie-wójt,
d) nie-urzędnik, wójt.
Zadanie 1.30. Parami nazw podprzeciwnych (czyli takich, których zakresy łą-
czy stosunek pod przeciwieństwa) są:
a) sejm, nie-władza ustawodawcza,
b) władza ustawodawcza, nie-senat,
c) nie-korporacja, nie-zysk,
d) altruizm, egoizm.
30
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadanie 1.32. Zaznacz na diagramach Eulera następujące trójki nazw:
a) U – umowa (w znaczeniu: wzajemne zobowiązanie), S – sprzedaż, K – kupno,
b) D – drzewo, M – miłorząb, R – roślina iglasta,
c) M – matka, Ż – żona, K – kochanka,
d) S – ssak, L – lew, D – drapieżnik,
e) M – Meksykanin, B – bezrobotny, W – Wietnamczyk,
f) R – reżyser, Rp – reżyser polski, O – osoba powszechnie zanana,
g) T – teista, L – mieszkaniec Lublina, A – ateista,
h) Zr – zwierzę roślinożerne, S – słoń, Za – zwierzę afrykańskie,
i) T – terrorysta, Ch – chrześcijanin, M – muzułmanin,
j) R – rekin, Sz – szczęka, P – płetwa,
k) M – muzyk, P – pianista, L – laureat Konkursu Chopinowskiego,
l) U – uczucie, Ż – żal, R – rozstanie.
Odpowiedzi:
1.1. a, d
1.2. b, d
1.3. a, d
1.4. d
1.5. a, b
1.6. a, c
1.7. c
1.8. żadna
1.9. a, b, c, d
1.10. d
1.11. a, d
31
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
1.12.
Baba łysa Julian sfora wil-
Nazwa wiek Gandalf
Jaga kobyła Tuwim kołaków
prosta X - - - - X
złożona - X X X X -
konkretna - X X X X X
abstrakcyjna X - - - - -
generalna X - X - X -
indywidualna - X - X - X
ogólna X - X - - -
jednostkowa - - - X - -
pusta - X - - X X
ostra X X - X X X
nieostra - - X - - -
zbiorowa - - - - X -
niezbiorowa X X X X - X
1.13.
a) np. lampa
b) np. Stumilowy Las
c) np. anioł (ale dla osób wierzących w istnienie aniołów nie będzie to nazwa
pusta, lecz ogólna), inny przykład: czarodziej
d) np. Benedykt XVI
e) np. silna wola
f) np. Azja
g) np. śmiałość
h) np. wiedźma
i) np. zamek
1.14. a, c, d
1.15. c
1.16. b, d
1.17. a, b
1.18. b, d
1.19. b
1.20.
b) Fałsz,
Istnieją nazwy jednostkowe nie-indywidualne, np. najwyższy budynek
Krakowie, miejsce urodzenia Fryderyka Chopina,
d) Fałsz,
Istnieją nazwy indywidualne nie-jednostkowe tylko puste, np. Minotaur,
Alibaba,
32
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
h) Fałsz,
Mogą być nazwy równoważne ale nie równoznaczne ( mają odmienną ko-
notację), np. zwycięzca Turków pod Wiedniem, oraz król polski ożeniony
z Marysieńką. O równoważności tych nazw świadczy to, że dla obu tym
samym desygnatem jest Jan III Sobieski.
1.21. a, b, c,
1.22. b, d,
1.23. b, d, f, k, l,
1.24. a, b, d, f,
1.25. b, c, d, e, f,
1.26. a, c, d,
1.27. a, b, c,
1.28. a, b, c, d,
1.29. a, b, d,
1.30. c,
1.31. b.
1.32.
a) U – umowa, S – sprzedaż, K – kupno,
S U K
M D R
K Ż
33
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
d) S – ssak, L – lew, D – drapieżnik,
S L
D
B
M W
Rp
p
R O
L
T A
S Z
Za
Z
Zr
34
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
i) T – terrorysta, Ch – chrześcijanin, M – muzułmanin,
T M
Ch
R Sz P
L
M P
Ż U
R
1.33.
a) stosunek nadrzędności,
ssak
małpa
35
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
b) stosunek podrzędności,
teściowa
nie-anioł
nie-róża anioł
róża
nie-człowiek człowiek
biznesmen
d) stosunek wykluczania (przeciwieństwo),
) y (p )
liść
gałąź
e) stosunek krzyżowania (niezależność),
nie-formalista formalista
egzaminator
lekarze
chirurg
nie-brzoza brzoza
drzewo
drzewo
36
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
h) Wykluczanie (sprzeczność), nazwy samochód i auto są synonimami-mają
zamienne zakresy, zatem nazwę nie-auto należy traktować jako klasę negatywną
nazwy samochód,
samochód
samochód
auto nie-auto
i) stosunek wykluczania (przeciwieństwo),
studenci
student
j) stosunek nadrzędności.
nie- żonkil żonkil
nie-kwiat kwiat
37
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Rozdział II
Logika nazw
Każdy...jest... a
Niektóre...są... i
funktory
(stałe
logika logiczne)
Żadne ...nie jest... e
nazw
nazwy
(zmienne Niektóre...nie są... o
nazwowe)
Bierzemy pod uwagę jedynie nazwy, które nie są puste (czyli posiadają co
najmniej jeden desygnat).
Wszystkie możliwe zdania kategoryczne wraz z ich zapisem symbolicznym
(formalnym) i ich rozumienie przedstawia poniższa tabelka 2.1.
39
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Tab. 2.1.
Rodzaj zdania Zapis Rozumienie zdania
Każde S jest P.
SaP Nie istnieją S, które nie są P.
zdanie ogólno-twierdzące
Niektóre S są P.
SiP Istnieją S, będące P.
zdanie szczegółowo-twierdzące
Żadne S nie są P.
SeP Nie istnieją S, które są P.
zdanie ogólno-przeczące
Niektóre S nie są P.
SoP Istnieją S, nie będące P.
zdanie szczegółowo-przeczące
Tab. 2.2.
Rodzaj
Zmienne nazwowe Zdanie
zdania
SaP S – wróbel P – ptak Każdy wróbel jest ptakiem.
SiP S – ssak P – drapieżnik Niektóre ssaki są drapieżnikami.
SeP S – student P – analfabeta Żaden student nie jest analfabetą.
SoP S – grzyb P – muchomor Niektóre grzyby nie są muchomorami.
40
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
które ssaki są drapieżnikami. W zdaniach szczegółowych orzekam coś na temat
tylko wybranych elementów danego zbioru, np. o części zbioru grzybów mówię,
że nie są muchomorami w zdaniu Niektóre grzyby nie są muchomorami.
Zdania można także podzielić ze względu na to, czy orzecznik w zdaniu
coś o podmiocie stwierdza np. Jaś jest siatkarzem czy też czemuś zaprzecza
(coś neguje) np. Zosia nie jest koszykarką. Pierwszy rodzaj zdań nazywamy
zdaniami twierdzącymi, drugi zaś - zdaniami przeczącymi. Podział ten nazy-
wamy podziałem związanym z jakością zdania (w sensie zdania twierdzącego
lub przeczącego).
Gdy porównamy dwa zdania: Niektóre ptaki są nielatające oraz Niektóre pta-
ki nie są latające to zauważymy, że sens obu zdań jest jednakowy. Pierwsze
z tych zdań jest twierdzące – stwierdza, ze część ptaków należy do zbioru niela-
tających. Drugie zdanie jest przeczące – stwierdza, ze część ptaków nie należy
do zbioru latających. Podział zdań przedstawia poniższy rysunek.
Zdania
jakość ilość
41
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
kwanty- wskazuje zakres, w jakim odnosimy sie do
fikator elementów wskazanych przez podmiot
Tab. 2.3.
Postać normalna zdania kategorycznego
kwantyfikator podmiot łącznik orzecznik
Każdy tygrys jest drapieżnikiem
Niektóre aktorki są osobami bogatymi
Żaden tancerz nie jest grubasem
Niektóre budynki nie są biurowcami
42
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zdania zaczynające się od słów nikt lub nic przekształcamy tak, aby wy-
mienione słowa zastąpić kwantyfikatorem żaden (żadna). Np. zdanie Nikt niski
nie jest siatkarzem zastępujemy zdaniem SeP: Żadna (osoba) niska nie jest
siatkarzem.
3) Należy dodać łącznik i uzupełnić dopełnienie
Zdanie Niektórzy ludzie nie wierzą w anioły przekształcamy dodając łącznik
są, a pozostałą część zdania przekształcamy tak, aby otrzymać nazwę: osoby,
które wierzą w anioły. Otrzymujemy zdanie szczegółowo-przeczące SoP:
Niektórzy ludzie nie są osobami, które wierzą w anioły.
Równoważnym będzie także przekształcenie, w którym przeczenie przenosi-
my do dopełnienia i otrzymujemy zdanie szczegółowo-twierdzące SiP ( różnica
sprowadza się do usytuowania przeczenia nie, sens pozostaje ten sam5):
Niektórzy ludzie są osobami, które nie wierzą w anioły.
Ponieważ pierwotne zdanie było zdaniem przeczącym, pozostajemy przy in-
terpretacji ze zdaniem SoP.
4) Należy zdania jednostkowe przekształcić na ogólne
Zdanie, w którym orzekamy coś o jednostce, np. Doda jest piosenkarką trak-
tujemy jako zdania ogólne. Dzieje się tak dlatego, że traktujmy Dodę jako zbiór
jednoelementowy w całości zawarty w innym zbiorze (w tym wypadku w zbio-
rze piosenkarek).
Zatem powyższe zdanie zapisujemy jako SaP: Każda Doda jest piosenkarką.
Przykład 2.2.1.
Zapisać w postaci normalnego zdania kategorycznego:
a) zdanie Nikt nie jest bez grzechu.
1) wstawiamy podmiot domyślny: człowiek
2) słowo Nikt zastępujemy kwantyfikatorem Żaden
3) tworzymy orzecznik: człowiek (lub osoba) bez grzechu
Otrzymujemy zdanie SeP: Żaden człowiek nie jest człowiekiem bez grzechu.
b) zdanie Bywają dni, w które pada deszcz.
1) wskazujemy podmiot: dni
2) słowo bywają interpretujemy jako odniesienie do części dni, zatem wsta-
wiamy kwantyfikator niektóre
3) dodajemy łącznik są
4) tworzymy orzecznik dni, w które pada deszcz
Otrzymujemy zdanie SiP: Niektóre dni są dniami, w które pada deszcz.
5
Jest to zgodne z regułami obwersji przedstawionymi w § 2.7.
43
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
2.3. Rozkład terminów
Termin jest w zdaniu rozłożony (wzięty ogólnie), kiedy odnosi się do wszystkich
elementów zbioru przez siebie denotowanego.
Np. jeśli mówię Wszyscy narciarze lubią zimę, to termin narciarze jest rozło-
żony, ponieważ mówię o całym zbiorze narciarzy, czyli o wszystkich narciarzach.
Jeśli zaś mówię Niektórzy urzędnicy biorą łapówki to odwołuję się tylko do części
zbioru urzędników, a zatem termin urzędnicy w tym zdaniu nie jest rozłożony.
Ponieważ każde z 4 zdań kategorycznych zawiera po dwa terminy – podmioto-
wy i orzecznikowy, dla każdego musimy określić, czy rozkłada się w nim jeden
termin, oba czy też żaden.
44
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
ma ani jednego zielonego. Rozważamy również cały zbiór przedmiotów i istot
zielonych i stwierdzamy, że w całym tym zbiorze nie ma kotów.
W zdaniu SeP:
podmiot S – koty – termin rozłożony
orzecznik P – (istoty) zielone – termin rozłożony
Rozkład terminów w zdaniu SoP
Weźmy zdanie SoP: Niektóre aktorki nie są ładne.
Oznaczmy: S – aktorki, P – ładne.
Widać, że w tym zdaniu termin podmiotowy aktorki nie jest rozłożony – mó-
wimy bowiem tylko o niektórych aktorkach, a więc tylko o części całego zbioru
aktorek. Natomiast mówimy o całym zbiorze osób ładnych, to mianowicie, że
niektórych aktorek nie ma w całym zbiorze osób ładnych: prześledziliśmy cały
zbiór ładnych osób i pewnych aktorek tam nie było.
Przypomnijmy, że zdanie SoP rozumiemy następująco: Istnieją S niebędące P.
Czyli istnieją aktorki nie będące osobami ładnymi.
W zdaniu SoP:
podmiot S – aktorki – termin nierozłożony
orzecznik P – (osoby) ładne – termin rozłożony
Będziemy zaznaczać terminy rozłożone nawiasem.
Zapamiętajmy:
Rozłożone są:
1. Podmioty zdań ogólnych (S)aP (S)e(P)
2. Orzeczniki zdań przeczących SiP So(P)
45
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
A zatem:
S – wegetarianie – termin rozłożony (R)
P – myśliwi – termin rozłożony (R)
b) Niektórzy nie są uprzejmi.
Oznaczmy: domyślnie S – człowiek, P – (człowiek) uprzejmy. Otrzymujemy
zdanie: Niektórzy ludzie nie są ludźmi uprzejmymi.(Pamiętamy, że w języku pol-
skim ludzie to liczba mnoga nazwy człowiek). Jest to zdanie typu So(P). Zatem:
S – człowiek – termin nierozłożony (NR)
P – człowiek uprzejmy – termin rozłożony (R)
Orzecznik w zdaniu szczegółowoprzeczącym jest zawsze rozłożony —
musieliśmy w myśli przejrzeć cały zbiór ludzi uprzejmych, aby stwierdzić, że
pewne osoby do tego zbioru nie należą.
c) Zdarzają się zimy bez śniegu.
Wyrażenie zdarzają się zimy interpretujemy jako niektóre zimy. Dajemy za-
tem: S – zima, P – zima bez śniegu. Otrzymujemy zdanie SiP: Niektóre zimy są
zimami bez śniegu. Zdanie SiP nie rozkłada swych terminów:
S – zima – termin nierozłożony (NR),
P – zima bez śniegu – termin nierozłożony (NR).
2.4.Wnioskowania bezpośrednie
46
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
związki kwadratu
logicznego
obwersje
bezpośrednie
(1 przesłanka)
konwersje
Wnioskowania
kontrapozycje
pośrednie sylogizmy
(wiele (2 przesłanki)
przesłanek)
47
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
2.5. Związki kwadratu logicznego
Kwadrat logiczny to graficzne przedstawienie zależności zachodzących mię-
dzy czterema zdaniami kategorycznymi. Rysunek jest tu jedynie pomocą mne-
motechniczną6 i dydaktyczną. Każde ze zdań tworzy z pozostałymi związki zwa-
ne prawami opozycji. Zdania kategoryczne umieszczamy na rogach kwadratu:
• Na górnych rogach umieszczamy zdania ogólne, a na dolnych zdania
szczegółowe,
• Po lewej stronie zdania twierdzące a po prawej zdania przeczące.
podporządkowanie
podporządkowanie
oś
(podrzędność)
(podrzędność)
ć
ć
oś
zn
ec
rz
sp
6
czyli ułatwiającą zapamiętanie
48
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Tab. 2.4.
PODPORZĄDKOWANIE (PODRZĘDNOŚĆ)
SaP→SiP S – drozd, P – ptak
Jeżeli prawdą jest, że każdy drozd jest ptakiem, to prawdą jest
że niektóre drozdy są ptakami.
SeP→SoP S – wieloryb, P – ryba
Jeżeli prawdą jest, że żaden wieloryb nie jest rybą, to prawdą jest,
że niektóre wieloryby nie są rybami.
PRZECIWIEŃSTWO
SaP→~(SeP) S – skrzypek, P – muzyk
Jeżeli prawdą jest, że każdy skrzypek jest muzykiem, to nieprawdą jest,
że żaden skrzypek nie jest muzykiem.
SeP→~(SaP) S – pająk, P – owad
Jeżeli prawdą jest, że żaden pająk nie jest owadem, to nieprawdą jest,
że każdy pająk jest owadem.
PODPRZECIWIEŃSTWO
~(SiP)→ SoP S – tancerz, P – solista
Jeżeli nieprawdą jest, że pewni tancerze są solistami, to prawdą jest,
że pewni tancerze nie są solistami.
~(SoP)→ SiP S – książka, P – podręcznik
Jeżeli nieprawdą jest, że niektóre książki nie są podręcznikami,
to prawdą jest, że niektóre książki są podręcznikami.
SPRZECZNOŚĆ
SaP→~(SoP); ~(SoP) → SaP S – rycerz, P – szlachcic
Jeżeli prawdą jest, że każdy rycerz był szlachcicem, to nieprawdą jest,
że niektórzy rycerze nie byli szlachcicami.
Jeżeli nieprawdą jest, że niektórzy rycerze nie byli szlachcicami to prawdą jest, że każdy
rycerz był szlachcicem.
SiP→ ~(SeP); ~(SiP)→ SeP S – płaz, P – żaba
Jeżeli prawdą jest, że niektóre płazy są żabami, to nieprawdą jest, że żaden płaz nie jest żabą.
Jeżeli nieprawdą jest, że żaden płaz nie jest żabą, to prawdą jest, że niektóre płazy są żabami.
SeP→ ~(SiP); ~(SiP) →SeP S – sportowiec, P – narkoman
Jeśli prawdą jest, że żaden sportowiec nie jest narkomanem, to nieprawdą jest,
że niektórzy sportowcy są narkomanami.
Jeśli nieprawdą jest, że niektórzy sportowcy są narkomanami, to prawdą jest,
że żaden sportowiec nie jest narkomanem.
SoP→ ~(SaP); ~(SaP) →SoP S – danie, P – (rzecz) tucząca
Jeśli prawdą jest, że niektóre dania nie są tuczące,
to nieprawdą jest, że wszystkie dania są tuczące.
Jeśli nieprawdą jest, że wszystkie dania są tuczące,
to prawdą jest, że niektóre dania nie są tuczące.
49
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Błędna interpretacja przeciwieństwa:
~(SaP)→SeP
~(SeP)→SaP
SiP→~(SoP)
SoP→~(SiP)
Tab. 2.5.
Relacja Zdania Wykluczanie Dopełnianie
nie wykluczają się nie dopełniają się –
podporządkowanie SaP oraz SiP,
mogą oba być zarazem mogą być oba zarazem
czyli podrzędność SeP oraz SoP
prawdziwe fałszywe
wykluczają się nie dopełniają się –
przeciwieństwo SaP, SeP – nie mogą oba być mogą być oba zarazem
zarazem prawdziwe fałszywe
nie wykluczają się – dopełniają się
podprzeciwiestwo SiP, SoP mogą oba być zarazem – nie mogą być oba
prawdziwe zarazem fałszywe
wykluczają się dopełniają się – nie
SaP oraz SoP,
sprzeczność nie mogą oba być mogą być oba zarazem
SeP oraz SiP
zarazem prawdziwe fałszywe
50
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Przykład 2.5.1.
Do zdania Zawsze zwiększenie podaży jest wynikiem zmniejszenia popytu. podaj
zdanie o tym samym podmiocie i orzeczniku, które jest względem niego:
a) sprzeczne,
b) przeciwne,
c) podporządkowane.
Rozwiązanie:
Podmiot S – zwiększenie podaży, orzecznik P – wynik zmniejszenia popytu. Sło-
wo zawsze możemy interpretować tak, jak słowo kwantyfikujące każde. Zgodnie
z tym zamiast słowa kwantyfikującego niektóre można użyć np. słowa niekiedy,
a zamiast żaden – słowa nigdy. Nasze zdanie to zdanie SaP. Zgodnie z kwadra-
tem logicznym, zdanie sprzeczne z nim to zdanie SoP, zdanie przeciwne to SeP,
zdanie podporządkowane to SiP.
a) SoP: Niekiedy zwiększenie podaży nie jest wynikiem zmniejszenia popytu.
b) SeP: Nigdy zwiększenie podaży nie jest wynikiem zmniejszenia popytu.
c) SiP: Niekiedy zwiększenie podaży jest wynikiem zmniejszenia popytu.
Przykład 2.5.2.
Podaj przykład pary zdań o tym samym o podmiocie i orzeczniku:
a) które nie mogą być zarazem fałszywe,
b) które się wykluczają i nie dopełniają.
Rozwiązanie:
a) Zgodnie z tabelą 2.5. jednocześnie fałszywe nie mogą być zdania pod-
przciwne SiP oraz SoP. Połóżmy np. S – koty, P – rude. Mamy wówczas:
SiP: Niektóre koty są rude. SoP: Niektóre koty nie są rude.
b) Zdaniami, które się wykluczają i nie dopełniają są SaP oraz SeP.
Np.: SaP: Wszystkie wróżki są postaciami z bajki.
SeP: Żadne wróżki nie są postaciami z bajki.
2.6. Obwersja
51
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
SaP≡SeP': SaP→SeP' oraz SeP'→ SaP
Poniższe zestawienie zawiera wszystkie związki obwersji:
SaP ≡ SeP'
SeP ≡ SaP'
SiP ≡ SoP'
SoP ≡ SiP'
Gdy negujemy termin zawierający już negację, wówczas dwie negacje „zno-
szą się”7, np. zanegowanie terminu niełatwy egzamin daje nie-niełatwy egzamin
czyli łatwy egzamin. Negacji orzecznika dokonujemy zatem wyłącznie przez
dodanie lub odjęcie prefiksu nie. Nie wolno natomiast negować poprzez zmianę
słowa, np. traktując zanegowanie słowa łatwy poprzez użycie słowa trudny. By-
łaby to już nieuprawniona zmiana sensu – zakres użycia słowa niełatwy nie jest
tożsamy z zakresem użycia słowa trudny.
Przykłady obwersji zawiera poniższa tabela (2.6.)
Tab.2.6.
Zdanie wyjściowe Obwersja
SaP Wszystkie księgowe są uczciwe. Żadne księgowe nie są nieuczciwe. SeP'
SiP Niektóre księgowe są uczciwe. Niektóre księgowe nie są nieuczciwe. SoP'
SeP Żadne księgowe nie są uczciwe. Wszystkie księgowe są nieuczciwe. SoP'
SoP Niektóre księgowe nie są uczciwe. Niektóre księgowe są nieuczciwe. SiP'
Przykład 2.6.1.
Dokonaj obwersji zdania: Wszyscy sędziowie są sprawiedliwi.
Rozwiązanie:
Dane zdanie jest zdaniem ogólnotwierdzącym SaP. Wedle reguł obwersji:
SaP ≡ SeP'
a zatem zgodnie z podaną definicją:
1) zmieniamy jakość zdania – w tym wypadku z twierdzącego na przeczące:
Żadni sędziowie nie są sprawiedliwi.
2) negujemy orzecznik sprawiedliwy, mamy zatem: niesprawiedliwy.
Poprzez dokonanie obwersji otrzymujemy zdanie:
Żadni sędziowie nie są niesprawiedliwi.
Przykład 2.6.2.
Dokonaj obwersji zdania: Niektórzy ludzie nie są niebogaci.
7
Analogicznie jak po mnożeniu dwóch liczb ujemnych otrzymujemy liczbę dodatnią
52
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Rozwiązanie:
Dane zdanie jest zdaniem szczegółowoprzeczącym SoP. Wedle reguł obwersji
SoP ≡ SiP'
a zatem zgodnie z podaną definicją obwersji:
1. zmieniamy jakość zdania – z przeczącego na twierdzące:
Niektórzy ludzie są niebogaci.
2. negujemy orzecznik niebogaci, otrzymujemy nie-niebogaci, a ponieważ
podwójne przeczenie się znosi mamy: bogaci.
Zdanie po obwersji:
Niektórzy ludzie są bogaci.
2.7. Konwersja
SaP → PiS
SiP ≡ PiS
SeP ≡ PeS
SoP – nie podlega konwersji
53
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Tab.2.7.
Zdanie wyjściowe Konwersja
SaP Każdy lew jest drapieżnikiem. Niektóre drapieżniki są lwami. PiS
SiP Niektóre studentki są modelkami. Niektóre modelki są studentkami. PiS
SeP Żadni finansiści nie są altruistami. Żadni altruiści nie są finansistami. PeS
SoP Niektóre kobiety nie są matkami. Nie podlega konwersji _
Przykład 2.7.1.
Dokonaj konwersji zdania Wszystkie bociany są ptakami wędrownymi.
Rozwiązanie:
Podane zdanie jest zdaniem ogólno-twierdzącym SaP. Gdybyśmy jedynie
zamienili miejscami podmiot i orzecznik, tworząc zdanie PaS, otrzymalibyśmy
zdanie jawnie fałszywe: Wszystkie ptaki wędrowne są bocianami. Musimy pa-
miętać, że zdanie ogólnotwierdzące podlega konwersji z ograniczeniem, czyli
przechodzi w zdanie szczegółowotwierdzące:
SaP→PiS.
Odpowiedź: Niektóre ptaki wędrowne są bocianami.
Przykład 2.7.2.
Dokonaj konwersji zdania: Niektórzy lekarze nie są pediatrami.
Rozwiązanie:
Podane zdanie jest zdaniem szczegółowo-przeczącym SoP. Takie zdanie nie
podlega konwersji. (Gdy zamienimy miejscami podmiot i orzecznik otrzymamy
zdanie PoS – jawnie fałszywe: Niektórzy pediatrzy nie są lekarzami.)
Przykład 2.7.3.
Dokonaj konwersji zdania Żadne myszy nie lubią kotów.
Rozwiązanie:
Jest to zdanie typu SeP. Podmiotem S jest słowo myszy, orzecznik zaś musimy
przed konwersją dookreślić: P – istoty lubiące koty. Nasze zdanie możemy zapisać na-
stępująco: Żadne myszy nie są istotami lubiącymi koty. Zgodnie z regułą konwersji:
SeP→PeS
czyli:
Żadne istoty lubiące koty nie są myszami.
Przykład 2.7.4.
Dokonaj konwersji zdania Niektóre kwiaty są konwaliami.
Rozwiązanie:
Jest to zdanie typu SiP. Po konwersji otrzymujemy zdanie PiS:
SiP →PiS
Czyli: Niektóre konwalie są kwiatami.
54
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Mogłoby się wydawać, że jest to zdanie fałszywe, ponieważ wiemy, że
wszystkie konwalie są kwiatami. W tym wypadku (jak i w innych przykładach
z logiki zdań) słowo niektóre znaczy także przynajmniej niektóre, co nie wyklu-
cza również wszystkie.
2.8. Kontrapozycja
Dla zdań SiP nie można sformułować praw kontrapozycji, natomiast dla zdań
SeP istnieje jedynie prawo kontrapozycji ograniczonej. Praktyczne znaczenia ma
kontrapozycja zdań SaP oraz SeP, pozwalająca tworzyć tzw. zdania równoważne
zdaniu wyjściowemu.
Formalnie przekształcenia zgodne z regułami kontrapozycji można zapisać
następująco:
SaP ≡ P'aS'
SiP – nie podlega
SeP → P'oS'
SoP ≡ P'oS
Kontrapozycja powstaje przez kolejne przekształcenia: Obwersja, konwersja,
obwersja (O+K+O). Wzór ten można zapamiętać jako zamiennik podanych wy-
żej formuł. Np.: SaP- obwersja:SeP'-konwersja:P'eS-obwersja:P'aS.
Przykłady kontrapozycji przedstawia poniższa tabela (2.8.).
Tab. 2.8.
Zdanie wyjściowe Kontrapozycja
SaP Zawsze cnota jest szczęściem. Zawsze nieszczęście jest niecnotą. P'aS'
SiP Niektóre bilety są drogie. Nie podlega kontrapozycji. –
SeP Żadne koty nie są psami. Niektóre nie-psy nie są nie-kotami. P'oS'
SoP Niekiedy uczciwość nie jest Niekiedy niewierność nie jest
wiernością. nieuczciwością. P'oS'
55
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zgodnie ze wzorem SaP ≡ P'aS' otrzymujemy zdanie: Każdy, kto nie ma in-
deksu jest osobą nie będącą studentem, co lepiej można wyrazić poprzez zdanie:
Każdy, kto nie ma indeksu, nie jest studentem.
b) S – (w domyśle liczby) niewiadome, nieS – nie-niewiadome czyli wiadome,
P – (liczby) wymierne, nie P – (liczby) niewymierne.
Zgodnie ze wzorem SoP ≡ P'oS' otrzymujemy:
Niektóre liczby niewymierne nie są wiadomymi.
Tab. 2.9.
Proste Ograniczone
Przekształcenie nie podlega
(z równoważnością) (z implikacją)
SaP → SiP
Podrzędność – podpo-
SeP → SoP
rządkowanie
~(SiP) → ~(SaP)
(kwadrat logiczny)
~(SoP) → ~(SeP)
Przeciwieństwo SaP → ~(SeP)
(kwadrat logiczny) SeP → ~(SaP)
Podprzeciwieństwo ~(SiP) → SoP
(kwadrat logiczny) ~(SoP) → SiP
SaP ≡ ~(SoP)
Sprzeczność SiP ≡ ~(SeP)
(kwadrat logiczny) SeP ≡ ~(SiP)
SoP ≡ ~(SaP)
SaP ≡ SeP'
SeP ≡ SaP'
Obwersja
SiP ≡ SoP'
SoP ≡ SiP'
SiP ≡ PiS
Konwersja SaP → PiS SoP
SeP ≡ PeS
SaP ≡ P'aS'
Kontrapozycja SeP → P'oS' SiP
SoP ≡ P'oS'
56
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
wszystkich czterech zdań kategorycznych zdań, konwersja prosta zdań SeP i SiP
oraz sprzeczność łącząca pary zdań SaP i SoP oraz SeP i SiP.
Przykład 2.9.
Podaj 3 zdania równoważne zdaniu:
a) Każdy sztygar jest górnikiem.
b) Nieprawda, że żaden pocztowiec nie jest listonoszem.
Rozwiązanie:
a) Oznaczmy: S – sztygar, P – górnik. Nasze zdanie to SaP.
S' – nie-sztygar (osoba niebędąca sztygarem), P' – nie-górnik (lub osoba nie
będąca górnikiem)
Zgodnie z tab. 2.9. zdania równoważne do SaP to:
1. ~(SoP) (zanegowane zdanie sprzeczne): Nieprawda, że niektórzy sztygarzy
nie są górnikami [bowiem SaP ≡ ~(SoP)]
2. SeP' (obwersja): Żaden sztygar nie jest osobą nie będącą górnikiem
(bowiem SaP ≡ SeP')
3. P'aS' (kontrapozycja): Każdy nie-górnik jest nie-sztygarem (czyli Każdy,
kto nie jest górnikiem jest osobą niebędącą sztygarem) (bowiem SaP ≡
P'aS').
b) Oznaczmy: S – pocztowiec, P – listonosz.
Nasze zdanie to: ~(SeP).
nieP – nie-listonosz (lub osoba niebędąca listonoszem)
Zgodnie z tab. 2.9.2. zdania równoważne do ~(SeP) to:
1. SiP: Niektórzy pocztowcy są listonoszami [bowiem ~(SeP) ≡ SiP]
2. PiS: Niektórzy listonosze są pocztowcami [bowiem SiP ≡ PiS]
3. ~(SaP'): Nieprawda, że każdy pocztowiec jest osobą nie będącą listono-
szem [bowiem ~(SeP) ≡ ~(SaP')]
Zdania równoważne można tworzyć na wiele sposobów, np. do skonwerto-
wanego zdania wskazać zanegowane zdanie sprzeczne, a te z kolei podać obwer-
sji, potem, jeśli to możliwe, kontrapozycji, itd.
2.10. Zadania
Zadanie 2.1. Uzupełnij tabelkę wskazując w podanych zdaniach kwantyfikator,
podmiot, łącznik, orzecznik. Jeśli to konieczne, przekształć zdania tak, aby otrzy-
mać postać normalną zdania kategorycznego. Zapisz symbolicznie rodzaj zdania.
Np. zdanie. Słonie są duże przedstawiamy w postaci Wszystkie słonie są du-
żymi zwierzętami. SaP.
a) Niektórzy studenci są pracujący.
b) Każdy gepard jest szybki.
c) Czasem zimy nie są śnieżne.
d) Nigdy robotnicy nie wierzą fabrykantom.
57
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
e) Bywa, że nauczyciele nie są wymagający.
f) Maria Konopnicka była wybitną Polką.
g) Ktokolwiek przyjdzie do pracy, musi uczestniczyć w zebraniu.
h) Niekiedy rzeki wiją się.
i) Nie ma łatwych wyborów.
Zadanie 2.3. Podaj zdania, które wraz ze zdaniem Każdy reżyser jest aktorem
tworzą kwadrat logiczny.
Zadanie 2.5. Podaj zdanie, które ma ten sam podmiot i orzecznik, co podane zda-
nie, i jest względem niego: 1) przeciwne, 2) sprzeczne, 3) podporządkowane.
a) Wszystkie słonie są duże.
b) Żadni nauczyciele nie są tolerancyjni.
c) Wszystkie róże są kłujące.
d) Żadne feministki nie są striptizerkami.
e) Każda kobieta ma intuicję.
58
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
f) Każdy Chińczyk lubi ryż.
g) Żaden paw nie śpiewa.
Zadanie 2.6. Uzupełnij tabelkę podaną na stronie 52, podając zdania związane
związkami kwadratu logicznego.
Zdanie Zdanie Zdanie Zdanie
wyjściowe przeciwne podporządkowane sprzeczne
Wszystkie gazety są
interesujące.
Wszystkie wykłady
są nudne.
Niektóre alkohole
nie są szkodliwe.
Niektóre ustawy
są jednoznaczne
w interpretacji.
Żadni moraliści nie
są filozofami.
Niektóre
uprawnienia nie są
łatwe do nabycia.
Niektórzy
kochankowie nie są
zazdrośni.
Zadanie 2.7. Do danego zdania podaj zdanie o tym samym podmiocie i orzecz-
niku, które jest:
1) podprzeciwne, 2) sprzeczne.
a) Niektórzy politycy nie są uczciwi.
b) Niektóre ciastka są tuczące.
c) Niekiedy picie wina nie jest wskazane.
d) Czasami uprawianie sportu jest zdrowe.
59
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadanie 2.9. Do zdań ogólnych z poprzedniego zadania podaj zdania przeciw-
ne, a do zdań szczegółowych podaj zdania podprzeciwne.
Zadanie 2.10. Podaj przykład pary zdań kategorycznych o tym samym podmio-
cie i orzeczniku, które:
a) mogą być zarazem prawdziwe (nie wykluczają się),
b) mogą być zarazem fałszywe (nie dopełniają się),
c) nie mogą być zarazem prawdziwe (wykluczają się),
d) nie mogą być zarazem fałszywe (dopełniają się),
e) wykluczają się i dopełniają,
f) nie wykluczają się i dopełniają,
g) wykluczają się i nie dopełniają.
Zadanie 2.11. Uzupełnij poniższe twierdzenia tak, aby powstało zdanie prawdziwe:
a) Z prawdziwości zdania SaP wynika prawdziwość zdania……
b) Z fałszywości zdania SiP wynika prawdziwość zdania……
c) Z prawdziwości zdania SeP wynika fałszywość zdania……
d) Z prawdziwości zdania SoP wynika fałszywość zdania……
e) Z fałszywości zdania SoP wynika prawdziwość zdania……
f) Z fałszywości zdania SaP wynika prawdziwość zdania……
g) Z prawdziwości zdania SiP wynika fałszywość zdania……
h) Z prawdziwości zdania SeP wynika prawdziwość zdania……
Zadanie 2.12. Jaki poprawny wniosek można wyciągnąć z danego zdania wie-
dząc, że nie jest prawdziwe:
a) Żadne z tych towarów nie są objęte podatkiem VAT.
b) Niektóre z badań zostały wykonane.
c) Niektórzy obywatele nie są zobowiązani do przestrzegania prawa.
d) Wszystkie wyprawy w góry są niebezpieczne.
e) Żadne z zarządzeń nie jest głęboko przemyślane.
60
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
j) Żadne domy nie są uporządkowane.
k) Niektóre ekspedientki są nieuprzejme.
l) Niektóre warianty nie są możliwe.
m) Niektóre związki nie są bezpieczne.
n) Żadne złośnice nie są nieposkromione.
o) Niektóre doniesienia nie są niepotwierdzone.
p) Niektóre zabiegi są nieskuteczne.
q) Niektóre egzaminy nie są trudne.
r) Wszyscy politycy są nieuczciwi.
s) Ktokolwiek występuje w serialu, jest popularny.
61
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadanie 2.16. Zdaniem, które na drodze wnioskowania bezpośredniego można
wyprowadzić ze zdania „Wszystkie berety są moherowe” jest zdanie:
a) Niektóre berety są moherowe.
b) Nieprawda, że żadne berety nie są moherowe.
c) Niektóre berety nie są moherowe.
d) Nieprawda, że niektóre berety nie są moherowe.
e) Żadne berety nie są nie moherowe.
f) Niektóre rzeczy moherowe są beretami.
g) Nieprawda, że wszystkie berety są moherowe.
h) Nieprawda, że niektóre berety są moherowe.
62
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadania testowe
Zadanie 2.20. Zdaniem, którego podmiot jest rozłożony a orzecznik jest nieroz-
łożony jest zdanie:
a) Zawsze dłużnik jest na straconej pozycji.
b) Wszystkie modelki są wysokie.
c) Niektórzy robotnicy nie są punktualni.
d) Żadni spekulanci nie są uczciwi.
Zadanie 2.21. Zdaniem, w którym podmiot jest nierozłożony, a orzecznik jest roz-
łożony, jest zdanie:
a) Niektóre mewy są krzykliwe.
b) Żadne słonie nie są małe.
c) Niektóre wiadomości nie są zaskakujące.
d) Czasami złość nie jest nieuzasadniona.
63
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadanie 2.26. Zdaniem sprzecznym do zdania Wszystkie wykłady są nudne jest zdanie:
a) Żadne wykłady nie są nudne.
b) Niektóre wykłady są nudne.
c) Niektóre wykłady nie są nudne.
d) Nieprawda, że niektóre wykłady są nudne.
Zadanie 2.30. Ze zdania Żaden zwolennik wolnego rvnku nie jest biedny zgodnie
z kwadratem logicznym wynika zdanie:
1.
a) Niektórzy zwolennicy wolnego rynku nie są biedni.
b) Każdy zwolennik wolnego rynku jest bogaty.
c) Nieprawda, że każdy zwolennik wolnego rynku jest biedny.
d) Niektórzy zwolennicy wolnego rynku są biedni.
2.
a) Nieprawda, że niektórzy zwolennicy wolnego rynku nie są biedni.
b) Każdy zwolennik wolnego rynku jest biedny.
c) Niektórzy zwolennicy wolnego rynku są bogaci.
d) Nieprawda, że niektórzy zwolennicy wolnego rynku są biedni.
64
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
b) Nieprawda, że żadna urzędniczka nie jest kompetentna.
c) Nieprawda, że żadna urzędniczka nie jest niekompetentna.
d) Nieprawda, że każda urzędniczka jest kompetentna.
2.
a) Niektóre urzędniczki nie są niekompetentne.
b) Nieprawda, że niektóre urzędniczki nie są niekompetentne.
c) Każda urzędniczka jest kompetentna.
d) Żadna urzędniczka nie jest kompetentna.
65
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadanie 2.35. Obwersją zdania Żadne usterki nie są niewykryte jest zdanie:
a) Wszystkie usterki nie są niewykryte.
b) Wszystkie usterki są niewykryte.
c) Niektóre usterki nie są wykryte.
d) Żadne usterki nie są wykryte.
Zadanie 2.39. Kontrapozycją zdania Czasem niewiedza jest wiarą jest zdanie:
a) Nigdy niewiedza nie jest niewiarą.
b) Czasem wiedza jest wiarą.
c) Zawsze wiara jest niewiedzą.
d) Czasem niewiara jest wiedzą.
66
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
b) Czasem niespełnienie jest pomyślnością.
c) Zawsze niepomyślność jest spełnieniem.
d) Czasem spełnienie nie jest pomyślnością.
2.
a) Nigdy pomyślność nie jest spełnieniem.
b) Nigdy spełnienie nie jest pomyślnością.
c) Zawsze spełnienie jest pomyślnością.
d) Czasem pomyślność jest spełnieniem.
67
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadanie 2.46. Fałszywe jest zdanie Każdy czyn niemoralny jest zabroniony, za-
tem zawsze prawdziwe jest zdanie:
a) Żaden czyn niemoralny nie jest zabroniony.
b) Niektóre czyny niemoralne są zabronione.
c) Niektóre czyny niemoralne nie są zabronione.
d) żadne z powyższych
Zadanie 2.47. Fałszywe jest zdanie Niekiedy żywność modyfikowana nie jest
zdrowa, zatem zawsze prawdziwe jest zdanie:
a) Nigdy żywność modyfikowana nie jest zdrowa.
b) Zawsze żywność modyfikowana jest zdrowa.
c) Niekiedy żywność modyfikowana jest zdrowa.
d) żadne z powyższych
68
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
ODPOWIEDZI:
Zadanie 2.1.
Kwantyfikator Podmiot S łącznik Orzecznik P Symbol
Zdanie Wszystkie słonie są dużymi (zwierzętami) SaP
a) Niektórzy studenci są (osobami) pracującymi. SiP
b) Każdy gepard jest szybkim (zwierzęciem). SaP
c) Niektóre zimy nie są śnieżnymi (zimami). SoP
d) Żadni robotnicy nie są (ludźmi) którzy wierzą SeP
fabrykantom.
e) Niektórzy nauczyciele nie są (osobami) wymagającymi. SoP
f) Każda Maria jest/ wybitną Polką. SaP
Konopnicka była
g) Każda osoba, która jest osobą, która musi SaP
przyjdzie do uczestniczyć w zebraniu.
pracy
h) Niektóre rzeki są (rzeczami) wijącymi się. SiP
i) Żadne wybory nie są (rzeczami) łatwymi. SeP
Zadanie 2.2.
a) Zdanie Niektórzy nie są uprzejmi przedstawiamy w postaci normalnej:
Niektórzy (osoby) nie są (osobami) uprzejmymi. Zamiast osoba może być
też np. człowiek. Jest to zdanie So(P) – nawiasem zaznaczamy termin roz-
łożony w danym typie zdania.
S – osoba – NR, P – osoba uprzejma – R
b) (S)e(P); S – bankierzy – R, P – osoby rozrzutne – R
c) (S)aP, S – narciarze – R, P – osoby lubiące zimę – NR
d) (S)aP, S – Anna Seniuk – R, P – znakomita aktorka – NR
e) SiP, S – komórki – NR, P – komórki macierzyste – NR
f) So(P), S – politycy – NR, P – osoby związane z partią – R
g) (S)aP, S – kamienie szlachetne – R, P – rzeczy piękne – NR
h) (S)e(P), S – miasta – R, P – miasta piękne tak jak Paryż – R
i) (S)e(P), S – osoba pracująca w korporacji – R, P – osoba należąca do
związków zawodowych – R
Zadanie 2.3.
SaP – Każdy reżyser jest aktorem.
SiP – Niektórzy reżyserzy są aktorami.
SeP – Żaden reżyser nie jest aktorem.
SoP – Niektórzy reżyserzy nie są aktorami.
69
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadanie 2.4.
a) SaP – Każdy ptak śpiewa.
SeP – Żaden ptak nie śpiewa.
SiP – Niektóre ptaki śpiewają.
SoP – Niektóre ptaki nie śpiewają
b) SeP – Nigdzie nie ma reklam.
SaP – Wszędzie są reklamy.
SiP – Gdzieniegdzie są reklamy.
SoP – Gdzieniegdzie nie ma reklam.
c) SiP – Niekiedy w Szkocji pada śnieg.
SaP – Zawsze w Szkocji pada śnieg.
SeP – Nigdy w Szkocji nie pada śnieg.
SoP – Niekiedy w Szkocji nie pada śnieg.
d) SiP – Czasami brakuje pieniędzy.
SaP – Zawsze brakuje pieniędzy.
SeP – Nigdy nie brakuje pieniędzy.
SoP – Czasami nie brakuje pieniędzy.
Zadanie 2.5.
a) 1) Żadne słonie nie są duże.
2) Niektóre słonie nie są duże.
3) Niektóre słonie są duże.
b) 1) Wszyscy nauczyciele są tolerancyjni.
2) Niektórzy nauczyciele nie są tolerancyjni.
3) Niektórzy nauczyciele są tolerancyjni.
c) 1) Żadne róże nie są kłujące.
2) Niektóre róże nie są kłujące.
3) Niektóre róże są kłujące.
d) 1) Wszystkie feministki są striptizerkami
2) Niektóre feministki są striptizerkami.
3) Niektóre feministki nie są striptizerkami.
e) 1) Żadna kobieta nie ma intuicji.
2) Niektóre kobiety nie maja intuicji.
3) Niektóre kobiety mają intuicję.
f) 1) Żaden Chińczyk nie lubi ryżu.
2) Niektórzy Chińczycy nie lubią ryżu.
3) Niektórzy Chińczycy lubią ryż.
g) 1) Każdy paw śpiewa.
2) Niektóre pawie śpiewają
3) Niektóre pawie nie śpiewają.
70
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadanie 2.6.
Zdanie Zdanie Zdanie Zdanie
wyjściowe przeciwne podporządkowane sprzeczne
Wszystkie gazety są Żadne gazety nie są Niektóre gazety są Niektóre gazety
interesujące. interesujące. interesujące nie są interesujące.
Wszystkie wykłady są Żadne wykłady nie Niektóre wykłady są Niektóre wykłady
nudne. są nudne. nudne. nie są nudne.
Żadne alkohole nie są Wszystkie alkohole Niektóre alkohole Niektóre alkohole
szkodliwe. są szkodliwe. nie są szkodliwe. są szkodliwe.
Żadna ustawa nie Każda ustawa Niektóre ustawy Niektóre ustawy
jest jednoznaczna jest jednoznaczna nie są jednoznaczne są jednoznaczne
w interpretacji. w interpretacji. w interpretacji. w interpretacji.
Niektórzy
Wszyscy moraliści są Żadni moraliści nie Niektórzy moraliści
moraliści nie są
filozofami. są filozofami. są filozofami.
filozofami.
Wszystkie Niektóre Niektóre
Żadne uprawnienia nie
uprawnienia są łatwe uprawnienia nie są uprawnienia są
są łatwe do nabycia.
do nabycia. łatwe do nabycia. łatwe do nabycia.
Niektórzy Niektórzy
Każdy kochanek jest Żaden kochanek nie
kochankowie są kochankowie nie
zazdrosny. jest zazdrosny.
zazdrośni. są zazdrośni.
Zadanie2.7.
a) 1) Niektórzy politycy są uczciwi.
2) Wszyscy politycy są uczciwi.
b) 1) Niektóre ciastka nie są tuczące
2) Żadne ciastka nie są tuczące.
c) 1) Niekiedy picie wina jest wskazane.
2) Zawsze picie wina jest wskazane.
d) 1) Czasami uprawianie sportu nie jest zdrowe.
2) Nigdy uprawianie sportu nie jest zdrowe.
Zdanie 2.8.
a) Wyrażenie Ktoś wskazuje na pojedynczy element zbioru ludzi, ma zatem
sens taki, jak słowo niektóry (czyli część jakiegoś zbioru). Zdanie Ktoś
kiedyś widział zjawę możemy zapisać jako zdanie typu SiP. Sprzecznym
do niego będzie zdanie SeP:
Nikt nigdy nie widział zjawy.
b) Jest to zdanie typu SeP, sprzeczne względem niego to SiP: Ktoś kiedyś to
powiedział.
c) Jest to zdanie typu SaP, sprzeczne względem niego to SoP: Ktoś nigdy
w to nie uwierzył.
71
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
d) Jest to zdanie typu SiP, sprzeczne względem niego to SeP: Nikt nigdy tego
nie zapomniał.
e) Jest to zdanie typu SoP, sprzeczne względem niego to SaP: Wszystkie
wątpliwości są rozwiane.
f) Jest to zdanie typu SeP, sprzeczne względem niego to SiP: Niektóre rze-
czy ludzkie są mi obce.
Zdanie 2.9.
a) Zdanie podprzeciwne (SoP): Ktoś kiedyś nie widział zjawy.
b) Zdanie przeciwne (SaP): Każdy kiedyś to powiedział.
c) Zdanie przeciwne (SeP): Nikt nigdy w to nie uwierzył.
d) Zdanie podprzeciwne (SoP): Ktoś kiedyś tego nie zapomniał.
e) Zdanie podprzeciwne (SiP): Jakieś wątpliwości są rozwiane.
f) Zdanie przeciwne (SaP): Wszystko, co ludzkie jest mi obce.
Zadanie 2.10.
Oznaczmy np.: S – ssaki, P – drapieżniki
a) Zdania podprzeciwne (SiP, SoP):
Niektóre ssaki są drapieżnikami. Niektóre ssaki nie są drapieżnikami.
b) Zdania przeciwne (SaP, SeP):
Wszystkie ssaki są drapieżnikami. Żadne ssaki nie są drapieżnikami.
c) Zdania przeciwne (SaP, SeP) oraz podprzeciwne (SiP, SoP)
d) Zdania podprzeciwne SiP, SoP, zdania sprzeczne SaP, SoP oraz SeP, SiP
e) zdania sprzeczne SaP, SoP oraz SeP, SiP
f) Zdania podprzeciwne SiP, SoP
g) Zdania przeciwne SaP, SeP
Zadanie 2.11.
a) SiP
b) SeP, SoP
c) SaP, SiP
d) SaP
e) SaP, SiP
f) SoP
g) SeP
h) SoP
Zdanie 2.12.
a) Niektóre z tych towarów są objęte podatkiem VAT.
b) Żadne z badań nie zostały wykonane.
lub
72
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Niektóre z badań nie zostały wykonane.
c) Wszyscy obywatele są zobowiązani do przestrzegania prawa.
lub
Niektórzy obywatele są zobowiązani do przestrzegania prawa.
d) Niektóre wyprawy w góry nie są niebezpieczne.
e) Niektóre z zarządzeń są głęboko przemyślane.
Zadanie 2.13.
a) Żadni siatkarze nie są niewysocy.
b) Niektóre domy są nieuporządkowane.
c) Niektóre dranie nie są nietanie.
d) Żadne modelki nie są niezarozumiałe.
e) Niektórzy kandydaci nie są zaklasyfikowani.
f) Żadne prośby nie będą niewysłuchane.
g) Wszystkie podatki są potrzebne.
h) Niektóre opowieści nie są wiarygodne.
i) Żadne zakonnice nie są nieskromne.
j) Wszystkie domy są nieuporządkowane.
k) Niektóre ekspedientki nie są uprzejme.
l) Niektóre warianty są niemożliwe.
m) Niektóre związki są niebezpieczne.
n) Wszystkie złośnice są poskromione.
o) Niektóre doniesienia są potwierdzone.
p) Niektóre zabiegi nie są skuteczne.
q) Niektóre egzaminy są nietrudne.
r) Żadni politycy nie są uczciwi.
s) Żadna osoba występująca w serialu nie jest niepopularna.
Zadanie 2.14.
a) Niektórzy sportowcy są studentami.
b) Niektóre owady są motylami.
c) Żadne drapieżniki nie są owcami.
d) Zdanie SoP nie podlega konwersji.
e) Żadne instytucje charytatywne nie są bankami.
f) Niektóre osoby wysportowane są trenerami.
g) Nie podlega konwersji.
h) Niektóre szczupłe osoby są modelkami.
i) Niektórzy kłamcy są politykami.
j) Niektóre kamienie ozdobne są szafirami.
k) Niektóre budynki strzeżone są więzieniami.
l) Niektóre milczące osoby są kamedułami.
73
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
m) Żadni altruiści nie są finansistami.
n) Niektóre kundle są psami myśliwskimi.
o) Nic nie próbując, niczego nie zyskasz.
Zadanie 2.15.
a) Żadna astrologia nie jest nauką.
b) Niekiedy utrudnienie wzrostu gospodarczego jest wynikiem polityki bu-
dżetowej.
c) Przeredagujmy dane zdanie na zdanie: Żaden człowiek nie jest istotą nie-
śmiertelną. Konwersją tego zdania jest zdanie: Żadna nieśmiertelna istota
nie jest człowiekiem.
d) Przeredagujmy dane zdanie na zdanie: Czasem słabsza ale zdeterminowa-
na drużyna jest tym, kto wygrywa z silniejszym lecz zbyt pewnym siebie
przeciwnikiem. Konwersją tego zdania jest zdanie: Czasem tym, kto wy-
grywa z silniejszym lecz zbyt pewnym siebie przeciwnikiem jest słabsza
ale zdeterminowana drużyna.
e) Niektóre osoby (niektórzy ludzie) lubiące chodzić do filharmonii są mło-
dymi ludźmi.
f) Niektóre osoby (niektórzy ludzie) dążący do maksymalizacji zysku są ka-
pitalistami.
Zadanie 2.16.
a) Tak (związek podporządkowania).
b) Tak (związek przeciwieństwa).
c) Nie.
d) Tak (związek sprzeczności).
e) Tak (obwersja).
f) Tak (konwersja).
g) Nie.
h) Nie.
Zadanie 2.17.
a) SaP → P'aS' Każde nieistnienie jest niebytem.
b) SeP → P'oS' Czasem niezrozumienie nie jest niewiarą.
c) SaP → P'aS' Każde spełnienie jest mocą.
d) SoP → P'oS' Niektóre liczby niewymierne nie są parzyste.
74
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Rozważane zdanie zapisujemy: ~(SiP).
Otrzymujemy:
1. Nigdy dobrzy nauczyciele nie są niewymagający (kwadrat log.: ~(SiP) ≡ SeP)
2. Zawsze dobrzy nauczyciele są wymagający. (obwersja: SeP ≡ SaP')
3. Nigdy osoby niewymagające nie są dobrymi nauczycielami. (konwersja:
SeP ≡ PeS)
4. Zawsze niewymagające osoby są niedobrymi nauczycielami. (kontrapo-
zycja: SaP' ≡ PaS')
5. Nieprawda, że niewymagające osoby nie są niedobrymi nauczycielami.
[kwadrat log.: PaS' ≡ ~(PoS')]
75
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
e) Oznaczmy: S – niewierni mężowie, P – (ludzie) zazdrośni;
1. sprzeczność.: ~(SoP) ≡ SaP, Wszyscy niewierni mężowie są zazdrośni.
2. obwersja: SaP ≡ SeP', Żadni niewierni mężowie nie są niezazdrośni.
3. konwersja: SeP' ≡ P'eS, Żadni niezazdrośni ludzie nie są niewiernymi mę-
żami.
4. kontrapozycja: SaP ≡ P'aS', Wszyscy niezazdrośni ludzie są wiernymi
mężami .
5. obwersja: ~(SoP) ≡ ~(SiP'), Nieprawda, że niektórzy niewierni mężowie
są niezazdrośni.
Zadanie 2.19.
Oznaczmy: S – urzędnik, P – uczciwy człowiek, P'– nieuczciwy człowiek
A. SaP G. SoP
B. SiP H. PiS
C. SiP' I. SeP
D. SaP' J. P'eS
E. P'iS K. SeP'
F. PeS L. SoP'
c) Zdania sprzeczne
Zgodnie z regułami kwadratu logicznego zdania równoważne SaP – A, K,
J – będą sprzeczne ze zdaniami równoważnymi SoP – G, C, A, Natomiast
zdania równoważne SeP – I, K, F – będą sprzeczne ze zdaniami równo-
ważnymi SiP – B, L, H.
2.20. a, b
2.21. c, d
2.22. b, d
2.23. a, d
2.24. b
2.25. a
76
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
2.26. c
2.27. b
2.28. a, b, d
2.29. a, b, c
Zadania testowe
2.30. 1. a, c; 2. d
2.31. 1. c, 2. żadna
2.32. 1. b, c; 2. a
2.33. 1. c; 2. żadna
2.34. c
2.35. żadna
2.36. d
2.37. żadna
2.38. 1. żadne; 2. b
2.39. żadna
2.40. 1. d; 2. żadna
2.41. a, b, d
2.42. a
2.43. b, c, d
2.44. a, b, d
2.45. a, c
2.46. c
2.47. b, c
2.48. b
2.49. żadna
2.50. c
77
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Rozdział III
Sylogistyka
8
Przykład i definicja sylogizmu za: K. Ajdukiewicz, Zarys logiki, Warszawa 1958, s. 126.
79
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Oznaczamy: M – metal, P – pierwiastek, S – sód
M P → MaP
Każdy metal jest pierwiastkiem.
S M → SaM
Każdy sód jest metalem.
S P → SaP
Każdy sód jest pierwiastkiem
Otrzymujemy schemat:
MaP
SaM
SaP
Taki schemat – jak powyższy – w którym na miejscu terminów (nazw) stoją
zmienne symbole, a rodzaj zdania zapisany jest symbolicznie za pomocą funkto-
rów, nazywamy trybem sylogistycznym.
W powyższym przykładzie litery S, P, M były akurat pierwszymi literami
występujących w sylogizmie nazw. Tych liter będziemy używali na stałe, przyj-
mując następujące oznaczenia:
S – podmiot wniosku, zwany też terminem mniejszym (w naszym przy-
kładzie była to nazwa sód)
P – orzecznik wniosku, zwany też terminem większym (w naszym przy-
kładzie była to nazwa pierwiastek)
M – termin średni – nazwa, który powtarza się w obu przesłankach (w na-
szym przykładzie była to nazwa metal)
Zawsze termin wspólny obu przesłankom będziemy oznaczali literą M (od łac.
medius – średni, także w sensie: „pośredniczący” między nazwą S a nazwą P).
Sylogizm jest wnioskowaniem, w którym ze stosunków, w jakim są zakresy nazw
S Soraz M
oraz M ii PPoraz M
oraz M
S P
80
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
sie, niż zakres podmiotu, nazywanego z tego powodu terminem mniejszym. Np.
w zdaniu „Każdy goryl jest małpą” zakres nazwy goryl (podmiot) jest podrzędny
wobec zakresu nazwy małpa (orzecznik).
małpa
goryl
P M
Każdy drapieżnik jest mięsożerny. → przesłanka większa PaM
S M
Żadna krowa nie jest mięsożerna. → przesłanka mniejsza SeM
S P
Żadna krowa nie jest drapieżnikiem. → wniosek SeP
81
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Z powyższych stosunków wyprowadza się wniosek o stosunku, w jakim po-
zostają S oraz P:
• SeP – zakresy nazw krowa oraz drapieżnik są rozłączne.
Przykład 3.1
Wskaż tryb sylogistyczny odpowiadający podanemu niżej wnioskowaniu:
Niektórzy politycy są snobami.
Każdy snob jest osobą bezkrytyczną.
Niektóre bezkrytyczne osoby są politykami.
Oznaczamy: S – bezkrytyczna osoba, P – polityk, M – snob
Otrzymujemy tryb sylogistyczny:
PiM
MaS
SiP
Wniosek ma zawsze postać S..P. Podane tryby różnią się położeniem termi-
nu średniego M. Oprócz wymienionych wyżej układów możliwy jest jeszcze
jeden:
M P
M S
S P
Termin średni może w przesłankach zajmować różne miejsca, może być za-
równo podmiotem, jaki i orzecznikiem. Zależnie od położenia M rozróżnia się
cztery figury sylogizmu.
Można je przedstawić za pomocą następujących schematów:
82
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Figura 1 Figura 2 Figura 3 Figura 4
M P P M M P P M
S M S M M S M S
S P S P S P S P
83
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
szej. Wniosek również można zapisać na 4 sposoby, czyli 16 sposobów zapisu
przesłanek razy 4 formy wniosku: 16 x 4 = 64 różnych kombinacji dwu przesłanek
i wniosku. Powyższe rozważania dotyczyły jedynie figury pierwszej, a ponieważ
mamy 4 figury daje nam to łącznie 4 x 64 = 256 różnych kombinacji. Mamy zatem
aż 256 różnokształtnych schematów, zwanych trybami sylogistycznymi.
Spośród nich tylko 24 tryby, po 6 z każdej figury, są sylogizmami poprawnym
(prawdziwymi czyli niezawodnymi).
Średniowieczni uczniowie szkół scholastycznych nadali nazwy wszystkim
24 niezawodnym trybom, z czego 19 spośród nich zawiera poniższa tabelka:
FIGURA TRYB NIEZAWODNY
1 Barbara Celarent Darii Ferio
2 Cesare Canestres Festino Baroco
3 Darapti Felapton Disamis Datisi Bocardo Ferison
4 Bamalip Camenes Dimatis Fesapo Fresison
84
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
3.3. Sprawdzanie poprawności (niezawodności) trybów
sylogistycznych
Jedną z najważniejszych umiejętności, jaka łączy się z nauką o sylogizmach,
jest umiejętność odróżniania trybów zawodnych od niezawodnych, będących
prawami logicznymi. Zadaniu temu służy kilka metod. Najprostsza polega na
sprawdzeniu, czy badany tryb jest jednym z nazwanych trybów, wymienianych
w zestawieniu w paragrafie poprzednim. Pozostałe metody to: metoda podsta-
wiania, algorytmiczna, metoda graficzna i aksjomatyczna. Skupimy się w niniej-
szym zbiorze jedynie do metody podstawiania i metody algorytmicznej.
9
Przykładem ze szkolnej matematyki jest algorytm znajdywania pierwiastków równania
kwadratowego.
85
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
był poprawny. Wystarczy, by choć jedna reguł była niespełniona, aby tryb był
niepoprawny, a przeprowadzone zgodnie z nim wnioskowanie – zawodne.
Reguły można podzielić na dwie grupy:
1. Reguły związane z jakością przesłanek i wniosku (pojęcie jakości odnosi
się do rodzaju używanych zdań: czy są twierdzące czy przeczące); (trzy
reguły).
2. Reguły związane z rozkładem użytych terminów; (dwie reguły).
Reguły
poprawności
sylogizmu
86
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Czyli jeśli jedna z przesłanek jest szczegółowa – poprawny wniosek musi
szczegółowy, jeśli jedna z przesłanek jest przecząca – poprawny wniosek musi
przeczący.
Czasami mamy do czynienia z wnioskowaniem, które ma pozornie postać
sylogizmu, lecz sylogizmem nie jest. Oto przykład:
Każda mysz jest gryzoniem.
Niektóre urządzenia optyczne są myszami.
Niektóre urządzenia optyczne są gryzoniami.
Tryb sylogistyczny zbudowany w oparciu o to wnioskowanie jest formalnie
poprawny – jest to tryb Darii 1.figury. Fałszywy wniosek jest wynikiem pojawie-
nia się tzw. błędu 4. terminu (zwanego inaczej błędem quaternio terminorum).
Jeden z terminów wzięty jest tu w dwóch znaczeniach. W naszym przypadku
w dwu znaczeniach występuje termin średni M:
M1 – mysz jako zwierzę
M2 – mysz jako komputerowe urządzenie wskazujące
W istocie tryb powinien być zapisany:
M1aP
Si M2
SiP
Sylogizm wiąże ze sobą trzy nazwy. Struktura o czterech nazwach nie jest sy-
logizmem (czyli nie jest to nawet błędny sylogizm), stąd też w regułach popraw-
ności sylogizmu nie wymienia się wymogu trzech terminów, ponieważ związany
jest on z samą definicją sylogizmu.
Jeśli sylogizm spełnia wszystkie reguły poprawności, a jednocześnie prze-
słanki są zdaniami prawdziwymi, wówczas niemożliwe jest, aby wniosek był
fałszywy. Natomiast sylogizm formalnie niepoprawny może prowadzić od praw-
dziwych przesłanek do fałszywego wniosku.
SYLOGIZM
PRZESŁANKI
POPRAWNY
PRAWDZIWE
FORMALNIE
WNIOSEK
PRAWDZIWY
87
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
poprawność
formalna
słuszny
sylogizm
poprawność
materialna
Przykład 3.3.2.
Sprawdźmy metodą algorytmiczną formalną poprawność sylogizmu:
Każda ryba pływa w wodzie.
Każdy karp pływa w wodzie.
Każdy karp jest rybą.
Przesłanki tego sylogizmu nie są dane w tzw. postaci normalnej, czyli pod-
miotowo-orzecznikowej typu „Każde S jest P”. Gdy jednak zamiast wyrażenia
pływa w wodzie damy np. jest istotą pływająca w wodzie lub jest czymś pływa-
jącym w wodzie zachowamy tę samą treść zdania, i uzyskamy trzecią nazwę,
która w tym wypadku przyjmie pozycję terminu średniego. Zauważmy, że w wy-
rażeniu pływa w wodzie występuje co prawda nazwa woda, ale nie jest ona tu
orzecznikiem. (Nie twierdzimy przecież: Każdy karp jest wodą tylko Każdy karp
jest czymś, co pływa wodzie).
88
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Postawmy zatem: S – karp, P – ryba, M – istota pływająca w wodzie
P M
Każda ryba pływa w wodzie.
S M
Każdy karp pływa w wodzie.
S P
Każdy karp jest rybą.
Otrzymujemy tryb sylogistyczny:
PaM
SaM
SaP
Ponieważ zarówno przesłanki, jak i wniosek są zdaniami twierdzącymi, wi-
dać, że reguły1.-3. są spełnione. Aby sprawdzić reguły 4. i 5. zaznaczmy na
trybie terminy rozłożone, korzystając ze wzorów rozkładu (rozdz. 2.3).
89
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Przykład 3.3.4.
Sprawdźmy poprawność sylogizmu:
Wszystkie kaczki są ptakami.
Żadne kury nie są kaczkami.
Żadne kury nie są ptakami.
Otrzymujemy tryb sylogistyczny:
(M)aP
(S)e(M)
(S)e(P)
Sylogizm spełnia reguły jakości. Zaznaczenie terminów rozłożonych poka-
zuje, że 1. reguła jest spełniona – termin średni jest rozłożony nawet dwa razy.
Nie jest natomiast spełniona reguła 5. Sylogizm jest zatem niepoprawny, a błąd
tu pojawiający się nazywa się błędem niedozwolonego rozkładu. Błąd bierze
się stąd, że wniosek „chce powiedzieć” więcej, niż pozwala mu przesłanka: prze-
słanka bowiem mówi jedynie o części zbioru ptaków (P – ptaki jest w przesłance
terminem nierozłożonym), natomiast wniosek odnosi się do całego zbioru pta-
ków (P we wniosku jest terminem rozłożonym).Wniosek jest zatem nieupraw-
niony. Zwróćmy też uwagę, że niepoprawna konstrukcja sylogizmu powoduje,
iż prawdziwe przesłanki prowadzą do jawnie fałszywego wniosku.
3.4. Zadania
Zadanie 3.1. Wypisz termin mniejszy S (podmiot wniosku), termin większy P
(orzecznik wniosku) oraz termin średni M (nazwa powtarzająca się w przesłan-
kach) z podanych niżej sylogizmów. Przedstaw następnie sylogizmy w postaci
formalnej (jako tryby sylogistyczne). Sprawdź, czy badany tryb ma swą nazwę
jako tryb poprawny.
a)
Każda gwiazda seriali jest celebrytą.
Niektórzy wielcy aktorzy nie są celebrytami.
Niektórzy wielcy aktorzy nie są gwiazdami seriali.
b)
Niektórzy studenci lubią czeskie filmy.
Każdy, kto lubi czeskie filmy ma poczucie humoru.
Niektóre osoby z poczuciem humoru są studentami.
c)
Każdy, kto dorzuca marihuanę do kadzidła jest przestępcą.
Żaden kościelny nie dorzuca marihuany do kadzidła.
Żaden kościelny nie jest przestępcą.
90
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadanie 3.2. Dopisz poprawny wniosek (jeśli jest to możliwe) do podanych try-
bów sylogistycznych, traktując pierwszą z przesłanek jako przesłankę większą.
Dla poprawnych trybów wskaż, jakiej są figury i podaj ich nazwy.
a) PiM b) PeM c) PaM
MaS SiM SaM
…… …… ……
Zadanie 3.3. Uzupełnij tryb sylogistyczny o brakującą przesłankę tak, aby otrzy-
mać tryb poprawny. W rozwiązaniu uwzględnij zasadę głoszącą, że poprawny
wniosek idzie za „gorszą” przesłanką (np. jeśli wyciągnięty poprawnie wniosek
jest przeczący, to znaczy, że jedna z przesłanek musiała być przecząca – patrz
s. 86).
a) MeP b) MiP c) …. d) …..
…… …… MaS MiS
SeP SiP SiP SoP
e) MaP f) PaM g) …. h) ….
…… …… SaM MaS
SiP SoP SeP SoP
Zadanie 3.5. Uzupełnij podany tryb sylogistyczny tak, aby był poprawny. Dla
skrócenia zapisu zdania typu nie–P zapiszemy w postaci P'.
a) MaP' b) ~(PaM') c) ~(MoP) d) M…P'
SoM' M…S M…S' ~(M'iS)
S…P PoS' ~(PeS') PaS'
91
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
e) …… f) ~(MoP') g) ~(MeP') h) M'aP'
~(SiM') …… S'aM' ……
~(PoS') ~(SeP') …… ~(PoS')
92
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
b) Każdy kot lubi polować.
Niektóre Mruczki nie lubią polować.
…………………………………….
93
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadanie 3.8. Spróbuj wyprowadzić wniosek z podanych przesłanek. Jeśli to
się nie uda, sprawdź, czy zamiana kolejności przesłanek (czyli przyjęcie drugiej
z przesłanek za większą) umożliwi wyprowadzenie poprawnego wniosku.
a) Każdą spółka z siedzibą w raju podatkowym jest firma unikającą
płacenia wysokich podatków.
Niektóre korporacje są spółkami z siedzibą w raju podatkowym.
……………………………………………………………….
94
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
f) Niektórzy rolnicy biorący dopłaty nie są przeciwnikami Unii Europejskiej,
zatem nie są „prawdziwymi Polakami”.
g) Każda moralna kobieta jest gotowa poświecić swe życie dla życia swego
nienarodzonego dziecka, więc żadna nie jest feministką.
h) Każdy hipis jest krytykiem konsumpcjonizmu, zatem niektórzy konserwa-
tyści nie są krytykami konsumpcjonizmu.
Odpowiedzi
Zadanie 3.1.
a) Oznaczmy:
S – wielcy aktorzy
P – gwiazdy seriali
M – celebryci
Tryb:
PaM
SoM
SoP
Jest to tryb 2. figury o sekwencji funktorów a–o–o, występuje wśród trybów
poprawnych pod nazwą Baroco.
b) Oznaczmy:
S – osoba z poczuciem humoru
P – student
M – osoba lubiąca czeskie filmy
Wyrażenie lubią czeskie filmy należy zamienić na takie, które zawiera sło-
wo jest oraz stosowną nazwą – tak, aby z rozważanego zdania otrzymać zdanie
kategoryczne (takie, które za pomocą jednego z funktorów a, i, e, o łączy dwie
nazwy.) W tym wypadku może to być np. osoba lubiąca czeskie filmy albo ktoś,
kto lubi czeskie filmy. Jedno i drugie wyrażenie nadaje się zarówno na podmiot
jak i orzecznik w zdaniu kategorycznym – jest zatem nazwą.
Tryb:
PiM
MaS
SiP
Jest to tryb 4. figury o nazwie Dimatis.
c) Oznaczmy:
S – kościelny
P – przestępca
M – ktoś, kto dorzuca marihuanę do kadzidła
95
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Tryb:
MaP
SeM
SeP
Jest to tryb 1. figury, wśród nazw poprawnych trybów tej figury nie znajdujemy
takiej, która zawiera samogłoski symbolizujące funktory w kolejności a–e–e.
Zadanie 3.2.
a) SiP, 4. figura, tryb Dimatis,
b) SoP, 2. figura, tryb Festino,
c) Nie ma poprawnego wniosku, termin średni M nie jest rozłożony w żadnej
przesłance (nie jest zatem spełniona 4. reguła poprawności sylogizmu),
d) SoP, 4. figura, tryb Fesapo,
e) Nie ma wniosku, nie jest spełniona reguła 1.
f) SiP, 3. figura, tryb Darapti,
Zadanie 3.3.
a) SaM
Wniosek i jedna z przesłanek są przeczące, zatem brakująca przesłanka po-
winna być twierdząca (zobacz reg. 3 poprawności sylogizmów). Ponieważ wnio-
sek jest ogólny, brakująca przesłanka też musi być ogólna (pamiętamy, że po-
prawny wniosek „idzie” za gorszą przesłanką; gdyby brakująca przesłanka była
szczegółowa, poprawny wniosek musiałby być szczegółowy). Brakuje drugiej
przesłanki, zwanej mniejszą, która łączy termin S oraz M, czyli rozwiązaniem
może być SaM lub MaS. Zaznaczmy rozkład terminów:
(M)e(P)
……
(S)e(P)
Skoro S jest terminem rozłożonym we wniosku, to zgodnie z regułą 5. musi
być także rozłożony w przesłance, zatem odpada (M)aS, zostaje zatem (S)aM.
Otrzymujemy tryb Celarent 1. figury.
b) MaS,
Zarówno dana przesłanka jak i wniosek są zdaniami twierdzącymi i szcze-
gółowymi. Brakująca przesłanka musi być twierdząca (reg. 3) i ogólna, a te wy-
mogi spełnia zdanie MaS lub SaM. Odrzucamy SaM, bo przy tej przesłance
nie byłaby spełniona reg. 4., która wymaga, aby termin średni był rozłożony co
najmniej raz. Otrzymujemy tryb Disamis 3. figury.
c) PiM ( Dimatis 4 f.) lub MiP (Disamis, 3. f) lub MaP (Darapti 3 f.) lub PaM
(Bamalip, 4. f.)
d) PeM (Fresison, 4 f.) lub MeP (Ferison, 3. f.)
e) SiM (Darii, 1. f.) lub MiS (Datisi, 3. f.) lub MaP (Barbari, 1. f.) lub PaM
(Bamalip, 4. f.)
96
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Należy pamiętać, że z trybów o wniosku ogólnym (np. Barbara lub Cane-
stres) zgodnie z prawem podporządkowania (SaP→Sip, SeP→SoP0 możemy
otrzymać tryb o wniosku szczegółowym (np. Barbari lub Canestros)
f) SoM (Baroco, 2. f.) lub SeM (Canestros, 2. f.) lub Camenos (4. f.)
g) PeM (Cesare, 2. f.) lub MeP (Celarent, 1. f.)
h) MoP (Bocardo, 3. f.) lub MeP (Felapton, 3. f.) lub PeM (Fesapo, 4. f.)
Zadanie 3.4. Wszystkie podstawienia pod nazwy S,P,M dobieramy tak, aby
otrzymane przesłanki były zdaniami prawdziwymi. Jeżeli otrzymany wniosek
będzie zdaniem fałszywym, to znaczy, że tryb sylogistyczny jest niepoprawny.
W podanych w tabelce przykładach prawdziwe przesłanki prowadzą do fał-
szywego wniosku.
Zadanie 3.5.
W podanych niżej rozwiązaniach symbol „→” oznacza przekształcenie opar-
te na prawach wnioskowań bezpośrednich, także w przypadku, w którym – jak
w obwersji – zachodzi równoważność zdań, symbolizowana znakiem „≡” .
a) SoP
Musimy tak przekształcić pierwszą przesłankę, aby zamiast P' otrzymać P
(bo we wniosku jest P). Dokonujemy obwersji:
MaP'→MeP.
97
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Powinniśmy mieć też jednakowy termin średni w obu przesłankach: M lub M'.
Poddajemy więc drugą przesłankę obwersji, a potem konwersji:
SoM'→SiM→MiS
Mamy zatem dwie możliwości – SiM oraz MiS. W obu przypadkach wniosek
powinien być szczegółowy (bo jedna z przesłanek jest szczegółowa) oraz prze-
czący (bo jedna z przesłanek jest przecząca). Może to być tylko SoM. Pozosta-
wiając w drugiej (tzw. mniejszej) przesłance SiM otrzymujemy tryb Ferio (I f.),
zaś pozostawiając MiS otrzymujemy tryb Ferison (4. f.).
b) MaS
Przesłanka większa: ~(PaM')→PoM'→PiM (kwadrat log., obwersja)
Wniosek: PoS'→PiS→SiP (obwersja, konwersja)
Przesłanka mniejsza musi być zdaniem twierdzącym i ogólnym, zatem MaS.
c) MiS'
~(MoP)→MaP ( kwadrat log.)
~(PeS')→PiS'→S'iP (kwadrat log., konwersja)
Brakującą przesłanka musi być twierdząca i szczegółowa, czyli MiS'.
d) MaP'
~(M'iS)→M'eS→SeM'→SaM (kwadrat log., konwersja, obwersja)
PaS'→SaP' (kontrapozycja)
Brakująca przesłanka musi być twierdząca i ogólna, czyli MaP'.
e) MeP lub PeM
~(SiM)→SeM'→SaM (kwadrat log., obwersja)
~(PoS')→PaS'→PeS→SeP (kwadrat log., obwersja, konwersja)
Brakująca przesłanka musi być przecząca i ogólna, czyli MeP (mamy wtedy
tryb Celarent 1. f.) lub PeM (Cesare 2. f.).
f) SiM lub MiS lub SaM lub MaS
~(MoP')→MaP' →MeP (kwadrat log., obwersja)
~(SeP')→SiP'→SoP (kwadrat log. obwersja)
Brakująca przesłanka musi być twierdząca i może być szczegółowa czyli
SiM (otrzymujemy tryb Ferio 1. f.) lub MiS (Ferison 3. f.) lub ogólna czyli SaM
(Celaront, 1. f.) lub MaS (Cesaro 2. f.)
g) SiP' lub SoP
~(MeP')→MiP' (kwadrat log.)
S'aM'→MaS (kontrapozycja)
Przy pozostawieniu przesłanek w takiej formie, tj. P' wnioskiem będzie
SiP'(tryb Disamis, 3. f.). Możemy uprościć przesłankę większą (eliminując za-
przeczenie w terminie większym P) dokonując obwersji:
MiP'→MoP
Otrzymamy wówczas wniosek SoP (tryb Bocardo 3. f.)
h) MeS lub SeM
M'aP'→PaM (kontrapozycja)
98
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
~(PoS')→PaS'→PeS→SeP (kwadrat log., obwersja, konwersja)
Wstawiając jako mniejszą przesłankę SeM otrzymujemy tryb Camestres 2. f.,
zaś wstawiając MeS otrzymujemy tryb Camenes.
Zadanie 3.6.
a) Sylogizm niepoprawny, błąd nierozłożonego terminu średniego
Oznaczmy:
S – egocentryk,
P – malarz,
M – artysta,
Zapisujemy tryb i zaznaczamy terminy rozłożone:
(P)aM
MiS
SiP
Widzimy, że termin średni M nie jest rozłożony ani raz, nie jest zatem speł-
niona reguła 1.
a) Sylogizm poprawny, tryb Bocardo, 3. figura,
Mo(P)
(M)aS
So(P)
b) Sylogizm niepoprawny, ma dwie przeczące przesłanki, złamana reguła 1.
MeP
SeM
SaP
c) Sylogizm niepoprawny, błąd niedozwolonego rozkładu
P jest terminem rozłożonym we wniosku, chociaż nie jest rozłożony w prze-
słance (zatem niespełniona jest reguła 5.)
(M)aP
So(M)
So(P)
Ponadto domyślamy się tu jeszcze błędu 4.terminu (quaternio terminorum):
w pierwszej przesłance słowo bal odnosić się może do obrobionego pnia drzewa,
w drugiej zaś do dużej zabawy.
e) Sylogizm niepoprawny, błąd niedozwolonego rozkładu
(M)aP
(S)e(M)
(S)e(P)
f) Sylogizm poprawny, tryb Baroco II figury
(P)aM
So(M)
So(P)
99
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
g) Sylogizm niepoprawny, błąd niedozwolonego rozkładu (złamana reguła 5.)
Po(M)
(M)aS
SoP
h) Sylogizm niepoprawny – błąd niedozwolonego rozkładu .
Każdy sylogizm łączy 3 nazwy. W podanym wnioskowaniu nie są one dane
wprost, ale można je wskazać:
S – bogaci ludzie
P – (osoby) zasługujące na szacunek
M – (osoby) pomagające biednym
(M)aP
So(M)
So(P)
Po zaznaczeniu terminów rozłożonych widać, że w sylogizmie złamana jest
reguła 5. poprawności. Przesłanka mówi o części zakresu P, a wniosek o całości
– jest zatem nieuprawniony.
Zadanie 3.7.
a) Niektóre zobowiązania nie są opłacalne.
Oznaczmy:
S – zobowiązanie
P – działanie opłacalne
M – pożyczka
MoP
MaS
S…P
Wniosek ma iść za „gorszą” przesłanką; jeśli jedna z przesłanek jest prze-
cząca, poprawny wniosek musi być przeczący, jeśli jedna z przesłanek jest
szczegółowa to wniosek powinien być szczegółowy. Poprawny wniosek w tym
przypadku powinien być więc zarówno szczegółowy, jak i przeczący, czyli SoP.
Otrzymaliśmy tryb Bocardo (fig.3.)
MoP
MaS
SoP
b) Niektóre Mruczki nie są kotami. (tryb Baroco, 2 fig.)
(P)aM
So(M)
So(P)
c) Brak poprawnego wniosku ponieważ nie jest spełniona reguła 4. Termin
średni ssak nie jest rozłożony w żadnej przesłance .
(P)aM
(S)aM
S…P
100
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
d) Brak poprawnego wniosku ponieważ nie jest spełniona reguła 1. (obie
przesłanki są przeczące).
MeP
SeM
S…P
e) Brak poprawnego wniosku ponieważ nie jest spełniona reguła 4. (wi-
dać także, że nie spełniona jest zasada, głosząca, poprawny tryb nie może mieć
dwóch przesłanek szczegółowych)
MiP
MiS
S…P
f) Czasami fotografowanie wymaga talentu.
MaP
SiM
SiP
Obie przesłanki są twierdzące, zatem wniosek musi być twierdzący (reguła 3.).
Jedna z przesłanek jest szczegółowa, zatem wniosek musi być szczegółowy.
g) Żaden członek ruchu „Oburzonych” nie jest prezesem banku.
PeM
SaM
SeP
Zgodnie z reg. 2 wniosek musi być przeczący, a ponieważ obie przesłan-
ki są zdaniami ogólnymi, wniosek też może być zdaniem ogólnym, czyli SeP
(tryb Cesare, 2. figura) (szczegółowe, czyli „gorsze”, przesłanki nie pozwoliły-
by poprawnie wyciągnąć ogólnego wniosku). Zgodnie z regułami związanymi
z kwadratem logicznym, podporządkowanie pozwala nam na wnioskowanie:
SeP→SoP, zatem wniosek SoP także jest prawidłowy.
h) Niekiedy istnienie kominów płacowych jest czymś niekorzystnym dla de-
mokracji.
(P)aM
(M)aS
SiP
Analiza przesłanek wskazuje, że są to zdania twierdzące, zatem wniosek musi
być twierdzący (1. reguła). Po zaznaczeniu terminów rozłożonych widać, że
S nie może być we wniosku rozłożone, gdyż nie jest rozłożone w przesłance
(reg. 2), zatem nie możemy postawić wniosku (S)aP a tylko SiP.
Otrzymujemy tryb Bamalip (4. figura).
i) Czasami stosowanie metody zapłodnienia in vitro jest morderstwem.
MaP
SiM
SiP
Otrzymaliśmy tryb Darii (1. figura)
101
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
j) Nie ma poprawnego wniosku. Obie przesłanki są przeczące, zatem sylo-
gizm łamałby 1. regułę poprawności.
PeM
MoS
S…P
Zadanie 3.8.
a) Oznaczmy:
S – korporacja,
P – firma unikająca płacenia wysokich podatków,
M – spółka z siedzibą w raju podatkowym
Mamy tu tryb:
(M)aP
SiM
S…P
Jedyny możliwy i poprawny wniosek ma postać SiP i brzmi:
Niektóre korporacje są firmami unikającymi płacenia wysokich podatków.
b) Oznaczmy:
S – człowiek,
P – ssak,
M – żyrafa
(M)aP
(S)e(M)
………
Nie możemy do takich przesłanek dobrać poprawnego wniosku, gdyż zgod-
nie z regułą 2. wniosek powinien być przeczący, czyli SeP lub SoP, ale w obu
przypadkach P byłoby we wniosku rozłożone, choć nie jest rozłożone w prze-
słance i wówczas nie byłaby spełniona reguła 5. Ponadto widzimy, że przesłanki
są zdaniami prawdziwymi, z których wynikałby przy takim wnioskowaniu jaw-
nie fałszywy wniosek SeP: Żaden człowiek nie jest ssakiem lub SoP: Niektórzy
ludzie nie są ssakami.
Zatem traktując pierwsza przesłankę jako większą nie uzyskamy poprawnego
wniosku. Gdy jednak zmienimy kolejność i drugą jako przesłankę potraktujemy
jako większą wówczas mamy:
Żaden człowiek nie jest żyrafą.
Każda żyrafa jest ssakiem
…………………………….
Wówczas:
S – ssak,
P – człowiek,
102
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
M – żyrafa,
Otrzymujemy tryb 4. figury
(P)e(M)
(M)aS
S…P
Zgodnie z 2.regułą wniosek musi być zadaniem przeczącym, a zgodnie z 5.
regułą S we wniosku nie może być terminem rozłożonym. Jedyny poprawny
wniosek to SoP, czyli: Niektóre ssaki nie są ludźmi. (Jest to zdanie prawdziwe).
Otrzymaliśmy poprawny tryb 4. figury Fesapo.
c) Oznaczmy:
S – katolicy,
P – chrześcijanie,
M – (domyślnie) osoby ceniące papieża.
Otrzymujemy schemat:
Po(M)
(S)aM
……..
Pamiętając o ogólnej zasadzie, że wniosek „idzie za gorszą przesłanką” wi-
dzimy, że powinniśmy otrzymać wniosek przeczący i szczegółowy, czyli SoP.
Ale wówczas P we wniosku byłoby rozłożone, choć nie jest rozłożone w prze-
słance. Zatem niespełniona byłaby reguła 5. (Otrzymalibyśmy zresztą jawnie
fałszywe zdanie Niektórzy katolicy nie są chrześcijanami). Jeśli zamienimy ko-
lejność przesłanek, wówczas;
S – chrześcijanie
P – katolicy
Otrzymujemy schemat:
PaM
SoM
SoP
który spełnia wszystkie reguły poprawności i jest to tryb Baroco 2. figury.
Wniosek wówczas brzmi:
Niektórzy chrześcijanie nie są katolikami.
103
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
f) Każde wyznaczanie minimalnego poziomu wynagrodzeń jest sposobem budo-
wania ładu społecznego. (Barbara, 1. figura). Poprawny będzie też tryb Barbari.
104
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Rozdział IV
Pytanie Czy jutro będzie padać deszcz? nie jest zdaniem w sensie logicznym,
pytaniu nie można bowiem przypisać ani wartości prawdy, ani fałszu. W termi-
nologii gramatycznej zdania w sensie logicznym są zdaniami oznajmującymi.
Możemy je podzielić na zdania proste i złożone (z innych zdań prostych).
Zdania w sensie logicznym oznaczać będziemy symbolami literowymi .
Zwyczajowo są to małe litery: p, q, r, s, t itd. Litery te będziemy je nazywać
zmiennymi zdaniowymi lub argumentami zdaniowymi.
Zdania proste łączymy w zdania złożone za pomocą spójników zdaniowych
zwanych funktorami zdaniowymi (pełnią bowiem funkcję łączenia dwóch zdań
prostych w zdanie złożone).
Rozróżniamy funktory zdaniotwórcze ekstensjonalne i intensjonalne.
Funktory
zdaniotwórcze
ekstensjonalne intensjonalne
105
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Na przykład spójnik „i” (w logice zwany funktorem koniunkcji) zawsze łączy
dwa zdania prawdziwe w zdanie prawdziwe, niezależnie od treści tych zdań.
Np. zdania Paryż jest stolicą Francji oraz Tygrys jest drapieżnikiem są obydwa
prawdziwe, jak i prawdziwe jest zdanie powstałe z ich połączenia: Paryż jest
stolicą Francji i tygrys jest drapieżnikiem.
Porównajmy dla przykładu, jak zachowuje się spójnik „bo”. Weźmy trzy zda-
nia prawdziwe:
1. Lech Wałęsa był prezydentem Polski.
2. Lech Wałęsa był zatrudniony w stoczni.
3. Lech Wałęsa był wybrany na prezydenta w demokratycznych wyborach.
Zauważmy, że tylko w jednym z trzech przypadków połączenie zdań spójni-
kiem „bo” daje prawdę:
Lech Wałęsa był prezydentem Polski, bo był wybrany na prezydenta w demo-
kratycznych wyborach.
a przy innych połączeniach zdań daje fałsz:
Lech Wałęsa był prezydentem Polski, bo był zatrudniony w stoczni.
Lech Wałęsa był zatrudniony w stoczni, bo był wybrany na prezydenta w de-
mokratycznych wyborach.
Powyższy przykład pokazuje, że spójnik „bo” zachowuje się w sposób nie-
przewidywalny: dwa zdania łączy w prawdę lub w fałsz zależnie od treści zdań
składowych. Taki spójnik nazywa się spójnikiem intensjonalnym. Innym spójni-
kiem intensjonalnym jest wyrażenie wierzę, że lub myślę, że. Np. prawdziwość
zdania Myślę, że dziś jest pełnia księżyca nie zależy od prawdziwości argumentu
Dziś jest pełnia księżyca – może być prawdą, że myślę, iż jest pełnia, zarówno
gdy jest, jak gdy jej nie ma.
W klasycznym rachunku zdań nie stosujemy funktorów intensjonalnych
a tylko ekstensjonalne, czyli prawdziwościowe.
Rachunek zdań posługuje się zmiennymi zdaniowymi, które reprezentują zda-
nia. Wyrażenie, w skład którego wchodzą zmienne zdaniowe, nazywamy funkcją
zdaniową. Gdy dokonamy tzw. konkretyzacji, czyli w miejsce zmiennych pod-
stawimy konkretne zdania, funkcja zdaniowa przekształca się w zdanie.
Przykładem funkcji zdaniowej jest wyrażenie: Jeżeli p, to q. Cechą funkcji
zdaniowej jest to, że przed dokonaniem konkretyzacji nie posiada ona wartości
logicznej. Jeśli funkcja zdaniowa zawiera wyłącznie zmienne zdaniowe, funkto-
ry i nawiasy, przyjmuje wówczas nazwę funkcji logicznej. Przykładem funkcji
logicznej jest wyrażenie p ∨ ~q.
106
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Funkcja logiczna
107
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
p q p˄q
1 1 1
1 0 0
0 1 0
0 0 0
Np. weźmy zdanie prawdziwe p: Chopin komponował mazurki (1) oraz zda-
nie fałszywe q: Chopin był gitarzystą rockowym (0). Zdanie złożone Chopin
komponował mazurki i był gitarzystą rockowym jest fałszywe (0).
Następny spójnik reprezentuje najczęściej w języku polskim słowo „lub”.
Możliwe jest użycie tego spójnika w trzech znaczeniach. Każdemu z nich
przyporządkowany będzie inny funktor (wraz z symbolem), inna nazwa, a tak-
że inny spójnik języka polskiego (warto zauważyć, że spójniki te w języku po-
tocznym, odmiennie niż w logice, bywają używane w sposób dowolny, często
zamiennie).
co najmniej
alternatywa
jedno p lub q
pvq
z dwojga
co najwyżej
Znaczenia jedno
dysjunkcja
p bądź q
„lub” z dwojga
p/q
dokładnie
ekskluzja
jedno p albo q
p⊥q
z dwojga
108
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
p q p˅q
1 1 1
1 0 1
0 1 1
0 0 0
p q p/q
1 1 0
1 0 1
0 1 1
0 0 1
Dysjunkcja tylko w jednym przypadku jest fałszywa – gdy oba zdania składo-
we są prawdziwe. Porównując tabelkę dysjunkcji z tabelką prawdziwościową ko-
niunkcji możemy zauważyć, że dysjunkcję możemy zdefiniować jako zanegowaną
koniunkcję, czyli jako ~(p˄q), co czytamy: nieprawda, że zachodzi jednocześnie p
i q. Jeśli mówię Konstanty był wczoraj o 8.00 wieczorem w kinie bądź w teatrze to
zdanie to jest fałszywe w przypadku, gdyby upierać się, że prawdą jest że Konstanty
był wczoraj o 8.00 wieczorem w kinie i jednocześnie prawdą jest że Konstanty był
wczoraj o 8.00 wieczorem w teatrze (nie można być w dwóch miejscach naraz).
p q p⊥q
1 1 0
1 0 1
0 1 1
0 0 0
109
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
z dwóch stanów na pewno zachodzi, np. Izolda jest w ciąży albo Izolda nie jest
w ciąży. (Z doświadczenia powinniśmy wiedzieć, że nie jest możliwe, aby te
zdania były jednocześnie prawdziwe ani też jednocześnie fałszywe – nie można
być i nie być w ciąży jednocześnie).
p q p↓q
1 1 0
1 0 0
0 1 0
0 0 1
Funktor binegacji tworzy zdania prawdziwe tylko wtedy, gdy oba zdania
składowe są fałszywe. Np. prawdziwym jest zdanie Ani Kopernik nie była kobie-
tą, ani nie była gwiazdą, w którym zdania składowe to p: Kopernik była kobietą
i q: Kopernik była gwiazdą. Fałszywe natomiast będzie np. zdanie, w którym
oba zdania łączone funktorem binegacji będą prawdziwe: Ani Kopernik nie był
astronomem, ani nie był kanonikiem.
p q p→q
1 1 1
1 0 0
0 1 1
0 0 1
110
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
p, a tym, co głosi zdanie q, może być różnego rodzaju. Przykłady możliwych
związków między p oraz q, wyrażanych funktorem implikacji, przedstawia po-
niższe zestawienie.
związek przyczynowy
Jeśli oziębi się wodę poniej 0˚C , to zamarznie.
związek analityczny
Jeśli liczba jest podzielna przez 4, to jest podzielna przez 2.
związek czasowy
Jeśli dzisiaj jest koniec roku szkolnego, to jutro zaczynają się wakacje.
związek przestrzenny
Jeśli magazyn jest w piwnicy, to mieści sie nad sklepem.
związek fizyczny
Jeśli w atomie liczba elektronów jest rózna od liczby protonów,
to atom jest zjonizowany.
związek tetyczny
Jeśli ktoś dokonuje rozboju, to podlega karze ograniczenia wolności.
związek relacyjny
Jeśli mnie kochasz, to się ze mną ożenisz.
111
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zdanie p Wl (p) Zdanie q Wl (q) Wl (p→q)
Maria Skłodowska- Maria Skłodowska-Curie
Curie była wielką 1 ma w Polsce ulice swojego 1 1
chemiczką. imienia.
Maria Skłodowska- Maria Skłodowska-Curie nie
Curie była wielką 1 jest znana Polakom. 0 0
chemiczką.
Maria Skłodowska- Maria Skłodowska-Curie
Curie była wielką 0 ma w Polsce ulice swojego 1 1
aktorką. imienia.
Maria Skłodowska- Maria Skłodowska-Curie była
Curie była wielką 0 żoną Alfreda Nobla. 0 1
aktorką.
Przypadek ostatni należy interpretować tak: jeden fałsz pociąga za sobą na-
stępny – i to jest prawda. Maria Skłodowska-Curie była żoną Alfreda Nobla
w takim samym stopniu, w jakim była wielką aktorką. Przypadek Wl (0→0) = 1
można jeszcze zobrazować inaczej. Mówimy np. Jeśli Dreptakowie się rozwio-
dą, to mi kaktus na ręce wyrośnie. Mówimy tak z głębokim przekonaniem (czyli
według nas to prawda), bowiem nie dopuszczamy by zaszło pierwsze bez dru-
giego; nie wierzy się, by coś nastąpiło ( w tym wypadku rozwód) bez zachwiania
czymś oczywistym (np. wiary, że kaktusy nie rosną na rękach)10.
p q p≡q
1 1 1
1 0 0
0 1 0
0 0 1
10
Por. T. Kotarbiński Elementy teorii poznania, logiki formalnej i metodologii nauk, w: Kotar-
biński T., Dzieła wszystkie, t. 1., Polska Akademia Nauk, Zakład Narodowy imienia Ossolińskich,
Wrocław – Warszawa – Kraków – Gdańsk – Łódź 1990, s. 149–150.
112
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
z nich tworzy zdanie prawdziwe wtedy i tylko wtedy, gdy prawdziwe są oba
zdania składowe, które łączy.
Tab.4.1.
Nazwa
Funktor Odpowiedniki słowne
funktora
~p negacja nie; nie jest tak, że; nieprawda, że; fałszem jest, że;
p∧q koniunkcja i ; a; ale; lecz; a także; oraz; jak również
pvq alternatywa lub, czy
p/q dysjunkcja bądź …, bądź ; bądź;
p⊥q ekskluzja albo; albo…, albo…
p↓q binegacja ani…, ani…; ani nie…, ani nie…
p→q implikacja jeżeli…, to; jeśli …, to; o ile…, to; a zatem; a więc;
jeśli…, to znaczy, że12
p≡q równoważność wtedy i tylko wtedy, gdy; zawsze i tylko wtedy, gdy
11
4.2. Tautologie
Mając zdania p,q,r,s itd. oraz wymienione wyżej funktory można tworzyć
dłuższe formuły. Używamy wówczas nawiasów, które pozwalają na ustalenie
kolejności użycia funktorów. Nawiasy stosujemy poczynając od okrągłych
(),w następnej kolejności, jeśli jest taka potrzeba, używamy kwadratowych [],
wreszcie klamrowych {}.
Weźmy dla przykładu formułę:
p→q˄p→q
dodają do niej nawiasy można nadać jej różny sens, np.:
(p→q)˄(p→q)
gdzie łączymy spójnikiem ˄ dwa jednakowe zdania implikacyjne. Podstaw-
my:
p – Pada deszcz, q – Jest mokro, a całość przeczytamy:
Jeśli pada deszcz, to jest mokro i jeśli pada deszcz, to jest mokro.
Gdyby nawiasy podstawić inaczej, zmieni się sens formuły, np.:
[(p→q)˄p]→q
co przeczytamy:
Jeśli pada deszcz, to jest mokro, i pada deszcz; zatem jest mokro.
Aby odpowiednio w zapisie formalnym danego zdania postawić nawiasy,
trzeba uświadomić sobie, który funktor jest funktorem głównym. Na przykład
funktor implikacji jest naturalnie wyróżniony dzięki swej dwuczłonowości.
11
Wyrażenie „znaczy” w ścisłym znaczeniu odnosi się do równoważności, ale kolokwialnie
używane występuje w połączeniu z wyrażeniem jeśli, to.., tworząc tym samym okres warunkowy
jeśli…, to znaczy, że, który traktujemy jako implikację.
113
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Weźmy zdanie:
Odczuwam powołanie, a skoro narzeczony mnie opuścił, to pójdę do klasztoru.
zapiszemy:
p˄(q→r)
natomiast zdanie:
Jeśli odczuwam powołanie a narzeczony mnie opuścił, to pójdę do klasztoru.
zapiszemy:
(p˄q)→r
W pierwszym przypadku głównym funktorem była koniunkcja, łącząca zdanie
proste p ze zdaniem złożonym implikacyjnym q→r. W drugim przypadku funkto-
rem głównym była implikacja, łącząca koniunkcję p˄q ze zdaniem prostym r.
Przeanalizujmy jeszcze schemat:
p˅q˄r→s
Dokonajmy konkretyzacji:
p – wyjdę za mąż
q – będę misjonarką
r – zostanę lekarzem
s – wyjadę do Afryki
Zależnie jak postawimy nawiasy, możemy otrzymać 5 różnych zdań:
[(p→q)˄p]→q
114
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Występują tu dwa zdania proste p oraz q, a każde z nich może przyjąć jedną
z dwóch wartości logicznych – prawdę (1) lub fałsz (0).Daje to układ 4 możliwości:
1) p = 1, q = 1
2) p = 1, q = 0
3) p = 0, q = 1
4) p = 0, q = 0
Sprawdźmy, jaka jest wartość całego wyrażenia dla wariantu 2. Podstawmy
pod zmienne p, q odpowiednie wartości:
[(p→q)˄p]→q
[(1→0)˄1]→0 korzystamy z tabeli implikacji: (1→0) = 0
[0˄1]→0 korzystamy z tabeli koniunkcji: (0˄1) = 0
0→0 korzystamy z tabeli implikacji: (0→0) = 1
1
Podstawiając kolejne warianty wartości zmiennych przekonamy się, ze ana-
lizowana formuła za każdym razem przyjmuje wartość 1. Formułę taką nazywa-
my tautologią.
115
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Prawo przemienności koniunkcji p˄q≡q˄p
Prawo przemienności alternatywy p˅q≡q˅p
Prawo Dunsa Szkota (p˄~p)→q
Prawo opuszczania znaku równoważności (p≡q)≡[(p→q)˄(q→p)]
Prawo transpozycji prostej (p→q)≡(~q→~p)
Modus ponendo ponens [(p→q)˄p]→q
Modus tollendo tollens [(p→q)˄~q]→~p
Modus tollendo ponens [(p˅q)˄~p]→q
Modus ponendo tollens [(p/q) ˄p]→~q
I prawo de Morgana ~(p˄q)≡(~p˅~q)
II prawo de Morgana ~(p˅q)≡(~p˄~q)
Prawo łączenia i rozłączania [(p→r)˄(q→r)]≡[(p˅q)→r]
II prawo redukcji do absurdu [(p→q)˄( p→~q)]≡~p
Prawo transpozycji złożonej [(p˄q)→r]→[(p˄~r)→~q]
Prawo eksportacji [(p˄q)→r]→[(p→q)→r]
Prawo importacji [(p→q)→r]→[(p˄q)→r]
prawo dystrybucji [(p˄(q˅r)]≡[(p˄q)˅(p˄r)]
Prawo sylogizmu hipotetycznego [(p→q)˄(q→r)]→(p→r)
Prawo dylematu konstrukcyjnego [(p→r)˄(q→r)˄(p˅q)]→r
Prawo dylematu destrukcyjnego [(r→p)˄(r→q)˄(~p˅~q)]→~r
116
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Jeśli nie ma ratownika na plaży to znaczy, że nie można się kąpać, zatem jeśli
można się kąpać, to jest ratownik na plaży.
Należy uważać na podobny, ale niepoprawny (czyli nie będący tautologią)
wzór:
(p→q)→(~p→~q)
[ ( p → q ) ˄ p ] → q
Skoro, jeśli pada śnieg, to na dworze jest biało, i pada śnieg, to na dworze jest biało.
117
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Podobny, do powyższego ale błędny jest wzór:
[(p→q)˄~p]→~q
Np. Kota przekarmia babcia lub dziadek, i babcia przekarmia kota, zatem
nie przekarmia dziadek. (Niestety, taki wniosek nie musi być prawdziwy, mogą
przekarmiać oboje – zastosowany tu funktor alternatywy rozumiemy jako co
najmniej jedno z dwojga).
Jego konkretyzacją jest np. zdanie: Pojdę do pracy do banku bądź do kor-
poracji, ale (i) nie poszłam do pracy w banku, zatem poszłam do pracy w kor-
poracji. (mogłam wcale nie pójść do pracy – pamiętamy o znaczeniu funktora
dysjunkcji, wyrażanego przez słowo „bądź”: co najwyżej jedno z dwojga, czyli
zaszło p, bądź zaszło q, lub żadne z nich.)
I prawo de Morgana
~(p˄q) ≡ (~p˅~q)
Według tego prawa negacja koniunkcji zdań jest równoważna alternatywie
zdań zanegowanych. Wzór ten zawiera dwie implikacje: ~(p˄q)→(~p˅~q) oraz
(~p˅~q)→~(p˄q). Przykładowe rozumowanie zgodnie z pierwszym wzorem:
Nieprawda, że Darwin miał rację i świadkowie Jehowy mają rację, zatem
Darwin nie miał racji lub świadkowie Jehowy nie mają racji.
118
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Błędną formą rozumowania jest trzymanie się schematu, który w następniku
pozostawia znak koniunkcji:
~(p˄q)→(~p˄~q)
Konkretyzacją tego nieprawidłowego schematu jest zdanie: Nieprawda, że
Darwin miał rację i świadkowie Jehowy mają rację, zatem Darwin nie miał racji
i świadkowie Jehowy nie mają racji.
II prawo de Morgana
~(p˅q) ≡ (~p˄~q)
Według tego prawa negacja alternatywy zdań jest równoważna koniunkcji
zdań zanegowanych. Wzór ten zawiera dwie implikacje:
~(p˅q)→(~p˄~q) oraz (~p˄~q)→ ~(p˅q).
Np. Jeśli nieprawda, że na wczasy pojedziemy do Egiptu lub Tunezji, to zna-
czy, że nie pojedziemy do Egiptu i nie pojedziemy do Tunezji.
Implikacja ~(p˅q)→(~p˅~q) jest także tautologią, ale poprzednik tej implika-
cji nie jest równoważny następnikowi, jak zachodzi to w I prawie de Morgana.
4.3.Wnioskowania
Bardzo ważnymi w logice są pojęcia wnioskowania oraz wynikania logicznego.
119
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Wnioskowanie jest prawidłowe, jeśli przebiega zgodnie ze schematem
będącym tautologią.
Przesłanki
prawdziwe fałszywe
Wnioskowania
Wniosek może być
prawidłowe Wniosek musi być prawdziwy
prawdziwy lub fałszywy
Wniosek może być prawdziwy Wniosek może być
nieprawidłowe lub fałszywy prawdziwy lub fałszywy
Wnioskowanie prawidłowe
[(p→q)˄p]→q
PRZESŁANKI PRAWDZIWE WNIOSEK
Prawdziwe przesłanki Prawdziwy wniosek
Ojciec Klimuszko opracował skuteczne
Jeśli ojciec Klimuszko znał się na ziołach,
receptury. (1)
to opracował skuteczne receptury. (1)
Fałszywy wniosek
Ojciec Klimuszko znał się na ziołach. (1)
____
12
Porównaj: K. Paprzycka, Logika nie gryzie, Wydawnictwo Zysk, Poznań 2009, s. 4.
120
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Wnioskowanie nieprawidłowe
[(p→q)˄q]→p
PRAWDZIWE PRZESŁANKI WNIOSEK
Jeśli Anna Boleyn wyszła za Henryka VIII, Prawdziwy wniosek
to była królową. (1)
Anna Boleyn wyszła za Henryka VIII. (1)
Anna Boleyn była królową. (1)
Jeśli Anna Boleyn była żoną Jagiełły, Fałszywy wniosek
to była królową. (1) Anna Boleyn była żoną Jagiełły. (0)
Anna Boleyn była królową.(1)
FAŁSZYWE PRZESŁANKI WNIOSEK
Jeśli Anna Boleyn była matką Elżbiety I, Prawdziwy wniosek
to była kanonizowana. (0)
Anna Boleyn była kanonizowana. (0) Anna Boleyn była matką Elżbiety I. (1)
121
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
4.4. Zadania przykładowe
Zadanie 4.4.1. Czy ze zdania
A: Jeśli Walerian jest dentystą i sadystą, to jest złym lekarzem.
wynika logicznie zdanie
B: Jeśli Walerian jest dentystą i nie jest sadystą, to nie jest złym lekarzem.
czy wynika zdanie
C: Jeśli Walerian jest dentystą i nie jest złym lekarzem, to nie jest sadystą.
Rozwiązanie:
Przyjmijmy następujące oznaczenia:
p – Walerian jest dentystą
q – Walerian jest sadystą
r – Walerian jest złym lekarzem
Poszczególne zdania zapiszemy więc następująco:
A: (p˄q)→r
B: (p˄~q)→~r
C: (p˄~r)→~q
Sprawdźmy najpierw, czy zachodzi wynikanie A→B. Jeśli tak, to następująca
formuła powinna okazać się tautologią:
A→B
[(p˄q)→r)]→[(p˄~q)→~r]
Zbadajmy formułę metodą zerojedynkową. Zastosujemy najpierw sprawdza-
nie tabelaryczne (nieskrócone).
Ilość możliwych podstawień (1 lub 0) dla n-zmiennych wynosi 2n. Przy
3 zmiennych (p,q,r) ilość możliwych podstawień wynosi 2n =8.
p q r p˄q (p˄q)→r ~q ~r p˄~q (p˄~q)→~r [(p˄q)→r]→
→[(p˄~q)→~r]
1 1 1 1 1 0 0 0 1 1
1 1 0 1 0 0 1 0 1 1
1 0 1 0 1 1 0 1 0 0
1 0 0 0 1 1 1 1 1 1
0 1 1 0 1 0 0 0 1 1
0 1 0 0 1 0 1 0 1 1
0 0 1 0 1 1 0 0 1 1
0 0 0 0 1 1 1 0 1 1
W pierwszych trzech kolumnach zostały wpisane wszelkie możliwe układy war-
tości logicznych (1,0) dla zmiennych p, q, r a następnie kolejno wartości wyrażeń
składowych. Ostatnia kolumna zawiera wartości dla całej badanej formuły. Widać,
że w trzecim wierszu formuła przyjmuje wartość 0 (dla p = 1, q = 0 i r = 1). Nie jest
zatem prawem logicznym (tautologią). Czyli ze zdania A nie wynika logicznie
zdanie B.
122
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Sprawdźmy teraz formułę skróconą metodą zerojedynkową.
[(p˄q)→r)]→[(p˄~q)→~r]
W metodzie tej podejmujemy próbę wykazania, że badany wzór tautologią
nie jest, czyli sprawdzamy, czy cała badana implikacja może przyjąć wartość 0.
Pomijamy wówczas wszystkie podstawienia, przy których następnik tej formuły
redukuje się do 1(wtedy zawsze implikacja przyjmuje wartość 1, niezależnie od
wartości poprzednika– widać to w matrycy implikacji).
[(p˄q)→r)] →[(p˄~q)→~r]
0
1→0
(1˄~0)→~1
Tylko przy jednym podstawieniu następnik redukuje sie do 0: wtedy, gdy
na miejscu ~r występuje zdanie fałszywe (czyli r = 1) i gdy ma miejscu (p˄~q)
występuje zdanie prawdziwe (czyli p = 1 oraz q = 0).Przy takim podstawieniu cały
następnik można zastąpić wartością 0, natomiast otrzymane wartości p = 1, q = 0,
r = 1 wstawić do poprzednika [(p˄q)→r)]:
[(p˄q)→r)] → [(p˄~q)→~r]
[(1˄0) →1] → 0
[0 →1] → 0
1→0
0
Redukując formułę do 0 pokazaliśmy, że nie jest ona tautologią.
Analogiczne działania zastosowane do drugiej części zadania pokażą, że
w przypadku implikacji A→C mamy do czynienia z wynikaniem logicznym.
[(p˄q)→r)] → [(p˄~r)→~q]
0
1→0
(1˄~0)→~1
Przyjmujemy zatem: p = 1, q = 1, r = 0; wstawiamy te wartości do poprzednika:
[(p˄q)→r)] → 0
[(1˄1)→0)] → 0
(1→0) → 0
0→0
1
123
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Rozmowa:
X: Bronek zakradł się do lodówki i wyjadł moje truskawki.
Y: Gdyby Bronek zakradł się do lodówki, to nie wyjadłby truskawek (jest
uczulony) lecz wypiłby piwo. A piwo nie jest wypite.
Z: Z tego, co obaj mówicie, logicznie wynika, że Bronek do lodówki się nie
zakradł.
Rozwiązanie:
Zapiszmy symbolicznie zdania X, Y, i Z.
Oznaczenia:
p – Bronek zakradł się do lodówki.
q – Bronek wyjadł truskawki.
r – Bronek wypił piwo(piwo jest wypite).
Według X: p˄q
według Y: [p→(~q ˄ r)] ˄ ~r
Z. łączy obie te wypowiedzi (symbolizuje to znak koniunkcji), traktując je
jako przesłanki do swojego wniosku. Oznaczając zdania wypowiedziane przez
X i Y jako zdania x oraz y, zapisujemy wypowiedź Z.: (x˄y) →~p . Całość jego
rozumowania przedstawia formuła:
{(p˄q) ˄ [p→(~q ˄ r)] ˄ ~r}→~p
Sprawdźmy, czy możliwe jest, aby powyższa implikacja zredukowała się do
0. Wtedy wykazalibyśmy, że rozumowanie na pewno tautologią nie jest. Wariant
ten zaszedłby, gdyby następnik pojawiającej się w rozumowaniu implikacji, ma-
jący postać ~p, przyjął wartość 0 (zajdzie to dla p=1), a poprzednik wartość 1.
Poprzednik ma postać koniunkcji, składającej się z trzech składników:
1. (p˄q)
2. [p→(~q ˄ r)]
3. ~r
Koniunkcja przyjmie wartość 1, jeśli każdy z jej członów przyjmie wartość 1.
Wstawmy ustaloną już wcześniej wartość p = 1:
{(1˄q) ˄ [1→(~q ˄ r)] ˄ ~r}→~1
{(1˄q) ˄ [1→(~q ˄ r)] ˄ ~r}→ 0
Jeśli pierwszy człon koniunkcji, mający postać p˄q, ma być równy 1, to musi-
my przyjąć q=1. Ostatni człon koniunkcji stanowiącej poprzednik rozważanej im-
plikacji, przyjmuje postać ~r. Przyjmie on wartość 1 dla r = 0. Podstawmy zatem
p = 1, q = 1, r = 0:
{(1˄1) ˄ [1→(~1 ˄ 0) ] ˄ ~0 }→ 0
{ 1 ˄ [1→ 0 ] ˄ 1 }→ 0
{ 1 ˄ 0 ˄ 1 }→ 0
0→0
1
124
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Widać, że jeśli człony p˄q oraz ~r przyjmą wartość 1, to wówczas człon
[p→(~q ˄ r) ] przyjmuje wartość 0, a wtedy cały poprzednik przyjmuje wartość
0. Pamiętając z matrycy implikacji, że 0→0 przyjmuje wartość 1, widzimy, że
badana formuła nie chce zredukować się do 0, zatem zawsze przyjmuje wartość 1,
czyli jest tautologią. W badanym rozumowaniu rzeczywiście mamy do czynienia
z wynikaniem logicznym, zatem rozumowanie Z jest prawidłowe.
Zadanie 4.4.3. Znając wartość logiczną zdania złożonego można czasami zna-
leźć wartości logiczne zdań składowych.13 Przeanalizujmy przykład:
Wiadomo, że prawdą jest, że Jonatan lubi golonkę albo sushi, i jeśli lubi
golonkę, to lubi sushi.
Czy zatem prawdą jest:
a) Jonatan lubi golonkę?
b) Jonatan lubi sushi?
Wprowadzimy oznaczenia:
p – Jonatan lubi golonkę.
q – Jonatan lubi sushi.
Podane zdanie złożone jest prawdziwe (= 1), co można zapisać formalnie:
(p⊥q) ˄ (p → q) =1
Budujmy matrycę prawdziwościową dlatego zdania i sprawdźmy, dla jakiej
wartości zdań p oraz q podane zdanie jest prawdziwe.
13
Por. J. Stanisławek, Podstawy logiki…, a także K. Paprzycka, Logika…, r. 8.1. Szukanie
wartości logicznych „wstecz”.
125
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Wprowadźmy oznaczenia:
p – Pójdę do pracy w korporacji.
q – Będę dobrze zarabiać.
r – Pójdę do pracy w urzędzie.
s – Będę mieć czas dla siebie.
Wyrażenie kolokwialne Jeśli…, to znaczy, że… interpretujemy jako impli-
kację. Rozumowanie przebiega zgodnie ze schematem:
{[p→ (q ˄ ~s)] ˄ [r→(~q ˄ s)]} → (q→~s)
Formuła ta jest implikacją, zawierającą w poprzedniku wyrażenie zamknięte
klamrą, i jako taka przyjmie wartość 1 dla każdego podstawienia, przy którym
następnik (q→~s) przyjmie wartość 1. Badana formuła przyjmie wartość 0 tylko
w jednym przypadku, a mianowicie gdy następnik przyjmie wartość 0, podczas
gdy poprzednik wartość 1. (Łatwo to zauważyć analizując matrycę implikacji).
Jeżeli całe wyrażenie uda nam się zredukować do 0 wykażemy wtedy, że bada-
na formuła na pewno tautologią nie jest. Pamiętając, że implikacja przyjmuje
wartość 0 tylko, gdy zachodzi zależność 1→0, zbadajmy, czy możliwy jest
ten ostatni wariant; podstawiamy w tym celu zmienne tak, aby w następniku
uzyskać 0.
{[p→ (q ∧ ~s)] ∧ [r→(~q ∧ s)]} → (q→~s)
0
1→0
Zatem musimy przyjąć q = 1 oraz ~s = 0 czyli s = 1. W tej sytuacji formuła
jako całość przyjmie wartość 0 wtedy i tylko wtedy, gdy koniunkcja zawarta
w poprzedniku przyjmie wartość1.Jesli formuła choć raz przyjmie wartość 0
znaczy to, że nie jest tautologią, a zatem rozumowanie przebiegające zgodnie
z tą formuła nie jest dedukcyjne.
Koniunkcja {[p→ (q ∧ ~s)] ∧ [r→(~q ∧ s)]} przyjmuje wartość 1 wtedy,
i tylko wtedy, gdy każdy z jej członów przyjmuje wartość 1.
{[p→ (q ∧ ~s)] ∧ [r→(~q ∧ s)]}
1 ∧ 1
Wstawmy wyznaczone już wartości q oraz s.
{[p→ (1 ∧ ~1)] ∧ [r→(~1 ∧ 1)]}
{[p→ (1 ∧ 0)] ∧ [r→(0 ∧ 1)]}
{[p→0] ∧ [r→0]}
Implikacja p→0 przyjmie wartość 1 dla p = 0, a implikacja r→0 przyjmie
wartość 1 dla r = 0
{[0→0] ∧ [0→0]}
1∧1
1
126
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Podstawiając do formuły:
{[p→ (q ∧ ~s)] ∧ [r→(~q ∧ s)]} → (q→~s)
1 → 0
0
Formuła redukuje się do 0, nie jest zatem tautologią, rozumowanie zatem nie
jest poprawne. Nie jest więc wnioskowaniem dedukcyjnym. Stanie się popraw-
nym, jeśli doda się do poprzednika implikację (zdanie warunkowe) q→p. Można
to rozumieć tak, że osoba przeprowadzająca przytoczone rozumowanie przyjęła
przesłankę entymematyczną: warunkiem dobrych zarobków jest praca w korpora-
cji (jeśli dobrze zarabiam to znaczy, że pracuję w korporacji). Wtedy rozumowanie
przebiega według schematu będącego prawem logicznym (tautologią):
{[p→ (q ∧ ~s)] ∧ [r→(~q ∧ s)]∧ (q→p)} → (q→~s)
{ 1 ∧ 1 ∧ (1 → 0)}→ 0
{1 ∧ 1 ∧ 0}→ 0
0→ 0
1
Po dołączeniu przesłanki entymematycznej wnioskowanie staje się dedukcyjne.
4.5. Zadania
Zadanie 4. 1.
Uzupełnij podane niżej tabelki dokonując konkretyzacji zdań zapisanych
schematami lub zapisując schemat logiczny podanego zdania.
a) p – Parys porwał Helenę,
q – Helena jest najpiękniejszą kobietą
Pamiętajmy, że w zdaniach w języku naturalnym często nazwy zastępujemy
zaimkami (np. zamiast Helena będzie ona, ją, jej). Warto też zwrócić uwagę na
tabelkę 4.1. pokazującą różne słowne odpowiedniki poszczególnych funktorów.
Schemat zdanie
Parys porwał Helenę, a Helena jest najpiękniejszą kobietą.
q→p
q↓p Ani Helena nie jest najpiękniejszą kobietą, ani Parys jej nie porwał.
p→q
~(p˄q)
Parys porwał Helenę, a nieprawda, że jest ona najpiękniejszą kobietą.
~p ˄ ~q
Parys nie porwał Heleny, a jest ona najpiękniejszą kobietą.
Jeśli Parys nie porwał Heleny, to nie jest ona najpiękniejszą kobietą.
p/q
Nieprawda, że Parys porwał Helenę, bądź nieprawda, że Helena jest najpiękniejszą kobietą.
127
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
b)
p – Orfeusz był w krainie zmarłych
q – Eurydyka była w krainie zmarłych
c)
p – Achilles zwyciężył wroga.
q – Odyseusz użył podstępu.
r – Achajowie pokonali Trojan.
Schemat Zdanie
(p˄q)→r
(~p ˅~q)→~r
~(p↓q)
~[(p/q)→r]
~(~p⊥~q)→r
r ≡ (p˅q)
(p→r)˄(r→q)
[(q→r)˄q]→r
[(q⊥r)∧r]→q
~(p↓q↓r)
(q˄r)˄~p
128
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
b) Jeśli Marek jest fotografikiem, to używa lustrzanki i poprawnie kadru-
je zdjęcia; lecz Marek niepoprawnie kadruje zdjęcia chociaż używa lu-
strzanki; zatem Marek nie jest fotografikiem.
c) Albo wybierzemy kapitalizm, albo wybierzemy zniesienie wyzysku; wybra-
liśmy kapitalizm, zatem nie wybraliśmy zniesienia wyzysku.
d) Jeśli telewizja państwowa TVP ma odpowiednią ilość pieniędzy na reali-
zację misji, to o ile nie będzie schlebiać gustom telewidzów, to będzie go
kształtować na wysokim poziomie; ale TVP nie kształtuje gustów telewi-
dzów na wysokim poziomie; zatem nie ma odpowiedniej ilości pieniędzy
na realizację misji lub schlebia gustom telewidzów.
Zadanie 4.5. Podana jest wartość logiczna zdania X. Należy ustalić wartość
logiczną zdań A, B, C.
a) Zdanie X: Ani nie wyjdę za mąż za Bolka, ani nie wyjdę za Lolka jest
prawdziwe. Które zdanie jest prawdziwe:
A. Nieprawda, że wyjdę za mąż za Bolka lub za Lolka.
14
Zadanie nawiązuje do żartobliwej zasady Petera, która głosi, że członkowie organizacji
typu biurokratycznego w trakcie własnej kariery awansują tak długo, póki nie znajdą się na pozio-
mie, na którym nie będą już kompetentni.
129
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
B. Nie wyjdę za mąż za Bolka i nie wyjdę za mąż za Lolka.
C. Albo nie wyjdę za mąż za Bolka, albo nie wyjdę za mąż za Lolka.
b) Zdanie X: Z jajka zrobię bądź omlet bądź kogel-mogel jest fałszywe. Któ-
re zdanie jest prawdziwe:
A. Jeśli zrobię omlet, to nie zrobię kogla-mogla.
B. Zrobię albo omlet albo kogel-mogel.
C. Nieprawda, że zrobię zarówno omlet i kogel-mogel.
d) Zdanie X: Jeśli Stefan nie oddał długu, to będzie go ścigać mafia jest
fałszywe. Które zdanie jest prawdziwe:
A. Stefan oddał dług.
B. Stefan nie oddał długu.
C. Stefana nie będzie ścigać mafia.
130
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
B. Jeśli nieprawdą jest, że był Wielki Wybuch, to nieprawdą jest, że
Wszechświat jest stały i Einstein się mylił.
C. Jeśli Wszechświat jest stały i nieprawda, że Einstein się mylił, to nie-
prawda, że był Wielki Wybuch.
c) X: Felicjan jest wegetarianinem wtedy i tylko wtedy, gdy nie jest mormo-
nem, a jeśli jest buddystą, to jest wegetarianinem, i jest albo mormonem
albo buddystą.
A. Felicjan jest wegetarianinem.
B. Felicjan jest mormonem.
C. Felicjan jest buddystą.
131
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
B. Jeśli Helena nie straciła stanowiska to znaczy, że albo nie działa bez-
prawnie albo kontrola tego nie wykryła.
C. Helena nie straci stanowiska.
h) X: Jeśli Barbara jest podejrzewana o czary, to grozi jej stos, a także jeśli
jest podejrzewana o czary, to może być pławiona w rzece.
A. Skoro nieprawda, że Barbarze grozi stos lub nieprawda, że może być
pławiona w rzece, to Barbara nie jest podejrzewana o czary.
B. Jeżeli Barbarze ani nie grozi stos, ani nie może być pławiona w rzece,
to nie jest podejrzewana o czary.
C. Jeśli Barbara jest podejrzewana o czary, to skoro grozi jej stos bądź
może być pławiona w rzece, to zginie.
15
Słowo przegra(ł) interpretujemy tu jako nie wygra(ł).
132
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
f) Jeśli jestem żonaty i mam kochankę to znaczy, że nie jestem dobrym mę-
żem. Zatem jeśli jestem dobrym mężem to znaczy, że jestem żonaty, ale nie
mam kochanki.
g) Jeśli wybory wygra prawica, to skomercjalizuje się szpitale. A jeśli sko-
mercjalizuje się szpitale, to leczenie dla biednych będzie niedostępne. Za-
tem jeśli prawica przegra16 wybory, to leczenie dla biednych nie będzie
niedostępne.
Odpowiedzi
Zadanie 4.1.
a)
Schemat zdanie
p˄q Parys porwał Helenę, a Helena jest najpiękniejszą kobietą.
q→p Jeśli Helena jest najpiękniejszą kobietą, to Parys ją porwał.
q↓p Ani Helena nie jest najpiękniejszą kobietą, ani Parys jej nie porwał.
p→q Jeśli Parys porwał Helenę, to Helena jest najpiękniejszą kobietą.
~(p˄q) Nieprawda, że zarazem Helena jest najpiękniejszą kobietą
i Parys ją porwał.
p ˄ ~q Parys porwał Helenę, i nieprawda, że jest ona najpiękniejszą kobietą.
~p ˄ ~q Nieprawda, że Parys porwał Helenę i nieprawda,
że Helena jest najpiękniejszą kobietą.
~p˄q Parys nie porwał Heleny, a jest ona najpiękniejszą kobietą.
~p→~q Jeśli Parys nie porwał Heleny, to nie jest ona najpiękniejszą kobietą.
p/q Parys porwał Helenę, bądź Helena jest najpiękniejszą kobietą.
~p/~q Nieprawda, że Parys porwał Helenę, bądź nieprawda,
że Helena jest najpiękniejszą kobietą.
16
Por. przypis 15.
133
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
b)
Schemat
Zdanie
formalny
Orfeusz i Eurydyka byli w krainie zmarłych. p˄q
Orfeusz był, a Eurydyka nie była w krainie zmarłych. p˄~q
Nieprawda, że Orfeusz i Eurydyka byli w krainie zmarłych. ~(p˄q)
Eurydyka była w krainie zmarłych, ale nie Orfeusz. q˄~p
Albo Orfeusz był w krainie zmarłych, albo była tam Eurydyka p⊥q
Jeśli Orfeusz był w krainie zmarłych, to nie była tam Eurydyka. p→~q
Ani Orfeusz ani Eurydyka nie byli w krainie zmarłych. p↓q
Nieprawda, że jeśli Orfeusz był w krainie zmarłych, to nie było tam ~(p→~q)
Eurydyki.
Eurydyka była w krainie zmarłych, choć nie było tam Orfeusza. q˄~p
Jeśli Orfeusz nie był w krainie zmarłych, to nie była tam Eurydyka. ~p→~q
Orfeusz lub Eurydyka byli w krainie zmarłych. p˅q
c)
Jeśli Achilles zwyciężył wroga i Odyseusz użył podstępu, to
(p˄q)→r Achajowie pokonali Trojan.
Gdyby Achilles nie zwyciężył wroga lub Odyseusz nie użył
(~p ˅~q)→~r podstępu, to Achajowie nie pokonaliby Trojan.
Nieprawda, że ani Achilles nie zwyciężył wroga ani Odyseusz nie
~(p↓q) użył podstępu.
Nieprawda, że jeśli Achilles zwyciężył wroga bądź Odyseusz użył
~[(p/q)→r] podstępu, to Achajowie pokonali Trojan.
Jeśli nieprawdą jest, że albo Achilles nie zwyciężył wroga albo
~(~p⊥q)→r Odyseusz nie użył podstępu, to Achajowie pokonali Trojan.
Achajowie pokonali Trojan wtedy i tylko wtedy, gdy Achilles
r ≡ (p˅q) zwyciężył wroga lub Odyseusz użył podstępu.
Jeśli Achilles zwyciężył wroga to Achajowie pokonali Trojan;
(p→r)˄(r→q) a jeśli Achajowie pokonali Trojan, to Odyseusz użył podstępu.
Skoro, jeśli Odyseusz użył podstępu, to Achajowie pokonali
[(q→r)˄q]→r Trojan, a Odyseusz użył podstępu, to Achajowie pokonali
Trojan.
Jeśli albo Odyseusz użył podstępu, albo Achajowie nie pokonali
[(q⊥~r)∧r]→q Trojan, a (i) Achajowie pokonali Trojan, to Odyseusz użył
podstępu.
Nieprawdą jest, że ani Achilles nie zwyciężył wroga, ani
~(p↓q↓r) Odyseusz nie użył podstępu, ani Achajowie nie pokonali Trojan.
Odyseusz użył podstępu i Achajowie pokonali Trojan, lecz
(q˄r)˄~p Achilles nie zwyciężył wroga.
134
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadanie 4.2.
a) Oznaczamy:
p – Franio zdał test.
q – Franio zaliczył egzamin praktyczny z jazdy samochodem.
r – Franio otrzyma prawa jazdy.
Zauważmy, że sens zdania Franio oblał egzamin praktyczny jest taki sam
jak zdania Franio nie zaliczył egzaminu praktycznego z jazdy samochodem, co
oznaczymy ~r.
[(p˄q)→r]→[(p˄~r)→~q]
b) Oznaczamy:
p – Marek jest fotografikiem.
q – Marek używa lustrzanki.
r – Marek poprawnie kadruje zdjęcia.
{[p→(q˄r)]˄(~r˄q)}→~p
c) Oznaczamy:
p – Wybierzemy kapitalizm.
q – Wybierzemy zniesienie wyzysku.
[(p⊥q)˄ p]→ ~q
d) Oznaczamy:
p – Telewizja państwowa ma odpowiednią ilość pieniędzy na realizację misji.
q – Telewizja państwowa będzie schlebiać gustom telewidzów.
r – Telewizja państwowa będzie kształtować gust telewidzów na wysokim
poziomie.
{[p→(~q→r)]˄~r}→(~p˅q)
Zadanie 4.3.
a) Schemat [(p˄q)→r]→[(p˄~r)→~q] jest tautologią.
p q r p˄q (p˄q)→r ~r p˄~r ~q (p˄~r)→~q [(p˄q)→r]→ [(p˄~r)→~q]
(A) (B)
(A → B)
1 1 1 1 1 0 0 0 1 1
1 1 0 1 0 1 1 0 0 1
1 0 1 0 1 0 0 1 1 1
1 0 0 0 1 1 1 1 1 1
0 1 1 0 1 0 0 0 1 1
0 1 0 0 1 1 0 0 1 1
0 0 1 0 1 0 0 1 1 1
0 0 0 0 1 1 0 1 1 1
135
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
b) Schemat {[p→(q˄r) ]˄(~r˄q)}→~p jest tautologią
Zadanie 4.4.
a) Schemat jest tautologią.
Rozwiązanie
Wprowadźmy oznaczenia:
p – Urzędnik ma określony czas na wykonanie danego zadania.
q – Zadanie zostanie wykonane w możliwie najpóźniejszym terminie.
136
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
r – Żywiołowo wzrasta liczba urzędników.
s – Wzrost liczby urzędników jest związany z ilością pracy do wykonania.
Zastąpmy podanej wyżej zdania zmiennymi zdaniowymi, pozostawiając po-
zostałe słowa i podkreślając te spośród nich, które pełnią funkcje funktorów.
Jeżeli p, to q, więc r i nie s. Zatem jeśli nie r lub s, to wówczas nie q.
Słowo „zatem” możemy zastąpić funktorem implikacji, traktując całość przed
nim jako poprzednik, a całość po nim jako następnik implikacji. Spójnik więc ozna-
cza, że to, co po nim następuje, jest skutkiem lub wnioskiem względem tego, co go
w wypowiedzi poprzedza, zatem także zastępujemy go funktorem implikacji.
Otrzymujemy schemat:
[(p→q)→(r˄~s)]→[(~r˅s)→~q]
Ponieważ w schemacie występują aż 4 zmienne, pełna metoda tabelaryczna
wymagałaby aż 16 pozycji. Zastosujmy najpierw metodę skróconą zerojedynko-
wą, aby ograniczyć ilość pozycji w tabeli. Pamiętajmy, że w metodzie tej postę-
pujemy tak, jak byśmy chcieli, żeby całość zredukowała się do 0. Jeśli to się nie
udaje, to znaczy, że całość zawsze przyjmuje wartość 1.
Przyjmijmy A: [(p→q)→(r˄~s)], B: [(~r˅s)→~q]
A→B przyjmie wartość 0, gdy A = 1 i B = 0.
B zredukuje się do 0, gdy ~q = 0, czyli q = 1, a wyrażenie (~r˅s) przyjmie
wartość 1, co zachodzi w 3 przypadkach:
1) r = 1, s = 1 2) r = 0, s = 1 3) r = 0, s = 0
A ponieważ przy każdym z tych wariantów p może też przyjąć jedną z dwóch
wartości, tabelka może zawierać tylko 2x3 pozycje. Dla każdej z nich przy q = 1
wartość B = 0, sprawdźmy zatem wartość A w tabelce:
137
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
b) Schemat nie jest tautologią.
Rozwiązanie
Oznaczenia:
p – Urzędnicy w biurze awansują.
q – Urzędnicy osiągnęli swój próg niekompetencji.
r – Urząd się rozwija.
Otrzymujemy schemat: [(p→~q)→r]→[~r→(q˄~p)]
Zastosujmy metodę skróconą.
A: [(p→~q)→r], B: [~r→(q˄~p)],
Gdyby implikacja A → B miała nie być tautologią, to koniecznym byłoby,
aby A przyjęło wartość 1, a B wartość 0. Jeśli nie uda się tak dobrać wartości,
aby implikacja przyjęła wartość 0, to znaczy że zawsze przyjmuje wartość 1.
Zdanie B przyjmie wartość 0 wtedy, i tylko wtedy, gdy r = 0, a (q˄~p) = 0, co
zachodzi w 3 przypadkach:
1) p = 1, q = 1 2) p = 1, q = 0, 3) p = 0, q = 0
Dokonajmy teraz pierwszego podstawienia:
[(p→~q)→r]→[~r→(q˄~p)]
[(1→~1)→0]→[~0→(1˄~1)]
[(1→0)→0]→[1→(1˄0)]
(0→0)→(1→0)
1→0
0
Już przy pierwszym podstawieniu cały schemat przyjął wartość 0, zatem nie
ma potrzeby dokonywać następnych podstawień, gdyż już wiadomo, że badany
schemat tautologią nie jest.
138
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
2) Wartość A: { p→(~q→r)]˄ (~ p˄r)} była 1, a skoro jest to koniunkcja,
to może ona być prawdziwa, gdy jej oba składniki są prawdziwe, a więc wartość
logiczna np. drugiego składnika (~ p˄r) musi być 1, a skoro r = 0, to wyrażenie
(~ p˄r) zawsze przyjmie wartość 0. W takim razie koniunkcja
p→(~q→r)]˄ (~ p˄r)} przyjmuje wartość 0, czyli A nie przyjmuje wartości
1 wtedy gdy B = 0, zatem:
A→B
0→0
1
Rozpatrywany schemat nie przyjmuje wartości 0, jest zatem tautologią.
Widać, że nawet gdy dobierzemy wartości zmiennych tak, aby następnik im-
plikacji A→B przyjął wartość 0, to poprzednik wówczas także przechodzi w 0,
a całość przyjmuje wartość 1. Schemat zatem nigdy nie przyjmuje wartości 0,
jest więc tautologią.
139
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadanie 4.5.
a) Prawdziwe są zdania A i B
Rozwiązanie
p – Wyjdę za mąż za Bolka.
q – Wyjdę za mąż za Lolka.
X: p↓q, A: ~(p˅q), B: ~p˄~q, C: ~ p⊥~q
Z tabeli możemy odczytać, że gdy prawdziwe jest zdanie X, wówczas zdania
A i B są prawdziwe, natomiast zdanie C jest fałszywe.
p q p↓q ~(p˅q) ~p ~q ~p˄~q ~ p⊥~ q
X A B C
1 1 0 0 0 0 0 0
1 0 0 0 0 1 0 1
0 1 0 0 1 0 0 1
0 0 1(dane) 1 1 1 1 0
c) Prawdziwe są zdania A i B.
Rozwiązanie
Oznaczenia:
p – Hipolit jest myśliwym.
q – Hipolit jest ekologiem.
X: (p˅q)→~(p≡q)
A: p, B: q, C: p⊥q
140
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
d) Prawdziwe są zdania B i C.
Rozwiązanie
Oznaczmy:
p – Stefan oddał dług.
q – Stefana będzie ścigać mafia.
X: ~p→q A: p B: ~p C: ~q
Z tabeli możemy odczytać, że gdy zdanie X jest fałszywe, fałszywe są rów-
nież zdania p oraz q. Prawdziwe są zdania B: ~p oraz C: ~q.
Implikacja jest fałszywa tylko, gdy jej poprzednik jest prawdziwy a następ-
nik fałszywy. Zatem prawdą jest, że Stefan nie oddał długu, natomiast nieprawdą
jest, że będzie go ścigać mafia.
p ~p q ~q ~p→q
1 0 1 0 1
1 0 0 1 1
0 1 1 0 1
0 1 0 1 0 (dane)
e) Prawdziwe są zdania B i C.
Rozwiązanie
Oznaczenia:
p – Należy pobierać opłaty za korzystanie z kąpieliska.
q – Należy kąpielisko zamknąć.
X: ~(p˅q) A: p⊥q B: ~p ˄~q C: p↓q
X=1
Zadanie 4.6.
a) B,
Rozwiązanie
Oznaczmy:
p – Maurycy wypił na bankiecie whisky.
141
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
q – Maurycy wypił na bankiecie gin.
Zdanie X: p˅q, A: ~(p˄q), B: ~(p↓q), C: ~p→~q
Ze zdania X wynika logicznie zdanie A gdy implikacja X→A jest tautologią.
Sprawdźmy, czy schemat X→A jest tautologią stosując metodę skróconą:
(p˅q )→ ~(p˄q)
Staramy się sprowadzić wyrażenie do wartości 0, czyli wykazać, że nie jest to
tautologia. Implikacja X→A przyjęła by wartość 0 dla X=1 i A=0.Aby po stronie
A uzyskać 0 dobieramy p=1 i q=1, wówczas A przybiera wartość 1:
(1˅1 )→ ~(1˄1)
1→~1
1→0
0
Sprawdzana formuła nie jest tautologią, ze zdania X nie wynika zatem zdanie A.
Tautologią jest jedynie schemat X→B:
(p˅q)→~(p↓q)
co pokażemy metodą matrycową:
b) A i C
Rozwiązanie
Oznaczmy:
p – Był Wielki Wybuch.
q – Wszechświat jest stały.
r – Einstein się mylił.
Zdanie X: p→ (~q ˅ r)
A: q→ ~(p ˄ ~r)
B: ~p →~(q ˄ r)
C: (q ˄ ~r) → ~p
Sprawdźmy metodą skróconą, czy zachodzi wynikanie X→A:
[p→(~q˅r)]→ [q→ ~(p ˄~r)]
0
1→0
1→ ~ (1 ˄ ~0)
142
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Aby otrzymać po stronie A wartość 0 musimy przyjąć q=1, p=1,r=0. Wów-
czas strona X:
[p→(~q ˅ r)]
[1→ (~1 ˅ 0)
1→0
0
Zatem, skoro dobraliśmy zmienne tak, aby A=0, a X przyjęło wówczas rów-
nież wartość 0, to:
X→A
0→0
1
Widzimy zatem, że ze zdania X wynika zdanie A.
Sprawdźmy, czy zachodzi wynikanie X→B metodą matrycową.
[p→(~q˅r)]→[~p→ ~(q˄r)]
c) Żadna.
Rozwiązanie
Oznaczmy:
p – Felicjan jest wegetarianinem.
q – Felicjan jest mormonem.
r – Felicjan jest buddystą.
143
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Oznaczmy dla skrócenia zapisu w tabelce:
α: (p ≡ ~q), β: (r →p), γ:(q⊥r),
Wówczas: X: α ˄ β ˄γ
p q r ~q p≡ ~q r →p q⊥r α˄ β˄γ X→A X→B X→C
α β γ X X→p X→q X→r
1 1 1 0 0 1 0 0 1 1 1
1 1 0 0 0 1 1 0 1 1 1
1 0 1 1 1 1 1 1 1 0 0
1 0 0 1 1 1 0 0 1 1 1
0 1 1 0 1 0 0 0 1 1 1
0 1 0 0 1 1 1 1 0 1 0
0 0 1 1 0 0 1 0 1 1 1
0 0 0 1 0 1 0 0 1 1 1
144
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
X→B
[(p˄q)→r ]→[(p˄~q)→~r]
0
1→0
(1˄~0)→~1
Otrzymujemy p=1, q=0, r=1.Wstawiamy te wartości do strony X:
[(1˄0)→1 ]→0
(0→1)→0
1→0
0
Formuła nie jest tautologią, ze zdania X nie wynika zdanie B.
Sprawdźmy, czy ze zdania X wynika zdanie C:
X→C
[ (p˄q)→r]→[~r→(~p˅~q) ]
0
1→0
~0→(~1˅~1)
Mamy zatem p=1, q=1, r=0, podstawiamy te wartości do X:
[(1˄1)→0 ]→0
0→0
1
Nie udało się sprowadzić formuły X→C do wartości 0, zatem zawsze przyjmuje
ona wartość 1. Jest to zatem tautologia, a ze zdania X wynika logicznie zdanie C.
e) C
Rozwiązanie
Wprowadźmy oznaczenia:
p – Stanisław był na wiecu.
q – Stanisław głosował w wyborach na partię Gąsiora .
X: ~(p˄q) A: p˄~q B:~p˄~q C: ~p˅~q D: p↓q E:~p˄q
(w zdaniu E słowo „ale” ma sens koniunkcji, więc symbolizujemy je funk-
torem „˄”).
145
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
X→A X→B X→C X→D X→E
1 1 1 1 1
1 0 1 0 0
0 0 1 0 1
0 1 1 1 0
f) A, B, C, D
Rozwiązanie
Wprowadźmy oznaczenia:
p – Pojedziemy na wczasy do Egiptu.
q – Pojedziemy na wczasy do Tunezji.
X: ~(p˅q) A: ~p˅~q B: ~p˄~q C: ~(~p→q)
D: p↓q E: p˄~q
1 1 1 0 0 0 0 0 1 0 0 0
1 0 1 0 0 1 1 0 1 0 0 1
0 1 1 0 1 0 1 0 1 0 0 0
0 0 0 1 1 1 1 1 0 1 1 0
g) Żadne
Rozwiązanie
Wprowadźmy oznaczenia:
p – Helena działa bezprawnie.
q – Kontrola to wykryła.
r – Helena straci stanowisko.
X: [p→(q→r)] ˄~q
A: ~p B: ~r→(~p⊥q) C: ~r
Zastosujmy metodę skróconą do sprawdzenia X→A:
146
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
{[p→(q→r)] ˄~q}→ ~p
Staramy się dobrać tak wartości p, q, r aby otrzymać 0 (pamiętając, że jeśli
to się nie uda, to znaczy, że schemat zawsze przybiera wartość 1, czyli jest tau-
tologią.) Dajemy zatem p = 1 i q = 0 (implikacja X→A może przyjąć wartość 0
tylko, gdy X = 1 i A = 0.) Mamy:
{[p → (0 → r)] ˄ ~0}→ ~1
{[1→ (0→ r)] ˄ 1}→ 0
Dla r = 1 implikacja 0→r przyjmie wartość 1.
{[1→ (0→ 1 )] ˄ 1}→ 0
{[1→ 1] ˄ 1}→ 0
{1 ˄ 1} → 0
1→ 0
0
Udało się sprowadzić X→A do wartości 0, nie jest to więc tautologia, a zatem
ze zdania X nie wynika logicznie zdanie A.
Sprawdźmy X→B:
{[p→(q→r)] ˄~q }→[~r→(~p⊥ ~q)]
Chcąc otrzymać po stronie B wartość 0 wyznaczmy wartości p, q, r.
{[p→(q→r)] ˄~q }→[~r→(~p⊥ ~q)]
0
1→ 0
~0→ 0
Zwróćmy uwagę, że ekskluzja (~p⊥ ~q) przyjmie wartość 0, gdy p i q będą
miały tę samą wartość (p = 0, q = 0 lub p = 1, q = 1). Sprawdźmy dla p = 0, q = 0:
{[p→(q→r)] ˄~q }→[~r→(~p⊥ ~q)]
Przyjęliśmy już r = 0, zatem:
{[0→(0→0)] ˄~0 }→ [~0→(~0⊥ ~0)]
{[0→ 1 ] ˄ 1} → [ 1 → ( 1⊥1)]
{1 ˄ 1 } → [ 1→ 0 ]
1→0
0
Implikacja X→B także nie jest tautologią, zatem z X nie wynika logicznie B.
Podobnie X→C:
{[p→(q→r)] ˄~q }→~r
Przyjmijmy r = 1 i q = 0:
{[p→(0→r)] ˄~0 }→~1
{[p→(0→1)] ˄1 }→ 0
{[p→1)] ˄1 }→ 0
Dla dowolnego p implikacja p→1 przyjmuje wartość 1:
147
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
1 ˄1 → 0
1→0
0
Także w przypadku X→C nie zachodzi wynikanie logiczne.
Sprawdźmy jeszcze rozwiązania zadań dotyczące A i C. A i C w tabeli.
h) A, B, C
Rozwiązanie
Oznaczenia:
p – Barbara jest podejrzewana o czary.
q – Barbarze grozi stos.
r – Barbara może być pławiona w rzece.
s – Barbara zginie.
X: (p→q)˄(p→r) A: (~q˅~r)→~p
B: (q↓r)→~p C: p→[(q/r)→s]
i) B, C
Rozwiązanie
Wprowadźmy oznaczenia:
p – Nadchodzi front chłodny.
q – Ciśnienie spada.
r – Temperatura rośnie.
X: p→(q˄r) A: ~p→(~q˄~r) B: (~q˅~r)→~p C:(p˄r)→q
Zadanie 4.7.
a) Wnioskowanie jest dedukcyjne.
Rozwiązanie
Oznaczenia:
p – Wyjdę za maż za Marka.
148
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
q – Wyjdę za maż za Jurka.
r – Pójdę do klasztoru.
s – Będę nosić moherowy beret.
[(~r → p /q) ˄ (r → ~s)] →(s → p/q)
149
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
g) Wnioskowanie nie jest dedukcyjne.
Oznaczenia:
p – Wybory wygra prawica.
q – Skomercjalizuje się szpitale.
r – Leczenie dla biednych będzie niedostępne.
[(p →q)˄(q→ r)] →(~p→ ~r)
150
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Rozdział V
Definicje
DEFINICJE
realne nominalne
definiują definiują
przedmioty słowa
151
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Inny przykład: „Oleaster” znaczy „dzikie drzewo oliwne”.
stylizacja
definicji semantyczna “X”oznacza ...
nominalnych
przedmio-
X jest to ...
towa
17
patrz & 1.3.2.
152
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
5.2. Definicje sprawozdawcze i projektujące
DEFINICJE
sprawozdawcze projektujące
konstrukcyjne regulujące
(całkowicie (liczące sie ze znacze-
arbitralne) niem zwyczajowym)
Przykładem pierwszej sytuacji może być słowo modem. Słowo modem po-
wstało przez złożenie pierwszych sylab ze słów modulacja i demodulacja. Mo-
dem jest to urządzenie elektroniczne, którego zadaniem jest zamiana danych
cyfrowych na analogowe sygnały elektryczne (modulacja) i na odwrót (demo-
153
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
dulacja) tak, aby mogły być przesyłane i odbierane poprzez linię telefoniczną.
Gdy urządzenie to zostało skonstruowane, wprowadzono jego nazwę wraz z de-
finicją. Wtedy była to definicja konstrukcyjna– nowe słowo wraz z góry ustalo-
nym znaczeniem. Gdy współcześnie tłumaczymy komuś, co to jest modem – dla
nas jest to już definicja sprawozdawcza. I może się zdarzyć, że sprawozdanie
będzie błędne, a przez to definicja stanie się zdaniem fałszywym (modem jest to
czasopismo poświęcone modzie).
Przykładem drugiej sytuacji może być słowo komórka. Znana z biologii
definicja głosi, iż komórka jest to najmniejsza strukturalna i funkcjonalna jed-
nostka organizmów żywych zdolna do przeprowadzania wszystkich podstawo-
wych procesów życiowych. Ale w telekomunikacji nadano słowu komórka nowe
znaczenie. Wprowadzono następującą definicję konstrukcyjną: Komórka jest to
w systemach telekomunikacyjnej łączności bezprzewodowej obszar dominacji
sygnału radiowego emitowanego przez jedną stacje przekaźnikową. (Stąd tez
nazwa telefon komórkowy).
Podsumowując:
Większość terminów naukowych i technicznych została wprowadzona po-
przez definicje konstrukcyjne.
Natomiast definicja projektująca regulująca nadaje ścisłe znaczenie słowom
już używanym, nie zmieniając ich zasadniczego sensu. Potrzeba zastosowania
definicji regulującej dotyczy na ogół wyrażeń, które:
1. mają nieostry zakres,
lub/i
2. mają treść niewyraźną18.
18
Patrz § 1.25 oraz § 1.2.6.
154
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
b) Kwiat jest to organ roślin nasiennych, w którym wykształcają się wyspe-
cjalizowane elementy służące do rozmnażania.
Należy zwrócić uwagę, że w ostatnim przypadku potrzeba definicji regulują-
cej bierze się z sytuacji, w której desygnaty danej nazwy umiemy wskazać, nato-
miast treść charakterystyczna nazwy nie jest dla nas wyraźna (nie potrafimy np.
wymienić cech pieniądza jako takiego).Podobnie dla większości nie–botaników
wskazanie kwiatu nie będzie trudne, natomiast o wiele trudniejsze będzie powie-
dzenie, czym kwiat jest.
Definicje regulujące niezbędne są w prawie, gdzie istnieje konieczność pre-
cyzyjnego używania słow. Np.: „Wykroczenie” jest to czyn społecznie szkodliwy
zagrożony przez ustawę obowiązującą w czasie jego popełnienia karą aresztu
(od 5 do 30 dni), ograniczenia wolności, grzywny do 5000 zł albo nagany.
klasyczne
wyraźne
nieklasyczne
równościowe – przez wyliczenie
nieklasyczne
– przez wyliczenie
Definicje cząstkowe
aksjomatyczne
nierównościowe
indukcyjne
inne
155
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
3. Definiensa (wyrażenia definiującego).
Sens słowa „równościowa” w odniesieniu do definicji wiąże się w poprawnej
definicji z równym ( w znaczeniu takim samym) zakresem definiendum i defi-
niensa. Znaczenie definiendum powinno być takie same, jak definiensa.
Poniższy schemat zawiera przykłady definicji równościowych.
Jeśli definiens zbudowany jest wedle formuły podanej już przez Arystotelesa,
wówczas definicję nazywamy klasyczną. Formuła ta brzmi:
X
Definicja równościowa jest wyraźna, jeśli wyraz definiowany jest tożsamy
z definiendum. Taka sytuacja zachodziła we wszystkich podanych wyżej przy-
kładach definicji. Czasem jednak łatwiej jest dany wyraz zdefiniować, gdy po-
jawia się w pewnym kontekście. Przykładu dostarcza np. podana niżej definicja
wariacji z powtórzeniami.
156
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Definiendum łącznik definiens
cechy
157
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Definicja klasyczna może występować w trzech odmianach: jako naturalna,
genetyczna i finalna.
definicja klasyczna
definiens
łącz-
Definiendum najbliższy rodzaj różnica gatunkowa
nik
genus proximum differentia specifica
Definicja naturalna
składające się z wyrazów znaczących
Pleonazm jest to wyrażenie
to samo lub prawie to samo.
pozbawiona stałych zasad, naginająca
Oportunista jest to osoba się do okoliczności dla osobistych
korzyści.
Definicja genetyczna
porażenie obu występujące w następstwie
Paraplegia jest to
kończyn dolnych uszkodzenia rdzenia kręgowego.
narastający na cienkich przedmiotach
na skutek zamarzania kropelek
biały osad
Szadź jest to przechłodzonej mgły przy ich
kryształków lodu
zetknięciu z przedmiotami
w temperaturze niższej od 0 C.
Definicja finalna
rozmyślne w celu zrobienia komuś przykrości
Szykanowanie jest to
działanie lub stwarzania mu utrudnień.
wykonywane i powtarzane w celu
Neurobik są to ćwiczenia rozwinięcia i poprawy niektórych
umiejętności umysłowych.
158
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Odmianą definicji równościowej jest definicja przez wyliczenie. W przy-
padku definicji adekwatnej definiens takiej definicji wymienia nazwy, których
łączny zakres powinien być równy zakresowi definiendum. Np. Naczelne (X)
są to: małpy człekokształtne (A) ,małpy wąskonose(B), małpy szerokonose (C)
i małpiatki (D). Podaną definicję obrazują pokazane niżej schematy.
A B C D
A B
D C
X x
I kł d K l d b k ół
X
N?
Np.: Jeśli kobieta (X) jest uczestniczką wyborów Miss Świata(W) to jest pięk-
ną kobietą (N).
Definicja powyższa nie definiuje wyrażenia piękna kobieta tak, aby była to
nazwa o ostrym zakresie (czyli tak, aby o każdej kobiecie dało się orzec nale-
19
Porównaj K. Szymanek, Sztuka argumentacji, Wydawnictwo Naukowe PWN, Warszwa 2001,
s. 95.
159
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
ży, czy nie do zakresu tej nazwy). W przykładzie pokazuje się, że uczestniczka
wyborów Miss Świata na pewno należy do desygnatów nazwy piękna kobieta,
ale nie przesądza się, czy desygnatami tej nazwy nie są także inne kobiety, nie
należące do zakresu nazwy uczestniczka wyborów Miss Świata. Zakres nazwy N
nie jest ostry (stąd na rysunku znak zapytania).
b) warunek, którego spełnienie przez jakiś przedmiot oznacza, ze nie jest on
desygnatem nazwy N:
Jeśli X ma własność V, to X nie jest desygnatem nazwy N.
Definicję taką nazywamy definicją cząstkową negatywną.
Np. Jeśli ktoś (X) jest ateistą (V), to nie jest księdzem (N). Mamy tu przykład
cząstkowej definicji wyrazu ksiądz, polegającej na wskazaniu przykładu osoby,
która desygnatem tej nazwy nie jest.
c) warunki pozwalające orzec o niektórych przedmiotach, że są desygnatami
nazwy N, a o pewnych przedmiotach, że desygnatami tej nazwy nie są.
Jeśli X ma własność W, to X jest desygnatem nazwy N oraz
jeśli X ma własność V, to X nie jest desygnatem nazwy N.
Definicję taką nazywamy definicją cząstkową pozytywno-negatywną.
Np.: Jeśli ktoś (X) jest katolikiem (W), to jest chrześcijaninem (N), a jak ktoś
(X) jest buddystą (V), to nie jest chrześcijaninem (N). Jest to cząstkowa definicja
pojęcia chrześcijanin, otrzymana przez wskazanie desygnatów, które na pewno
należą do zakresu nazwy chrześcijanin (katolik) i wskazanie desygnatów, które
nas pewno do zakresu tego nie należą (buddysta).
160
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Definicja aksjomatyczna (definicja przez postulaty) wyrazu (wyrażenia)
D jest to zbiór zdań Z1…Zn, które ograniczają zakres możliwych interpretacji D,
przy czym interpretacje te muszą być takie, aby zdania Z1…Zn były prawdziwe.
Definicje aksjomatyczne są stosowane głownie do definiowania pojęć pierwot-
nych, których za pomocą definicji klasycznych nie da się zdefiniować. Np. Eu-
klides w swojej geometrii definiuje punkt poprzez następuje postulaty:
1. Punkt to jest to, co nie składa się z części.
2. Dwie proste przecinają się w punkcie.
3. Z punktu można zakreślić okrąg.
Definicje funktorów rachunku zdań są definicjami aksjomatycznymi – postu-
latami zawartymi w matrycach prawdziwościowych, przypisanych poszczegól-
nym funktorom.
Definicja indukcyjna, podobnie jak aksjomatyczna, jest stosowana gdy za-
kres definiendum trudno jest wyznaczyć za pomocą pojedynczego zdania. Od-
mienna jest jednak jej budowa. Definicja indukcyjna składa się z:
1. z warunku wyjściowego, który wyznacza pewien podzbiór zakresu de-
finiendum ( np. wymienia przedmioty niewątpliwie będące desygnatami
definiendum),
2. z warunków indukcyjnych, które podają reguły rozszerzania podzbiorów
zakresu definiendum (stwierdzają, w jakim stosunku do przedmiotów już
należących do zbioru powinien pozostawać nowy przedmiot, jeśli ma on
należeć do owego zbioru).
Przykładem definicji indukcyjnej jest definicja wyrażenia sensownego w ra-
chunku zdań:
Wyrażeniami sensownym rachunku zdań są:
1. wyrażenia proste: zmienne zdaniowe p,q,r,…
2. wyrażenia złożone:
a) jeśli φ jest wyrażeniem sensownym, to ~ (φ) jest wyrażeniem sensownym,
b) jeśli φ jest wyrażeniem sensownym i jeśli ψ jest wyrażeniem sensownym,
to wyrażenia (φ)˄( ψ), (φ)˅( ψ), (φ)→( ψ), (φ) ≡ ( ψ) są także wyraże-
niami sensownymi.
161
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
5.5. Błędy w definiowaniu
Najważniejsze rodzaje błędów, jakie można popełnić podczas definiowania
pokazuje poniższy schemat.
bezpośrednie
idem per idem
błędne
koło
pośrednie
definicja
za wąska
błąd nieadekwatności
definicja
krzyżująca
162
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Definicja za szeroka powstaje wtedy, gdy zakres definiensa jest w relacji
nadrzędności w stosunku do definiendum (zakres definiensa jest szerszy niż de-
finiendum).
Np. Tygrys jest to ssak drapieżny. D – tygrys, d – ssak drapieżny
d
D (definiendum)
D
d (definiens)
Definicja za wąska powstaje wtedy, gdy zakres definiensa jest w relacji pod-
rzędności w stosunku do definiendum (zakres definiensa jest węższy niż defi-
niendum).
Np. Student jest to osoba ucząca się na Politechnice. (D – student, d – osoba
ucząca się na Politechnice).
D D
d
d
163
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
szkoły podstawowej), a dla niektórych desygnatów nie jest adekwatna (są na-
uczyciele nie będący pracownikami szkoły podstawowej i są pracownicy szkoły
podstawowej nie będący nauczycielami).
D
D d
d
D d
5.6. ZADANIA
Zadanie 5.1.
Wskaż sensowny genus proximum potrzebny do zdefiniowania następują-
cych wyrażeń:
a) makler
b) prowizja
c) tygrys
d) stół
e) polisa
164
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
f) smutek
g) trójkąt
h) piorun
i) mysz komputerowa
j) uczciwość
k) ołtarz
l) rubin
m) zarządzanie
n) przestępstwo
o) czerń
p) fatamorgana
q) fundacja
r) algorytm
Zadanie 5.2.
Wskaż, która z podanych cech nie może stanowić differentia specifica w po-
prawnej definicji klasycznej podanego wyrazu:
1. stół
a) bycie drewnianym
b) posiadanie czterech nóg
c) posiadanie blatu
d) posiadanie jednej nogi
2. katedra
a) bycie najpiękniejszym kościołem w mieście
b) posiadanie dwóch wież
c) bycie największym kościołem w mieście
d) posiadanie tronu biskupiego
3. samochód
a) bycie pojazdem
b) bycie urządzeniem mechanicznym
c) posiadanie nadwozia i podwozia
d) posiadanie srebrnej karoserii
4. rapowanie
a) poleganie na rytmicznym wypowiadaniu słów
b) poleganie na rymowaniu słów
c) bycie rodzajem ekspresji wokalnej
d) bycie stylem muzycznym
5. administracja
a) realizowanie przy pomocy aparatu urzędniczego
b) bycie działalnością organizatorską
165
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
c) obejmowanie zakresem spraw o charakterze publicznym
d) bycie zarządzaniem
Zadanie 5.3.
Zbuduj klasyczne definicje następujących pojęć:
a) krzesło
b) rower
c) rolnik
d) romb
e) kurtyna teatralna
f) student
g) pedant
Zadanie 5.4.
Podane definicje wpisz do tabelki, uwzględniając typy definicji klasycznej
(naturalna, genetyczna finalna) oraz wyodrębniając składowe definicji: definien-
dum, spójnik, definiens wraz podziałem na rodzaj (genus proximus) i różnicę
gatunkową (differentia specifica).
a) Prozelita jest to wyznawca jakiejś religii lub ideologii nowo pozyskany
i zwykle bardzo gorliwy.
b) Żel jest to galaretowata substancja powstająca w wyniku koagulacji zolu.
c) Propaganda jest to szerzenie, wyjaśnianie lub rozpowszechnianie pew-
nych poglądów, idei, haseł w celu pozyskania zwolenników, wywołania
u nich odpowiednich dążeń lub skłonienie ich do odpowiedniego postępo-
wania.
d) Beri-beri jest to choroba wywołana brakiem w pożywieniu witaminy B1.
e) El Niño jest to anomalia pogodowa, powstająca wskutek zmiany kierunku
pasatów wiejących nad równikiem.
f) Szmira jest to obraz, rzeźba, utwór muzyczny, literacki lub filmowy po-
zbawiony wartości artystycznych i ideowych.
g) Frajer jest to osoba dająca się łatwo oszukać.
h) Mobbing są to działania lub zachowania dotyczące pracownika lub skie-
rowane przeciwko pracownikowi, polegające na uporczywym i długo-
trwałym nękaniu lub zastraszaniu go.
i) Lewirat jest to zwyczajowe prawo małżeńskie, nakazujące poślubie-
nie wdowy przez brata jej zmarłego męża w celu zapewnienia ciągłości
rodu.
j) Egzorcyzm jest to obrzęd mający na celu uwolnienie człowieka, zwierzę-
cia, miejsca lub przedmiotu od wpływu złego ducha.
166
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Definiendum
Definiendum Spójnik
Genus proximus Differentia specifica
definicja naturalna
definicja finalna
definicja genetyczna
Zadanie 5.5.
Wskaż stosunki zakresowe, jakie zachodzą pomiędzy definiendum i definien-
sem w następujących definicjach równościowych:
a) Zupa jest to potrawa płynna.
b) Radiostacja to nadawanie muzyki.
c) Reda to statki czekające na wejście do portu.
d) Rolnik to osoba utrzymująca się z rolnictwa.
e) Biel to są rzeczy koloru białego.
f) Komiks to rysunki dla dzieci.
g) Wykładowca jest to osoba pracująca na uniwersytecie.
h) Gotyk to są średniowieczne katedry.
i) Jezioro to naturalny zbiornik wody słodkiej.
j) Miłość to rzecz najpiękniejsza na świecie.
Zadanie 5.6.
Spośród podanych niżej dziesięciu definicji wskaż:
a) definicje sprawozdawcze
b) definicje regulujące
c) definicje nominalne w stylizacji słownikowej
d) definicje nominalne w stylizacji semantycznej
e) definicje równościowe
f) definicje kontekstowe
167
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
5. Wibryssy są to włosy czuciowe występujące u niektórych ssaków.
6. Deportacja jest to przymusowe przesiedlenie danej osoby lub grupy osób
na peryferie danego państwa lub poza jego granice.
7. „Letalność” znaczy tyle co „ śmiertelność”.
8. Logarytmem przy podstawie a z liczby b nazywamy liczbę c, będącą po-
tęgą, do której podstawa a musi być podniesiona, aby dać liczbę b.
9. „Kobieta w wieku balzakowskim” jest to kobieta między 30 a 40 rokiem
życia.
10. Amfibolia jest to błąd logiczny sformułowań polegający na ich dwuznacz-
ności wywołanej wadliwą budową składniową.
Zadanie 5.7.
Zastąp podane definicje odpowiednimi definicjami regulującymi.:
a) Lato – pora roku, kiedy jest mi ciepło.
b) Dobry student – to student z wysoką średnią ocen.
c) Wysoki mężczyzna to taki, który może grać w siatkówkę.
d) Długa podróż jest to podróż męcząca.
e) Młodzieniec jest to człowiek w wieku, w którym idzie się na studia.
f) Szczupła kobieta to taka, która może nosić stroje prezentowane na poka-
zach mody.
g) Plagiat muzyczny jest to utwór, w którym część melodii jest identyczna,
jak w utworze wcześniej zarejestrowanym.
h) Autorem dzieła dramatycznego w rozumieniu Stowarzyszenia Zaiks jest
autor przedkładający znaczący dorobek w zakresie sztuk teatralnych, sce-
nariuszy filmowych lub słuchowisk radiowych wystawionych publicznie
bądź opublikowanych drukiem.
i) „Chwilówka” jest to niewielka pożyczka udzielana na krótki okres czasu.
Zadanie 5.8.
Zaproponuj definicje regulujące następujących pojęć:
a) mała wieś
b) osoba pisząca szybko na komputerze
c) duży pies
d) obszerny esej
e) gruba książka
f) wysoki budynek
g) mężczyzna w podeszłym wieku
168
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadanie 5.9.
Wskaż rodzaje błędu w podanych niżej definicjach:
a) Dendrogale są to azjatyckie tupajowate.
b) Prezent jest to sposób na okazywanie sympatii przez wręczenie komuś
jakiegoś przedmiotu.
c) Buforowanie – technologia polegająca na stosowaniu buforów programo-
wych lub sprzętowych.
d) Proboszcz jest to duchowny katolicki.
e) Plaża jest to pas wybrzeża morskiego zbudowany z piasku lub żwiru.
f) Kuchenka jest to domowe urządzenie elektryczne.
g) Brzask jest to jasny kolor poranka.
h) Śmieszne jest to, co wywołuje śmiech.
i) Parafina jest to olej parafinowy.
j) Snob to udawanie kogoś lepszego od siebie.
k) Izomorfizm jest to homomorfizm będący bijekcją.
l) Krzesło jest to drewniany jednoosobowy mebel do siedzenia z oparciem.
m) Róża jest to czerwony kwiat pachnący.
n) Narciarz jest to sportowiec uprawiający narciarstwo biegowe.
o) Lekarz jest to osoba przebywająca w szpitalu.
p) Paradoks jest to twierdzenie prowadzące do paradoksalnych wniosków.
Zadanie 5.10.
Nazwij rodzaje, wyróżnione wedle budowy, podanych niżej definicji.
a) Rodzaje literackie są to: dramat, liryka, epika.
b) 1. Jeżeli punkt C leży na prostej między punktami A i B, to leży on także
między punktami B i A.
2. Z trzech punktów: A, B i C leżących na prostej jeden i tylko jeden leży
na prostej między pozostałymi.
3. Jeden z trzech punktów A, B, C na prostej leży na tej prostej między
dwoma pozostałymi zawsze wtedy i tylko wtedy, jeżeli leżą one w róż-
nych częściach prostej, na której on tę prostą dzieli.
c) Jeśli ktoś gra w orkiestrze symfonicznej, to jest to muzyk zawodowy.
d) 1. Prosta jest długością bez szerokości.
2. Prostą można uzyskać przedłużając dowolny odcinek nieograniczenie.
3. Przez dwa nieidentyczne punkty przestrzeni przechodzi tylko jedna prosta.
e) Jeśli ktoś jest kapucynem, to jest zakonnikiem, a jeśli jest ministrantem to
nie jest zakonnikiem.
f) Potomkiem osoby x jest każde jej dziecko.
Potomkiem osoby x jest też każdy potomek jej dowolnego potomka.
g) Zboża polskie są to: żyto, pszenica, owies, proso, jęczmień, gryka.
h) Jeśli obraz jest wystawiony w Luwrze, to jest to dzieło sztuki.
169
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadania testowe
Zadanie 5.11.
Definicja Gen jest to podstawowa jednostka dziedziczności jest definicją:
a) sprawozdawczą
b) regulującą
c) adekwatną
d) krzyżującą
Zadanie 5.12.
Definicja Poligamia jest to rodzaj małżeństwa jest definicją:
a) równościową
b) sprawozdawczą
c) zawierającą błąd ignotum per ignotum
d) za szeroką
Zadanie 5.13.
Klasyczną definicją finalną jest definicja:
a) Tsunami jest to fala oceaniczna wywołana podwodnym trzęsieniem ziemi..
b) Indoktrynacja jest to systematyczne, zorganizowane wpajanie jakichś
przekonań, poglądów lub idei.
c) Polisa jest to dokument będący dowodem zawarcia umowy ubezpieczenio-
wej.
d) Reklama jest to zespół środków wizualnych lub audiowizualnych stosowa-
nych w celu zainteresowania i zachęcenia do zakupu określonych towa-
rów lub usług.
Zadanie 5.14.
Definicja Wyraz „buchalter” jest synonimem wyrazu „księgowy” jest defi-
nicją:
a) realną
b) równościową
c) nominalną
d) w stylizacji słownikowej
Zadanie 5.15.
O definicji zawierającej błąd ignotum per ignotum, można powiedzieć, że:
a) zawsze zawiera błąd przesunięcia kategorialnego
b) błąd ten jest względny, zależny od odbiorcy
c) jest odmianą definicji projektującej
d) jej przykładem jest definicja Widrygat jest to suplement koaksjalny.
170
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadanie 5.16.
Definicja Jeśli ktoś interesuje się kinem niezależnym, to jest hipsterem jest
definicją:
a) równościową
b) cząstkową
c) nierównościową
d) w stylizacji semantycznej
Zadanie 5.17.
Która z poniższych definicji sprawozdawczych jest definicja nieadekwatną:
a) Muzyka rozrywkowa to pop, blues, rock i techno.
b) Kot jest to ssak drapieżny.
c) Żelazko jest to urządzenie do ręcznego prasowania tkanin.
d) Termometr jest to przyrząd do pomiaru temperatury, który zawiera rtęć.
Zadanie 5.18.
Jeżeli zakres definiendum krzyżuje się z zakresem definiensa, to:
a) jest to definicja za szeroka
b) jest to definicja za szeroka i jednocześnie za wąska
c) zachodzi błąd przesunięcia kategorialnego
d) jest to definicja nieadekwatna
Zadanie 5.19.
Definicja Paradoks jest to przedmiot paradoksalny:
a) zawiera błąd idem per idem
b) jest definicją nieadekwatną
c) jest definicją wykluczającą
d) jest przykładem błędnego koła w definiowaniu
Zadanie 5.20.
Definicja Wyraz „enologia” oznacza winoznawstwo jest definicją:
a) definicja nominalną i równościową
b) definicją realną
c) nominalną w stylizacji semantycznej
d) definicją cząstkową
171
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Odpowiedzi
Zadanie 5.1.
a) osoba
b) wynagrodzenie
c) ssak drapieżny
d) mebel
e) dokument
f) stan emocjonalny; uczucie,
g) figura geometryczna
h) zjawisko fizyczne; wyładowanie elektryczne,
i) urządzenie wskazujące; urządzenie komputerowe
j) wartość moralna
k) miejsce
l) minerał; kamień szlachetny
m) działalność
n) czyn
o) kolor
p) zjawisko
q) instytucja; jednostka organizacyjna
r) sposób działania, tok postępowania
Zadanie 5.2.
Do cech, stanowiących różnicę gatunkową – differentia specifica nie mogą na-
leżeć cechy stanowiące o rodzaju – genus proximum (np. bycie stylem muzycznym
dla rapowania) ani cechy akcydentalne (np. bycie drewnianym dla stołu)
1. a, b, d,
2. a, b, c,
3. a, b, d,
4. c, d,
5. b, d,
Zadanie 5.3.
Na przykład:
a) Krzesło to jednoosobowy mebel do siedzenia z oparciem, bez poręczy.
b) Rower to jednośladowy pojazd, napędzany siłą mięsni ludzkich za pośred-
nictwem pedałów.
c) Rolnik jest to osoba utrzymująca się z uprawy ziemi lub hodowli zwierząt.
d) Romb jest to równoległobok o równych bokach.
e) Kurtyna teatralna jest to ruchoma zasłona oddzielająca scenę od widowni.
172
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
f) Student jest to osoba ucząca się w szkole wyższej.
g) Pedant jest to osoba nadmiernie przestrzegająca porządku.
Zadanie 5.4.
Definiendum
Definiendum Spójnik
Genus proximus Differentia specifica
definicja naturalna
wyznawca jakiejś religii nowo pozyskany i zwykle bardzo
Prozelita jest to
lub ideologii gorliwy.
Frajer jest to osoba dająca się łatwo oszukać.
obraz, rzeźba, utwór
pozbawiony wartości artystycznych
Szmira jest to muzyczny, literacki lub
i ideowych.
filmowy
działania lub zachowania
dotyczące pracownika lub polegające na uporczywym
Mobbing są to skierowane przeciwko i długotrwałym nękaniu lub
pracownikowi zastraszaniu go.
definicja finalna
szerzenie, wyjaśnianie w celu pozyskania zwolenników,
lub rozpowszechnianie wywołania u nich odpowiednich
Propaganda jest to
pewnych poglądów, idei, dążeń lub skłonienia ich do
haseł odpowiedniego postępowania.
mający na celu uwolnienie
Egzorcyzm jest to obrzęd człowieka, zwierzęcia, miejsca lub
przedmiotu od wpływu złego ducha
nakazujące poślubienie wdowy
zwyczajowe
Lewirat jest to przez brata jej zmarłego męża
prawo małżeńskie
w celu zapewnienia ciągłości rodu.
definicja genetyczna
wywołana brakiem w pożywieniu
Beri-beri jest to choroba
witaminy B1.
powstająca w wyniku koagulacji
Żel jest to galaretowata substancja
zolu.
powstająca wskutek zmiany
El Niño jest to anomalia pogodowa kierunku pasatów wiejących nad
równikiem.
Zadanie 5.5.
a) definiendum podrzędne wobec definiensa, definicja za szeroka (płynne są
też np. sosy),
b) wykluczanie sie zakresów definiendum i definiensa (radiostacja to zestaw
urządzeń do nadawania lub odbierania sygnałów radiowych a nie czyn-
ność),
c) wykluczanie sie zakresów definiendum i definiensa (reda to obszar wodny
leżący przed wejściem do portu, służący do postoju statków),
173
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
d) zamienność zakresów definiendum i definiensa (bo jest to definicja ade-
kwatna),
e) wykluczanie sie zakresów definiendum i definiensa (biel to nazwa abs-
trakcyjna, a nie konkretna),
f) wykluczanie sie zakresów definiendum i definiensa, (komiks to opowiada-
nie, tworzące narrację za pomocą rysunków a nie tylko zbiór rysunków)
g) krzyżowanie się zakresów definiendum i definiensa (bo są wykładowcy
pracujący na uczelniach nie będących uniwersytetami, są także osoby pra-
cujące na uniwersytecie i nie będące wykładowcami),
h) wykluczanie sie zakresów definiendum i definiensa (gotyk to styl),
i) krzyżowanie się zakresów definiendum i definiensa (są słone jeziora, są
naturalne zbiorniki wodne nie będące jeziorami),
j) wykluczanie sie zakresów definiendum i definiensa (miłość to nazwa abs-
trakcyjna, a nie konkretna).
Zadanie 5.6.
a) 1, 2, 3, 5, 6, 7, 8, 10
b) 4, 9
c) 3, 7
d) 4, 9
e) 1, 2, 3, 4, 5, 6, 7, 9, 10
f) 8
Zadanie 5.7.
a) np.: Lato jest to pora roku zaczynająca się z dniem przesilenia letniego
i trwająca do dnia równonocy jesiennej.
b) Np.: Dobry student jest to student, którego średnia ocen przekracza 4,0.
c) Np.: Wysoki mężczyzna jest to mężczyzna o wzroście powyżej 185 cm.
d) Np.: Długa podróż jest to podróż trwająca powyżej 8 godzin.
e) Np.: Młodzieniec jest to człowiek w wieku od 16 do 24 roku życia.
f) Np.: Szczupła kobieta to taka, która nosi stroje w rozmiarach 32–36.
g) Np.: Plagiat muzyczny jest to utwór, w którym 8 kolejnych nut jest iden-
tycznych, jak w utworze wcześniej już zarejestrowanym.
h) Np.: Autorem dzieła dramatycznego w rozumieniu Stowarzyszenia Za-
iks jest autor przedkładający 3 własne sztuki teatralne pełnospektaklowe,
lub 4 scenariusze telewizyjne, filmowe, słuchowiska, które były wysta-
wione publicznie bądź opublikowane drukiem.
i) Np. „Chwilówka” jest to pożyczka kwoty nieprzekraczającej 1000 zł na
okres do 3 miesięcy.
174
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Zadanie 5.8.
a) Mała wieś jest to wieś, w której liczba siedlisk nie przekracza 15.
b) Osoba pisząca szybko na komputerze to osoba, której tempo pisania prze-
kracza 200 znaków na minutę.
c) Duży pies jest to pies, którego waga przekracza 50 kg.
d) Obszerny esej jest to esej o objętości przekraczającej 10 stron maszynopi-
su znormalizowanego.
e) Gruba książka jest to książka licząca więcej niż 400 stron.
f) Wysoki budynek to budynek, którego wysokość mieści się w granicach od
25 m do 55 m włącznie ponad poziom terenu.
g) Mężczyzna w podeszłym wieku jest to mężczyzna, który przekroczył
75 rok życia.
Zadanie 5.9.
a) Błąd ignotum per ignotum (dla nie-zoologów)
b) błąd przesunięcia kategorialnego
c) błąd idem per idem, dla wielu także ignotum per ignotum
d) definicja za szeroka
e) definicja za wąska (może być plaża nad rzeką lub jeziorem)
f) definicja krzyżująca
g) błąd przesunięcia kategorialnego
h) błąd idem per idem
i) błąd idem per idem a także dla niektórych błąd ignotum per ignotum
j) błąd przesunięcia kategorialnego
k) Błąd ignotum per ignotum (dla nie-matematyków))
l) definicja za wąska
m) definicja krzyżująca
n) definicja za wąska
o) definicja krzyżująca
p) błąd idem per idem, dla wielu także ignotum per ignotum
Zadanie 5.10.
a) definicja równościowa przez wyliczenie
b) definicja aksjomatyczna wyrazu między
c) definicja cząstkowa pozytywna
d) definicja aksjomatyczna prostej
e) definicja cząstkowa pozytywno-negatywna
f) definicja indukcyjna
g) definicja równościowa przez wyliczenie
h) definicja cząstkowa pozytywna
175
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
5.11 a, c
5.12 a, b, d
5.13 d
5.14 b, c, d
5.15 b, d
5.16 b, c
5.17 a, b, d
5.18 b, d
5.19 a, b, c, d
5.20. a, c
176
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
Literatura:
177
Plik zabezpieczony watermarkiem jawnym i niejawnym: 20316123A6564613
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==
##7#52#aMjAzMTYxMjNBNjU2NDYxMw==