Zadanie 1
Zaprzecz każdemu ze zdań z podpunktów a)-e) na trzy sposoby. Odpowiedzi należy uzasadnić.
.
a) Z: Nieprawda, że niektóre ptaki potrafią latać.
b) Z: Każdy Amerykanin lubi jeść.
c) Z: Niektóre nazwy wyraźne nie są ostre.
d) Z: Niektóre ssaki są bezkręgowcami.
e) Z: Tylko ssaki nie są bezkręgowcami.
f) Wykaż, że zaprzeczeniem zdania Z jest zdanie Z', gdy:
Z: Każdy przestępca jest izolowany od społeczeństwa lub żaden przestępca nie jest
izolowany od społeczeństwa.
Z': Tylko niektórzy przestępcy są izolowani od społeczeństwa.
Zadanie 2
a) Podaj jedno zdanie równoważne logicznie ze zdaniem Z (i jednocześnie nie będące tym zdaniem).
Z: Nieprawda, że każda norma prawna jest zawarta w jednym przepisie prawnym.
b) Podaj dwa zdania wynikające logicznie ze zdania Z, ale nie równoważne logicznie z tym zdaniem.
Z: Tylko niektórzy ludzie nie znają warunków poprawności dedukcji.
c) Podaj dwa zdania równoważne logicznie ze zdaniem Z (nie będące tym zdaniem) i dwa zdania wynikające logicznie ze zdania Z i jednocześnie nie równoważne logicznie ze zdaniem Z.
Z: Tylko owady są motylami
d) Na podstawie kwadratu logicznego podaj zdanie przeciwne do zdania Z (nie będące sprzecznym ze zdaniem Z) oraz zdanie sprzeczne ze zdaniem Z..
Z: Żaden człowiek nie jest blondynem
e) Podaj zdanie podprzeciwne do zdania Z.
Z: Nieprawda, że żaden człowiek nie jest uczciwy.
f) Podaj dwa zdania równoważne logicznie ze zdaniem Z.
Z: Tylko czyny dozwolone nie są czynami zakazanymi.
g) Podaj trzy zdania prawdziwe, z których wynika logicznie zdanie Z.
Z: Niektórzy żołnierze są inżynierami
Zad 3
Czy prawem logicznym jest wyrażenie:
SiPPiS, b) SoPPoS, c) SaP→(SeP), d) SaP → nPanS, e) SeP→ SonP
f)SoP → nPonS, g)SiP→nPinS, h)SaP (SeP), i)SoP→TylkoSiP
j)(SaPSeP), k)SoP→(PiS)
Odpowiedzi należy uzasadnić.
Zad.4
Podaj pięć przykładów nazw, które mają jednocześnie następujące własności:
a) są ogólne, generalne, proste
b) są jednostkowe, generalne, złożone
c) są abstrakcyjne, ogólne
d) są abstrakcyjne, jednostkowe, nieostre
e) są abstrakcyjne, jednostkowe
f) są puste, konkretne, niezbiorowe
g) są abstrakcyjne, generalne, ogólne
h) są ogólne, zbiorowe,
i) są indywidualne, puste, proste
Uzasadnij.
Zadanie 5
Proszę scharakteryzować ze względu na wszystkie poznane podziały podane niżej nazwy. Posiadanie podanych przez siebie własności danej nazwy należy uzasadnić.
zbiór wszystkich liczb parzystych
czerwień
czerwona rzecz
Lasek Bielański
najgłębsze jezioro w Polsce
5
maratończyk
najszybszy biegacz świata
bieg finałowy mężczyzn na 100 metrów podczas ostatniej olimpiady
stan zagrożenia
bycie wyższym
Rozwiązania
Zadanie 1
a) Z: Nieprawda, że niektóre ptaki potrafią latać.
P- ptak, L- zwierzę potrafiące latać
Sch Z: (PiL)
Sch Z1: PiL
Sch Z2:(PeL)
Sch Z3:(LeP)
Z1: Niektóre ptaki potrafią latać.
Z2: Nieprawda, że żaden ptak nie potrafi latać.
Z3: Nieprawda, że żadne zwierzę potrafiące latać nie jest ptakiem.
Uzasanienie:
Szukamy zdań Z1, Z2, Z3, równoważnych logicznie ze zdaniem Z.
Ponieważ negacja zdania jest jego zaprzeczeniem, to również zdanie bez negacji jest zaprzeczeniem odpowiedniego zanegowanego zdania. Stąd Z1 jest zaprzeczeniem zdania Z.
Zgodnie ze związkiem sprzeczności wynikającym z kwadratu logicznego prawem logicznym jest wyrażenie: PiL (PeL), a skoro zdanie o schemacie: PiL jest zaprzeczeniem zdania Z, to również zdanie o schemacie: (PeL) jest zaprzeczeniem zdania Z. Zatem Z2 spełnia warunki zadania.
Na podstawie prawa konwersji: PeL LeP wiadomo, że parę zdań równoważnych tworzą zdania o schematach: PeL, LeP. W związku z tym negacje tych zdań też są wzajemnie równoważne logicznie. Skoro zdanie o schemacie:(PeL) spełnia warunki zadania, więc zdanie o schemacie (LeP) również spełnia warunki zadania. Zdanie Z3 jest zatem zaprzeczeniem zdania Z.
b) Z: Każdy Amerykanin lubi jeść.
A- Amerykanin
J- osoba lubiąca jeść.
Sch Z: AaJ
Sch Z1: (AaJ)
Z1: Nieprawda, że każdy Amerykanin lubi jeść.
Uzasadnienie: Negacja zdania jest jedną z form jego zaprzeczenia.
Sch Z2: AoJ
Z2: Niektórzy Amerykanie nie lubią jeść.
Uzasadnienie: Zgodnie z kwadratem logicznym parę zdań sprzecznych tworzą zdania o schematach: AaJ oraz AoJ.
Sch Z3: (TylkoJaA)
Z3: Nieprawda, że tylko osoby lubiące jeść są Amerykanami.
Uzasadnienie: Zgodnie z definicją odpowiedniego zdania ze słowem „tylko” prawem logicznym jest wyrażenie: (TylkoJaA) JaA. Wobec tego (TylkoJaA) jest równoważna z (AaJ) , zatem jest schematem zaprzeczenia zdania o schemacie AaJ.
c) Z: Niektóre nazwy wyraźne nie są nazwami ostrymi
W-nazwa wyraźna, O- nazwa ostra
Sch Z: WoO
Sch Z1: (WoO)
Z1: Nieprawda, że niektóre nazwy wyraźne nie są nazwami ostrymi.
Uzasadnienie: Zanegowanie zdania daje jedną z form jego zaprzeczenia.
Sch Z2: WaO
Z2: Każda nazwa wyraźna jest nazwą ostrą.
Uzasadnienie: Zgodnie z kwadratem logicznym parę zdań sprzecznych tworzą zdania o schematach: WoO oraz WaO.
Sch Z3: TylkoOaW
Z3: Tylko nazwy ostre są nazwami wyraźnymi.
Uzasadnienie: Zgodnie z definicją zdanie typu: Tylko O jest W, jest równoważne logicznie ze zdaniem typu: Każde W jest O. Skoro zatem zdanie Z2 jest zaprzeczeniem zdania Z, to zdanie Z3 też jest zaprzeczeniem zdania Z.
Z: Niektóre ssaki są bezkręgowcami.
S-ssak, B- bezkręgowiec
Sch Z: SiB
Sch Z1: (SiB)
Z1: Nieprawda, że niektóre ssaki są bezkręgowcami.
Uzasadnienie: Negacja zdania jest jedną z form jego zaprzeczenia.
Sch Z2: SeB
Z2: Żaden ssak nie jest bezkręgowcem.
Uzasadnienie: Na podstawie zwiąku sprzeczności podanego w kwadracie logicznym wiadomo, że parę zdań sprzecznych stanowią zdania o schematach: SiB, SeB.
Sch Z3: BeS
Z3: Żaden bezkręgowiec nie jest ssakiem.
Uzasadnienie: Zdanie Z3 jest równoważne logicznie ze zdaniem Z2 na mocy prawa konwersji: BeS SeB. Skoro Z2 jest zaprzeczeniem zdania Z, więc wobec powyższego Z3 jest też zaprzeczeniem zdania Z.
e) Z: Tylko ssaki nie są bezkręgowcami.
S- ssak, B- bezkręgowiec
Sch Z: TylkoSeB
SchZ1: (TylkoSeB)
Z1: Nieprawda, że tylko ssaki nie są bezkręgowcami.
Uzasadnienie: negacja zdania jest jedną z form jego zaprzeczenia.
SchZ2: (nie-S a B)
nie-S - zwierzę nie będące ssakiem (czyli w skrócie: nie-ssak)
Z2: Nieprawda, że każde zwierzę nie będące ssakiem jest bezkręgowcem (skrócona wersja: Nieprawda, że każdy nie-ssak jest bezkręgowcem)
Uzasadnienie: Zgodnie z definicją zdanie typu: tylko S nie jest B, jest równoważne logicznie ze zdaniem typu: każdy nie-S jest B. Zatem negacja zdania pierwszego typu jest równoważna logicznie negacji zdania drugiego typu.
Sch Z3: nie-S o B
Z3: Niektóre zwierzęta nie będące ssakami nie są bezkręgowcami. (skrócona wersja: Niektóre nie-ssaki nie są bezkręgowcami).
Uzasadnienie: Na podstawie kwadratu logicznego (związku sprzeczności) wiadomo, że prawem logicznym jest wyrażenie: (nie-S o B) (nie-S a B). Prawa strona tej równoważności jest schematem zaprzeczenia zdania Z, zatem lewa strona również.
f) Wykaż, że zaprzeczeniem zdania Z jest zdanie Z', gdy:
Z: Każdy przestępca jest izolowany od społeczeństwa lub żaden przestępca nie jest
izolowany od społeczeństwa.
Z': Tylko niektórzy przestępcy są izolowani od społeczeństwa.
S- przestępca, P- osoba izolowana od społeczeństwa.
Sch Z: SaP SeP
Sch Z': SiP SoP
Wystarczy wykazać, że prawem logicznym jest schemat wyrażenia: Z' Z, czyli w tym wypadku funkcja zdaniowa: (SiP SoP) (SaP SeP).Stosując do II prawa De Morgana: (p q) (p q ), następujące podstawienia:p/SaP, q/SeP, otrzymujemy jako prawo logiczne wyrażenie: (SaP SeP) (SaP) (SeP)]. Na podstawie kwadratu logicznego- związku sprzeczności- prawami logicznymi są też wyrażenia: SiP (SeP), SoP (SaP). W każdej funkcji zdaniowej można zamiast jego dowolnej części wstawić wyrażenie równoważne logicznie z tą częścią i to co otrzymamy będzie równoważne logicznie z wyjściową funkcją zdaniową. Zatem w szczególności zastępując (SaP) przez SoP, a (SeP) przez SiP otrzymujemy z wyrażenia: (SaP) (SeP) funkcję zdaniową: SoP SiP.
Wnioskujemy zatem, że prawem logicznym jest wyrażenie: (SaP SeP) (SoP SiP). Z kolei prawa strona tego wyrażenia jest równoważna logicznie (na mocy przemienności koniunkcji) z koniunkcją: (SiP SoP). Zatem prawem logicznym jest funkcja zdaniowa: (SiP SoP) (SaP SeP).
Zadanie 2
a) Podaj jedno zdanie równoważne logicznie ze zdaniem Z (i jednocześnie nie będące tym zdaniem).
Z: Nieprawda, że każda norma prawna jest zawarta w jednym przepisie prawnym.
Rozwiązanie:
S- norma prawna, P-to co jest zawarte w jednym przepisie prawnym
Sch Z: (SaP)
Sch Z1: SoP
Z1: Niektóre normy prawne nie są zawarte w jednym przepisie prawnym.
Uzasadnienie: wynika to ze związku sprzeczności podanym w kwadracie logicznym. Zgodnie z tym związkiem zdanie o schemacie: SoP, jest zaprzeczeniem zdania o schemacie: SaP.
Zgodnie z definicją zaprzeczenia SoP jest zatem równoważne logicznie z (SaP).
b) Podaj dwa zdania wynikające logicznie ze zdania Z, ale nie równoważne logicznie z tym zdaniem.
Z: Tylko niektórzy ludzie nie znają warunków poprawności dedukcji.
Rozwiązanie:
C- człowiek, Z- osoba znająca warunki poprawności dedukcji.
Sch Z: TylkoCoZ
Sch Z1: CoZ
Z1: Niektórzy ludzie nie znają warunków poprawności dedukcji
Sch Z2: CiZ
Z2: Niektórzy ludzie znają warunki poprawności dedukcji
Uzasadnienie: Zgodnie z definicją zdanie typu TylkoCoZ jest równoważne logicznie z koniunkcją: CoZ CiZ. Stosując podstawienia: p/CoZ, q/CiZ do praw pochłaniania dla koniunkcji ((p q)→ p oraz (p q)→ q ). Wnioskujemy, że prawami logicznymi są implikacje: (CoZ CiZ)→ CoZ oraz (CoZ CiZ)→ CiZ. Zdania Z1 i Z2 wynikają więc logicznie ze zdania Z. Należy też wykazać, że nie ma wynikania w drugą stronę, czyli że prawami logicznymi nie są następujące funkcje zdaniowe:
CoZ→(CoZ CiZ),
CiZ→(CoZ CiZ),.
Na podstawie kwadratu logicznego wiadomo, że CoZ jest podprzeciwne względem CiZ. Oznacza to, że ze schematów CoZ, CiZ nie możemy jednocześnie otrzymać zdań fałszywych . W tabelce należy zatem sprawdzić pozostałe układy wartości dla zdań prostych o schematach: CoZ, CiZ.
Sprawdzenie:
CoZ CiZ CoZCiZ CoZ→(CoZ CiZ)
0 1 0 1
1 0 0 0
1 1 1 1
CoZ CiZ CoZCiZ CiZ→(CoZ CiZ)
0 1 0 0
1 0 0 1
1 1 1 1
Sprawdzane implikacje nie są prawami logicznymi, zatem ani ze zdania Z1 ani ze zdania Z2 nie wynika logicznie zdanie Z.
c) Podaj dwa zdania równoważne logicznie ze zdaniem Z (nie będące tym zdaniem) i dwa zdania wynikające logicznie ze zdania Z i jednocześnie nie równoważne logicznie ze zdaniem Z.
Z: Tylko owady są motylami
Rozwiązanie:
O-owad, M-motyl
Sch Z: TylkoOaM
Zdania równoważne logicznie ze zdaniem Z:
Z1:Każdy motyl jest owadem.
Z2:Nieprawda, że niektóre motyle nie są owadami.
Uzasadnienie:
Sch Z1: MaO
Sch Z2: (MoO)
Zgodnie z definicją odpowiedniego zdania ze słowem „tylko” prawem logicznym jest wyrażenie: (TylkoOaM) MaO. Zatem zgodnie z definicją równoważności logicznej zdanie Z1 jest równoważne logicznie ze zdaniem Z. Z kolei zgodnie ze związkiem sprzeczności na podstawie kwadratu logicznego wiadomo, że prawem logicznym jest wyrażenie: MaO (MoO). Zatem zdanie Z2 jest równoważne logicznie ze zdaniem Z1, czyli również ze zdaniem Z.
Zdania wynikające logicznie ze zdania Z i jednocześnie nie równoważne logicznie ze zdaniem Z:
Z3: Istnieją motyle będące owadami
Z4: Istnieją owady będące motylami.
Uzasadnienie:
Sch Z3: MiO
Sch Z4: OiM
Uzasadnienie:
Jedno z praw kwadratu logicznego mówiące o związku podporządkowania: MaO→ MiO. Zatem zdanie Z3 wynika logicznie ze zdania Z1 i nie jest z nim równoważne logicznie. Z kolei na podstawie prawa konwersji ograniczonej: MaO→ OiM, wiadomo, że zdanie Z4 wynika logicznie ze zdania Z1 nie będąc z nim równoważnym logicznie. Z kolei ze względu na to, że Z1 jest równoważne logicznie ze zdaniem Z wnioskujemy, że zdania Z3 i Z4 spełniają warunki zadania.
d) Na podstawie kwadratu logicznego podaj zdanie przeciwne do zdania Z (nie będące sprzecznym ze zdaniem Z) oraz zdanie sprzeczne ze zdaniem Z..
Z: Żaden człowiek nie jest blondynem
Rozwiązanie:
Na podstawie kwadratu logicznego parę dań przeciwnych tworzą zdania o schematach: SaP, SeP. Jeśli zatem S-człowiek, P- blondyn, to zdanie Z ma schemat: SeP. Zdaniem przeciwnym z wyjściowym jest więc
Z1: Każdy człowiek jest blondynem
Sch Z1: SaP
Na podstawie kwadratu logicznego w związku sprzeczności są zdania o schematach: SeP, SiP. Zatem zdaniem sprzecznym z wyjściowym jest Z2:Niektórzy ludzie są blondynami (SchZ2: SiP).
e) Podaj zdanie podprzeciwne do zdania Z.
Z: Nieprawda, że żaden człowiek nie jest uczciwy.
Rozwiązanie:
C-człowiek, U-uczciwy
Sch Z: (CeU)
Zgodnie z jednym praw kwadratu logicznego mówiących o związku sprzeczności ( CiU (CeU)) zdaniem równoważnym logicznie ze zdaniem Z jest zdanie o schemacie: CiU. Z kwadratu logicznego wiadomo też, że parę zdań podprzeciwnych tworzą zdania o schematach: CiU oraz CoU. Zdaniem podprzeciwnym względem Z jest zatem zdanie o schemacie: CoU.
Z1: Niektórzy ludzie nie są uczciwi.
f) Podaj dwa zdania równoważne logicznie ze zdaniem Z.
Z: Tylko czyny dozwolone nie są czynami zakazanymi.
Rozwiązanie:
Z1: Każdy czyn niedozwolony jest czynem zakazanym.
Z2: Nieprawda, że niektóre czyny niedozwolone nie są czynami zakazanymi.
Uzasadnienie:
D-czyn dozwolony, Z-czyn zakazany.
Sch Z: TylkoDeZ
Sch Z1: nie-D a Z
Sch Z2: (nie-D o Z)
Zgodnie z prawami kwadratu logicznego parę zdań sprzecznych tworzą zdania o schematach: nie-D o Z, nie-D a Z. Związek ten wyraża się między innymi następującym prawem logicznym: (nie-D a Z) (nie-D o Z). Zatem zdania Z1 i Z2 są wzajemnie równoważne logicznie. Wystarczy zatem wykazać, że jedno z nich jest też równoważne logicznie ze zdaniem Z (automatycznie wtedy wychodzi, że to drugie zdanie jest równoważne logicznie ze zdaniem Z). Weźmy pod uwagę zdanie Z1. Jest ono równoważne logicznie ze zdaniem Z na mocy definicji: TylkoDeZ (nie-D a Z)
g) Podaj trzy zdania prawdziwe, z których wynika logicznie zdanie Z.
Z: Niektórzy żołnierze są inżynierami
Rozwiązanie:
Z1: Tylko niektórzy żołnierze są inżynierami
Z2: Tylko niektórzy żołnierze nie są inżynierami.
Z3: Niektórzy inżynierowie są żołnierzami
Uzasadnienie:
Zdania te są prawdziwe, ponieważ to co one głoszą jest zgodne z opisywanym przez nie kawałkiem rzeczywistości. Wystarczy wykazać, że z każdego z tych zdań wynika logicznie zdanie Z.
Niech Ż- żołnierz, I- inżynier.
Sch Z: ŻiI
Sch Z1: TylkoŻiI
Sch Z2: Tylko ŻoI
Sch Z3: IiŻ
Należy wykazać, że prawami logicznymi są schematy następujących implikacji: Z1 → Z, Z2→ Z, Z3→ Z, czyli kolejno:
(TylkoŻiI) → ŻiI
(TylkoŻoI) → ŻiI
IiŻ → ŻiI.
Implikacje 1) i 2) można uzasadnić podobnie jak w podpunkcie b) tego zadania. Jeśli chodzi o implikację 3) zauważmy, że na mocy jednego z praw konwersji nieograniczonej: IiŻ ŻiI, zdanie o schemacie IiŻ jest równoważne logicznie ze zdaniem o schemacie ŻiI. Ponieważ jednak równoważność logiczna to nic innego jak wynikanie logiczne w obydwie strony, wnioskujemy, że ze zdania Z3 wynika logicznie zdanie Z.
Zadanie 3
a) jest prawem logicznym (jest to jedno z praw konwersji)
b) to nie jest prawo logiczne. Niech bowiem S-adwokat, P- prawnik. Wówczas zdanie o schemacie: SoP (niektórzy adwokaci nie są prawnikami) jest fałszywe, a zdanie o schemacie: PoS (niektórzy prawnicy nie są adwokatami) prawdziwe. Zatem sprawdzana równoważność ma wartość: 01=0.
c)Jest to jedno z praw mówiące o związku przeciwieństwa między zdaniami postaci: SaP, SeP
d)Podana funkcja zdaniowa jest prawem logicznym. Jednym z praw kontrapozycji jest wyrażenie: SaP nPanS, a skoro wyrażenie o postaci równoważności jest prawem logicznym, to implikacje w każdą ze stron również są prawami logicznymi (wynika to z reguł opuszczania równoważności). W szczególności, prawem logicznym jest implikacja: SaP→nPanS.
e)Na podstawie jednego z praw obwersji wiadomo, że zdanie o schemacie SonP jest równoważne logicznie ze zdaniem o schemacie SiP. Zatem sprawdzenie, czy prawem logicznym jest funkcja zdaniowa: SeP→SonP, można sprowadzić do sprawdzenia czy prawem logicznym jest wyrażenie: SeP→SiP. Biorąc jednak pod uwagę przypadek nazw wykluczających się wzajemnie otrzymujemy, że jeśli v(SeP)=1, to v(SiP)=0. Zatem w tym przypadku: v(SeP→SonP) = v(SeP→SiP) = 1→0 = 0. Wniosek: wyjściowe wyrażenie nie jest prawem logicznym.
f)Analogicznie do podpunktu d)
g)Niech S- osoba pełnoletnia (w rozumieniu na gruncie prawa), P- osoba która nie ukończyła 18 lat. Jeśli U-zbiór wszystkich ludzi, to nie-S- osoba niepełnoletnia, a nie-P- osoba, która ukończyła 18 lat. Wówczas:
SiP- pewne osoby pełnoletnie są osobami, które nie ukończyły 18 lat.
Zdanie to jest prawdziwe.
nie-P i nie-S Pewne osoby, które ukończyły 18 lat są osobami niepełnoletnimi.
Zdanie to jest fałszywe.
Implikacja: SiP → nie-P i nie-S również jest w tym przypadku fałszywa, zatem: SiP → nie-P i nie-S , nie jest prawem logicznym.
h) SaP (SeP)
Na podstawie kwadratu logicznego wiadomo, że zdania o schematach: SaP, SeP, tworzą parę zdań przeciwnych. Oznacza to, że zdania o podanych schematach nnie mogą być jednocześnie prawdziwe. Dlatego sprawdzam w tabelce wartości logiczne zdań otrzymanych ze schematu: SaP (SeP), dla pozostałych układów wartości.
SaP SeP (SeP) SaP (SeP)
1 0 1 1
0 1 0 1
0 0 1 0
Sprawdzane wyrażenie nie jest prawem logicznym, ponieważ istnieje
przypadek fałszywości całego wyrażenia.
Zadanie 4
a) krzesło, stół, kot, pies, prawnik
Każda z tych nazw jest ogólna, ponieważ ma wiele desygnatów (jest wiele krzeseł, stołów, kotów, psów, prawników). Są to również nazwy generalne, ponieważ użyte są ze względu na cechy wspólne swoich desygnatów. W końcu nazwy te są proste, ponieważ są jednowyrazowe.
b) najwyższa góra świata, najmniejsza liczba naturalna, obecny Sejm RP, obecny prezydent RP, zwycięzca finału męskiego sprintu (biegu na 100 metrów) na ostatniej letniej olimpiadzie
Każda tych nazw jest złożona, ponieważ jest wielowyrazowa. Każda jest generalna, ponieważ nazwy te są nadane ze względu na cechy ich desygnatów. Każda z tych nazw jest też jednostkowa, ponieważ kolejno: istnieje jedna góra świata wyższa od innych (Mount Everest), istnieje najmniejsza liczba naturalna- jest nią liczba 0 (względnie 1, w zależności, czy 0 uznamy za liczbę naturalną, czy nie), obecny Sejm RP jest jeden, obecny prezydent RP jest jeden, i w końcu- była taka osoba i była jedna, która zwyciężyła finał męskiego biegu na ostatniej (jak do tej pory) letniej olimpiadzie.
płacz, zmęczenie, smutek, radość, bieg
Nazwa te są ogólne, ponieważ mają wiele desygnatów (istniało i istnieje wiele płaczu, zmęczenia, smutku, radości i wiele biegów). Nazwy płacz i bieg są nazwami zdarzeń, zmęczenie, smutek i radość są nazwami odczuć. Zarówno zdarzenia jak i odczucia nie są obiektami materialnymi, zatem odpowiednie nazwy są abstrakcyjne.
d)nie ma takich nazw, ponieważ nie ma nazw zarazem jednostkowych i nieostrych.
Jeśli wiemy, że nazwa jest jednostkowa, to o jej jedynym desygnacie jesteśmy w stanie jednoznacznie orzec (posiadając o nim wystarczającą wiedzę), że jest jej desygnatem. O pozostałych obiektach z kolei powiemy, że nie są desygnatami tej nazwy. Sprowadza się to do wniosku, że o każdym obiekcie jesteśmy w stanie jednoznacznie powiedzieć, czy jest, czy też nie jest desygnatem tej nazwy. Wobec powyższego nazwa jednostkowa jest nazwą ostrą.
e) zbiór wszystkich liczb naturalnych, radość reprezentacji Polski w piłce nożnej z wygranej z Belgami w 2006, smutek osoby ... po przeczytaniu treści zadań egzaminacyjnych z logiki, zbiór wszystkich liczb parzystych, 1+2
Nazwy odczuć oraz nazwy liczb i zbiorów liczbowych są abstrakcyjne (ponieważ nie są nazwami obiektów materialnych). Nazwa zbiór wszystkich liczb naturalnych jest jednostkowa, ponieważ jest jeden zbiór złożony ze wszystkich liczb naturalnych (analogiczne jest wyjaśnienie dotyczące nazwy zbiór wszystkich liczb parzystych). Nazwą 1+2 oznaczamy jedną liczbę (liczbę 3), nazwa radość reprezentacji Polski w piłce nożnej z wygranej z Belgami w 2006 jest jednostkowa, bo w 2006 roku odbył się jeden zwycięski dla Polski mecz piłki nożnej z Belgami i zwycięstwo to dostarczyło reprezentacji Polski dużo radości. Nazwa smutek osoby ... po przeczytaniu treści zadań egzaminacyjnych z logiki jest jednostkowa, o ile osoba wpisana w miejsce wielokropka faktycznie się zasmuciła po przeczytaniu treści zadań egzaminacyjnych z logiki (można by uznać, że wtedy smutek był jedyny w swoim rodzaju).
f) krasnoludek, elf, Zeus, nimfa, król Polski po Poniatowskim
Są to nazwy puste, ponieważ w rzeczywistym świecie nie mają desygnatów. Są nazwami konkretnymi, ponieważ obiekty przez te nazwy wyobrażamy sobie jako materialne. W końcu nazwy te są niezbiorowe, ponieważ ich desygnaty gdyby istniały byłyby obiektami niepodzielnymi (bez łatwo wyodrębnionych części)
g) płacz, zmęczenie, smutek, radość, bieg
Desygnatami pierwszych czterech nazw są odczucia, desygnatami piątej- sytuacje. Desygnaty podanych nazw nie są zatem obiektami materialnymi, zatem nazwy są abstrakcyjne. Wszystkie pięć nazw to nazwy generalne, ponieważ są nadane ze względu na cechy desygnatów. Nazwy te są również ogólne, ponieważ jest wiele płaczu, zmęczenia, smutku, radości i biegów.
h) Sejm (rozumiany jako zbiór posłów), las, kodeks karny(rozumiany jako zbiór przepisów), księgozbiór, reprezentacja piłki nożnej.
Nazwy te są zbiorowe, ponieważ poszczególne ich desygnaty składają się z części (częściami Sejmu są posłowie, częściami lasu np. drzewa, częściami kodeksu karnego- przepisy, częściami księgozbioru- książki, częściami reprezentacji piłki nożnej- zawodnicy). Podane nazwy są też ogólne, ponieważ nie jest sprecyzowane np. o Sejm jakiego kraju, czy też z jakiego okresu, chodzi. Podobnie jest z nazwą reprezentacja piłki nożnej oraz nazwą kodeks karny (w różnych krajach jest trochę inny). Nazwy las i księgozbiór są ogólne, bo jest wiele lasów i księgozbiorów.
i)Zeus, Posejdon (jako postaci mityczne), Rumcajs, Pegaz itd.
Są to nazwy puste, ponieważ w świecie rzeczywistym nie mają desygnatów. Są proste, ponieważ każda z nich składa się z jednego wyrazu. Nazwy te są indywidualne, ponieważ nie są nadane ze względu na cechy desygnatów.
11