Korisnički Kontrolni Panel
Pogledajte svoj profil
Pogledajte svoje postove
ČPP
Prijavite se

Matematički forum na kojem možete da diskutujete o raznim matematičkim oblastima, pomognete drugima oko rešavanja zadataka, a i da dobijete pomoć kada vam zatreba


















Index stranica OSTALE MATEMATIČKE OBLASTI MATEMATIČKA LOGIKA

Za svaki, postoji...

[inlmath]\left[p\land\left(q\Rightarrow\lnot p\right)\right]\Leftrightarrow\lnot\left(p\Rightarrow q\right)[/inlmath]

Re: Za svaki, postoji...

Postod blake » Sreda, 02. Oktobar 2013, 12:28

Treći van je pod b)
Četvrti je a)
Peti je samo pod d)
blake  OFFLINE
 
Postovi: 371
Lokacija: Split, Croatia
Zahvalio se: 127 puta
Pohvaljen: 96 puta

Sharuj ovu temu na:

Share on Facebook Facebook Share on Twitter Twitter Share on MySpace MySpace Share on Google+ Google+

Re: Za svaki, postoji...

Postod Daniel » Sreda, 02. Oktobar 2013, 13:36

Zanimljivo. :)
OK, za peti je jasno, ali može li objašnjenje za treći i za četvrti?
I do not fear death. I had been dead for billions and billions of years before I was born, and had not suffered the slightest inconvenience from it. – Mark Twain
Korisnikov avatar
Daniel  OFFLINE
Administrator
 
Postovi: 9300
Lokacija: Beograd
Zahvalio se: 5151 puta
Pohvaljen: 4951 puta

Re: Za svaki, postoji...

Postod blake » Sreda, 02. Oktobar 2013, 13:58

ubavic je napisao: :think1: Evo mog misljenja o trecem, meni je ovo malo zbunjujuce :wtf: , ispravite me ako gresim:



[inlmath]b)[/inlmath] [inlmath]\forall p\forall q\exists t\:W(p,q,t)[/inlmath] bi znacilo da je svaki igrac igrao sa svakim igracem dva puta i da je jednom pobedio i jednom izgubio. Opet, nije nemoguce ali je malo verovatno.


PS. sorry sa celavu latinicu

Treći ja san točno zaokružija, moja logika i čitanje ovoga bila bi: Za svakog igrača [inlmath]1[/inlmath] i za svakog igrača [inlmath]2[/inlmath] postoji teniski meč, ili štagod je u pitanju sad za koji igrač [inlmath]1[/inlmath] pobjeđuje.

EDIT:
Četvrti zadatak
Pod b) nije točno jer bi to značilo da je osoba [inlmath]x[/inlmath] u ljubavnoj vezi sa svima.
a) i c) su slične, ali c) kaže da svi vole sve ("za svaki [inlmath]x[/inlmath]" i "za svaki [inlmath]y[/inlmath]" su odvojeni uvjeti),
pod a) točno
blake  OFFLINE
 
Postovi: 371
Lokacija: Split, Croatia
Zahvalio se: 127 puta
Pohvaljen: 96 puta

Re: Za svaki, postoji...

Postod Daniel » Sreda, 02. Oktobar 2013, 23:46

blake je napisao:Treći ja san točno zaokružija, moja logika i čitanje ovoga bila bi: Za svakog igrača [inlmath]1[/inlmath] i za svakog igrača [inlmath]2[/inlmath] postoji teniski meč, ili štagod je u pitanju sad za koji igrač [inlmath]1[/inlmath] pobjeđuje.

:think1: Slažem se i s tvojim i s Ubavicevim tumačenjem, ali i dalje ne shvatam zbog čega se ne može desiti da svaki igrač bar jednom pobedi i bar jednom izgubi?

Takođe i dalje ne shvatam [inlmath]4.[/inlmath] zadatak:
blake je napisao:Četvrti zadatak
Pod b) nije točno jer bi to značilo da je osoba [inlmath]x[/inlmath] u ljubavnoj vezi sa svima.

:think1: Ne znam kako si iz formule [inlmath]\forall x\forall y\left[\forall z\left(L\left(x,z\right)\lor L\left(z,x\right)\right)\Rightarrow L\left(y,x\right)\right][/inlmath] zaključio da je osoba [inlmath]x[/inlmath] u ljubavnoj vezi sa svima?
Prvo, u formuli imamo univerzalni kvantifikator [inlmath]\forall x[/inlmath], što znači da nema konkretne osobe [inlmath]x[/inlmath], već se svuda gde se u formuli pojavljuje [inlmath]x[/inlmath] misli na svaku osobu.
Evo kontraprimera za tvoje tumačenje: pretpostavimo da niko nikog ne voli. Tada je levi deo implikacije, koji glasi [inlmath]\forall z\left(L\left(x,z\right)\lor L\left(z,x\right)\right)[/inlmath], uvek netačan. A kad je iskaz levo od znaka implikacije netačan, implikacija je tačna bez obzira na istinitost iskaza desno od znaka implikacije. Dakle, slučaj da niko nikog ne voli bi bio jedan primer kada je formula pod [inlmath]\left.b\right)[/inlmath] tačna, prema tome, iako ne mogu tačno da kažem šta ta formula znači, ona sigurno ne može značiti da je bilo koja osoba u ljubavnoj vezi sa svima. :)

blake je napisao:a) i c) su slične, ali c) kaže da svi vole sve ("za svaki [inlmath]x[/inlmath]" i "za svaki [inlmath]y[/inlmath]" su odvojeni uvjeti),
pod a) točno

Pod [inlmath]\left.c\right)[/inlmath] je tačno da svako voli svakog (što uključuje i slučaj da svako voli i sebe :D ), ali još uvek nisi dao obrazloženje zbog čega je pod [inlmath]\left.a\right)[/inlmath] tačan odgovor... :think1:
Osim toga, [inlmath]\left.a\right)[/inlmath] i [inlmath]\left.c\right)[/inlmath], po meni, uopšte nisu slične... pod [inlmath]\left.a\right)[/inlmath] imamo implikaciju, a pod [inlmath]\left.c\right)[/inlmath] konjunkciju, što je bitna razlika... :think1:
I do not fear death. I had been dead for billions and billions of years before I was born, and had not suffered the slightest inconvenience from it. – Mark Twain
Korisnikov avatar
Daniel  OFFLINE
Administrator
 
Postovi: 9300
Lokacija: Beograd
Zahvalio se: 5151 puta
Pohvaljen: 4951 puta

Re: Za svaki, postoji...

Postod blake » Četvrtak, 03. Oktobar 2013, 14:24

A tako je reka Keith Devlin.
I dunno. :insane:
blake  OFFLINE
 
Postovi: 371
Lokacija: Split, Croatia
Zahvalio se: 127 puta
Pohvaljen: 96 puta

  • +1

Re: Za svaki, postoji...

Postod Daniel » Četvrtak, 03. Oktobar 2013, 21:01

Pogledao sam taj video-klip s objašnjenjima (blake, fala za video :) ) i oduševio sam se logičnošću objašnjenja. :) Odgovori su, kao što i blake već reče, [inlmath]3.b)[/inlmath] i [inlmath]4.a)[/inlmath], a evo i obrazloženja:

[inlmath]3.b)[/inlmath]
[inlmath]\forall p\forall q\exists tW\left(p,q,t\right)[/inlmath]
Ovo znači, kao što već rekosmo, da je svaki igrač bar jednom pobedio svakog igrača, ali taj iskaz, samim tim, znači i da je svaki igrač bar jednom pobedio i samog sebe. :D E, to je ono što sam bio prevideo, a zbog čega je nemoguće da je taj iskaz tačan, budući da niko ne može da pobedi samog sebe.
Kada bi bilo naglašeno da je [inlmath]p\ne q[/inlmath], e tada bi bilo moguće da taj iskaz bude tačan.

[inlmath]4.a)[/inlmath]
[inlmath]\forall x\forall y\left[\exists z\left(L\left(x,z\right)\land L\left(z,x\right)\right)\Rightarrow L\left(y,x\right)\right][/inlmath]
Osoba je "lover", kako je to rečeno u tekstu, ako ona voli neku drugu osobu i ako ta druga osoba voli nju. Prema tome, ako je [inlmath]x[/inlmath] "lover", onda za nju važi [inlmath]\exists z\left(L\left(x,z\right)\land L\left(z,x\right)\right)[/inlmath]
tj. postoji neka osoba [inlmath]z[/inlmath] koju osoba [inlmath]x[/inlmath] voli i koja voli osobu [inlmath]x[/inlmath].
Prema tome, ponuđena formula [inlmath]\forall x\forall y\left[\exists z\left(L\left(x,z\right)\land L\left(z,x\right)\right)\Rightarrow L\left(y,x\right)\right][/inlmath] znači: „za svaku osobu važi da, ako je ta osoba 'lover', tada tu osobu svi vole“.
E, moja je greška bila to što sam ja rečenicu "Everybody loves a lover" uporno u svom mozgu prevodio kao „svako voli svog ljubavnika“ iako je, zapravo, pravi prevod u ovom slučaju – „svako voli svakog ljubavnika“. :D Zanimljiva igra reči. :)

Opasni zadaci, nema šta. :thumbup:
I do not fear death. I had been dead for billions and billions of years before I was born, and had not suffered the slightest inconvenience from it. – Mark Twain
Korisnikov avatar
Daniel  OFFLINE
Administrator
 
Postovi: 9300
Lokacija: Beograd
Zahvalio se: 5151 puta
Pohvaljen: 4951 puta

Prethodna

Povratak na MATEMATIČKA LOGIKA

Ko je OnLine

Korisnici koji su trenutno na forumu: Nema registrovanih korisnika i 27 gostiju


Index stranicaTimObriši sve kolačiće boarda
Danas je Četvrtak, 28. Mart 2024, 15:41 • Sva vremena su u UTC + 1 sat
Pokreće ga phpBB® Forum Software © phpBB Group
Prevod – www.CyberCom.rs