logowanie

matematyka » forum » forum zadaniowe - uczelnie wyższe » zadanie

Logika, zadanie nr 1419

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / Rozwiązanie

xyz
postów: 18
2013-06-10 20:02:30

Moi mili, mam problem z zadaniami logicznymi. Zapewne moje przykłady okażą się dla Was niesamowicie banalne, ale mimo wszystko prosiłabym o pomoc.

Zadanie 1.

Nieprawda, że każdy uczeń w klasie ma niebieskie oczy. Określić wartość logiczną tego zdania, jeżeli wiadomo, że:

a) jedna z osób w klasie ma oczy piwne,

b) nie ma w klasie osób, które mają inny kolor oczu niż niebieski,

c) nie ma w klasie osób o niebieskich oczach.

Zadanie 2.

Określić wartość logiczną następujących zdań i wypowiedzieć je inaczej:

a) nieprawda, że niebo czasem jest niebieskie,

b) nieprawda, że nie ma dymu bez ognia,

c) nieprawda, że istnieje dom bez fundamentów,

d) nie każdy Polak jest lekarzem,

e) nieprawda, że nie istnieje łabędź, który nie jest biały.




tumor
postów: 8070
2013-06-11 09:32:43

1. Zasadniczo kwantyfikując zakładamy, że klasa jest co najmniej jednoosobowa, czyli istnieje jakiś przedstawiciel. Wtedy
a) P
b) F
c) P
Gdyby klasa była zbiorem pustym, mielibyśmy drobny problem związany z pustym spełnianiem. Zbiór pusty to na przykład (a weźmy z Russella) zbiór jednorożców.
Czy jest prawdą, że wszystkie jednorożce są różowe? Jest, jeśli uznamy to zdanie za równoważne zdaniu "nie istnieje nieróżowy jednorożec". Jednakże rozumując analogicznie wszystkie jednorożce są niebieskie i wszystkie są w szkocką kratę (bo nie pokażemy żadnego, który by nie był).
Gdyby klasa była pusta, to nie byłoby tam osoby o piwnych oczach, czyli przypadek a) by w ogóle zajść nie mógł.
b) i c) zajść by mogły, skoro nie ma w klasie żadnych osób, wtedy jednak zdanie "nieprawda, że każdy ma niebieskie oczy", równoważne "istnieje ktoś, kto ma oczy nieniebieskie" byłoby fałszywe.

2.
a) F
"niebo zawsze nie jest niebieskie" (tu gramatyka się wtrąci, że powiemy raczej "niebo nigdy nie jest niebieskie")
"niebo zawsze jest nieniebieskie" (tu gramatyka się wtrąci, że tak w ogóle nikt nie mówi)

b) P
"istnieje dym bez ognia" (no, wystarczy ogień zgasić, a dym jest jeszcze, nie?)

c) F
"każdy dom ma fundament" (oczywista nieprawda)

d) P
"niektórzy Polacy nie są lekarzami" (ja)

e) P
"nieprawda, że wszystkie łabędzie są białe"
"istnieje łabędź, który nie jest biały"
"nie wszystkie łabędzie są białe"
(Cygnus atratus)


------------
I jeszcze jedna uwaga teoretyczna. Zbiór łabędzi, zbiór domów, zbiór Polaków, zbiór dymów i zbiór nieb - wszystkie one SĄ NIEPUSTE.
Dlatego w przypadku tych zbiorów utożsamiamy
"każdy ma cechę..." z "nie istnieje taki, który nie ma cechy..."
oraz
"istnieje taki, który ma cechę..." z "nie każdy nie ma cechy...".
W przypadku zbiorów pustych uczulam na tzw. puste spełnianie.

strony: 1

Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj





© 2019 Mariusz Śliwiński      o serwisie | kontakt   drukuj