logowanie

matematyka » forum » forum zadaniowe - uczelnie wy縮ze » 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 iwi駍ki      o serwisie | kontakt   drukuj