[ nekoNiko @ 22.10.2009. 19:28 ] @
Pozdrav svima

Potrebno mi je vase misljenje oko zadatka

Zadatak glasi:

Disjunktivni silogizam u logici u suštini izražava tranzitivnost poretka, po kojem ako je R u nekom smislu bolji od Q i ako je Q bolji od P, tada je svakako R bolji od P. U jednom engleskom udžbeniku informatike stoje sljedeće konstatacije: “Floppy disk storage is better than nothing” i, nešto kasnije, “Nothing is better than hard disk drive”. Kako ove konstatacije upravo imaju formu “R je bolji od Q” i “Q je bolji od P”, slijedi “R je bolji od P”, odnosno, “Floppy disk storage is better than hard disk drive”. Šta nije u redu sa ovim rezonovanjem?

Kad bi se predstavilo logickim izrazom


Moje misljenje je da se polazeci od netacne cinjenice dolazi do netacnog rezultata.

Vase misljenje?

[ lepi.cane @ 22.10.2009. 19:32 ] @
Mislim da je problem u bukvalnom prevodu sa "ingleskog", tj, "Nothing is better than hard disk drive" u prevodu znači da nema ništa bolje od hdd, odnosno da je hdd najveći element skupa nosača podataka, da se tako izrazim, a ne "ništa je bolje od hdd" gde se misli na ništa kao trivijalno najmanji element istog skupa. Nadam se da sam bio jasan.
[ Cabo @ 22.10.2009. 19:49 ] @
Nothing is better than hard disk drive

Netačno, bolja je fleš memorija. :o)

A sad ozbiljno, pa ovo bi bukvalno shvaćeno značilo da su hard diskovi „negativni“. [A nisu, pa...]
[ nekoNiko @ 23.10.2009. 01:59 ] @
Citat:
lepi.cane: Mislim da je problem u bukvalnom prevodu sa "ingleskog", tj, "Nothing is better than hard disk drive" u prevodu znači da nema ništa bolje od hdd, odnosno da je hdd najveći element skupa nosača podataka, da se tako izrazim, a ne "ništa je bolje od hdd" gde se misli na ništa kao trivijalno najmanji element istog skupa. Nadam se da sam bio jasan.


Hvala na odgovoru.

Moje misljenje je ocito bilo pogresno jer kad bi se bukvalno prevodilo da je floppy bolji od nicega onda je to tacna cinjenica.

[ EArthquake @ 23.10.2009. 07:19 ] @
jedan primer non context free jezika
govorni jezik nije dovoljan za izjasnjavanje formalne logike

dvoznacnost (ili pak viseznacnost) govornog jezika i zavisnost od konteksta
ovde predstavljaju problem

nemas netacan zakljucak , vec pogresno razumen zakljucak

nothing iz prve recenice nije isti nothing kao u drugoj
tako da ovde nemas tranzitivnost