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]

Za svaki, postoji...

Postod blake » Petak, 20. Septembar 2013, 14:26

Nisam siguran za prvi...
Za drugi sam sigurniji :mrgreen:
Treći, treći...hmm (-:
Prikačeni fajlovi
lolol.png
lolol.png (52.14 KiB) Pogledano 947 puta
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 » Petak, 20. Septembar 2013, 15:30

[inlmath]1.[/inlmath]
[inlmath]\exists tW\left(t\right)[/inlmath] znači da postoji dubl meč koji Rosaria igra u partnerstvu s Antonijem, koji Rosaria (a samim tim i Antonio) dobije. Nigde nije rečeno da dobijaju svaki meč kad su njih dvoje u partnerstvu, tako da pod [inlmath]\left(a\right)[/inlmath] otpada. Po meni, tačni su odgovori pod [inlmath]\left(b\right)[/inlmath] i pod [inlmath]\left(e\right)[/inlmath].

[inlmath]2.[/inlmath]
[inlmath]\forall tW\left(t\right)[/inlmath] znači da svaki dubl meč koji Rosaria igra u partnerstvu s Antonijem, Rosaria (a samim tim i Antonio) dobije. Po meni, odgovor pod [inlmath]\left(a\right)[/inlmath] jeste tačan, ali su isto tako tačni i odgovori pod [inlmath]\left(c\right)[/inlmath] i pod [inlmath]\left(e\right)[/inlmath].

[inlmath]3.[/inlmath]
Rečenica pod [inlmath]\left(b\right)[/inlmath], koju si zaokružio, značila bi da za sve prirodne brojeve važi da su prosti i da od svakog prirodnog broja [inlmath]x[/inlmath] postoji neki veći prirodan broj [inlmath]y[/inlmath] koji je takođe prost. A pošto znamo da nisu svi prirodni brojevi prosti, ovaj odgovor otpada.
Na sličan način se mogu eliminisati i odgovori pod [inlmath]\left(c\right)[/inlmath], [inlmath]\left(e\right)[/inlmath] i [inlmath]\left(f\right)[/inlmath].
[inlmath]\left(a\right)[/inlmath] bi značilo da ne postoji prost broj [inlmath]x[/inlmath] posle kojeg će postojati brojevi [inlmath]y[/inlmath] koji nisu prosti. Ovo bi, prevedeno, značilo da, kad jednom naiđemo na neki prost broj, posle njega će svi brojevi biti prosti. To em što je netačno, em nije isto što i tvrdnja da ne postoji najveći prost broj.
Ja kao tačan odgovor vidim jedino odgovor pod [inlmath]\left(d\right)[/inlmath]: od svakog prirodnog broja [inlmath]x[/inlmath] uvek će postojati neki veći prirodan broj [inlmath]y[/inlmath] koji će biti prost – iz čega direktno sledi da ne postoji najveći prost broj.
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 » Petak, 20. Septembar 2013, 17:45

Great :mrgreen:

Daniel je napisao:[inlmath]3.[/inlmath]
Rečenica pod [inlmath]\left(b\right)[/inlmath], koju si zaokružio, značila bi da za sve prirodne brojeve važi da su prosti i da od svakog prirodnog broja [inlmath]x[/inlmath] postoji neki veći prirodan broj [inlmath]y[/inlmath] koji je takođe prost. A pošto znamo da nisu svi prirodni brojevi prosti, ovaj odgovor otpada.

Ja sam tu rečenicu čita: Za svaki [inlmath]x[/inlmath] postoji [inlmath]y[/inlmath] takav da ako je [inlmath]x[/inlmath] prost i [inlmath]y[/inlmath] je prost i [inlmath]y[/inlmath] je veći od [inlmath]x[/inlmath]
>.>
blake  OFFLINE
 
Postovi: 371
Lokacija: Split, Croatia
Zahvalio se: 127 puta
Pohvaljen: 96 puta

Re: Za svaki, postoji...

Postod Daniel » Petak, 20. Septembar 2013, 20:46

blake je napisao:Ja sam tu rečenicu čita: Za svaki [inlmath]x[/inlmath] postoji [inlmath]y[/inlmath] takav da ako je [inlmath]x[/inlmath] prost i [inlmath]y[/inlmath] je prost i [inlmath]y[/inlmath] je veći od [inlmath]x[/inlmath]

Čim se u iskazu pojavljuje „ako je“, to znači da u formalnom zapisu takvog iskaza moramo koristiti implikaciju (znak [inlmath]\Rightarrow[/inlmath]). Međutim, pod [inlmath]\left(b\right)[/inlmath] se nigde ne pojavljuje implikacija. Pojavljuje se samo konjunkcija. Znači, za sve prirodne brojeve [inlmath]x[/inlmath] važi da su prosti i postoji neki broj [inlmath]y[/inlmath] koji je veći od [inlmath]x[/inlmath] i koji je prost broj. (Crveno obeležena slova i predstavljaju pomenute konjunkcije.)

Rečenica koju si ti napisao, „Za svaki [inlmath]x[/inlmath] postoji [inlmath]y[/inlmath] takav da ako je [inlmath]x[/inlmath] prost i [inlmath]y[/inlmath] je prost i [inlmath]y[/inlmath] je veći od [inlmath]x[/inlmath]“ morala bi se zapisati na sledeći način (ne ulazeći u tačnost samog iskaza):
[dispmath]\forall x\exists y\left[\mathrm{Prime}\left(x\right)\Rightarrow\mathrm{Prime}\left(y\right)\land y>x\right][/dispmath]
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 » Ponedeljak, 23. Septembar 2013, 19:16

A zašto ovde nije pod a) ?

5. Which of the following means "The arithmetic operation [inlmath]x\uparrow y[/inlmath] is not commutative." ([inlmath]\uparrow[/inlmath] is just some arbitrary binary operation.)
[inlmath](a)\;\forall x\forall y\left[x\uparrow y\not-y\uparrow x\right]\\
(b)\;\forall x\exists y\left[x\uparrow y\not-y\uparrow x\right]\\
(c)\;\exists x\exists y\left[x\uparrow y\not-y\uparrow x\right]\\
(d)\;\exists x\forall y\left[x\uparrow y\not-y\uparrow x\right][/inlmath]
blake  OFFLINE
 
Postovi: 371
Lokacija: Split, Croatia
Zahvalio se: 127 puta
Pohvaljen: 96 puta

  • +2

Re: Za svaki, postoji...

Postod ubavic » Ponedeljak, 23. Septembar 2013, 20:34

Slučaj pod a) nam kazuje da za svako [inlmath]x[/inlmath] i [inlmath]y[/inlmath], [inlmath]x\uparrow y[/inlmath] nije isto što i [inlmath]y\uparrow x[/inlmath]:
[dispmath]\forall x\forall y\left(x\uparrow y\ne y\uparrow x\right)[/dispmath]
Univerzalni kvantifikator označava da svi elementi nekog skupa imaju neku osobinu. Ako bismo uzeli da je [inlmath]x=y=z[/inlmath], došli bismo do kontradikcije, jer:
[dispmath](\forall x\forall y(x\uparrow y\ne y\uparrow x))\land(z=x=y)[/dispmath]
[dispmath]\Rightarrow z\cancel{\uparrow z}\ne z\cancel{\uparrow z}[/dispmath]
[dispmath]\Rightarrow z\ne z[/dispmath]
Što je kontradiktorno, iz čega sledi da je prvobitna pretpostavka netačna. Iskaz koji kaže da je operacija komutativna bio bi:
[dispmath]\forall x\forall y(x\uparrow y=y\uparrow x)[/dispmath]
njegova negacija bi bila:
[dispmath]\exists x\exists y\left(x\uparrow y\ne y\uparrow x\right)[/dispmath]
tj. dovoljan je barem jedan par [inlmath]x[/inlmath] i [inlmath]y[/inlmath], takav da operacija nije komutativna.
ubavic  OFFLINE
Zaslužni forumaš
 
Postovi: 623
Zahvalio se: 385 puta
Pohvaljen: 641 puta

Re: Za svaki, postoji...

Postod blake » Nedelja, 29. Septembar 2013, 22:25

Someone? (:
Prikačeni fajlovi
math.PNG
math.PNG (64.41 KiB) Pogledano 905 puta
blake  OFFLINE
 
Postovi: 371
Lokacija: Split, Croatia
Zahvalio se: 127 puta
Pohvaljen: 96 puta

Re: Za svaki, postoji...

Postod Daniel » Ponedeljak, 30. Septembar 2013, 23:51

U [inlmath]3.[/inlmath] i [inlmath]4.[/inlmath] zadatku među ponuđenim odgovorima ne vidim nijedan koji bi odgovarao onome što se traži, a u [inlmath]4.[/inlmath] me još dodatno zbunjuje i ovo "idiomatic expression" – da nije možda u tome neka caka? :think1:

U [inlmath]5.[/inlmath] je rešenje pod [inlmath]\left.d\right)[/inlmath]. Odgovor nije [inlmath]\left.b\right)[/inlmath] jer je taj iskaz tačan (njime se tvrdi da je relacija „manje ili jednako“ antisimetrična), a tačan je i iskaz pod [inlmath]\left.c\right)[/inlmath] – njime se tvrdi da za svaki broj [inlmath]x[/inlmath] postoji neki broj [inlmath]y[/inlmath] koji je istovremeno i veći ili jednak i manji ili jednak od [inlmath]x[/inlmath] – a to je upravo broj [inlmath]x[/inlmath], tj. [inlmath]y=x[/inlmath].
[inlmath]\left.d\right)[/inlmath] je jedini netačan iskaz od ponuđenih, jer se njime tvrdi da postoji neki realan broj [inlmath]x[/inlmath] takav da su svi realni brojevi ili manji ili veći od njega, a to nije tačno, jer postoji i realan broj koji nije ni manji od njega ni veći od njega, već je jednak tom broju [inlmath]x[/inlmath].
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

  • +1

Re: Za svaki, postoji...

Postod ubavic » Utorak, 01. Oktobar 2013, 13:36

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

[inlmath]a)[/inlmath] [inlmath]\forall p\exists q\exists t\:W(p,q,t)[/inlmath] bi znacilo da za su svi igraci pobedili u bar jednom mecu. Ovaj slucaj je moguc ali nije i obavezan.

[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.

[inlmath]c)[/inlmath] [inlmath]\forall q\exists p\exists t\:W(p,q,t)[/inlmath] bi znacilo da u svi bili gubitnici bar jednom. Moguce ali .....

PS. sorry sa celavu latinicu
ubavic  OFFLINE
Zaslužni forumaš
 
Postovi: 623
Zahvalio se: 385 puta
Pohvaljen: 641 puta

Re: Za svaki, postoji...

Postod Daniel » Utorak, 01. Oktobar 2013, 13:50

Sa svime se slažem, upravo sam tako i ja tumačio. Znači, među ponuđenim iskazima ne postoji onaj koji nikad ne može biti tačan. Što i nije nemoguće, budući da je u tekstu [inlmath]3.[/inlmath] zadatka i rečeno "if any", čime je ostavljena i mogućnost da nijedan od ponuđenih odgovora ne treba zaokružiti.

Više me zbunjuje [inlmath]4.[/inlmath] zadatak, u kojem takva mogućnost nije ostavljena, tj. očekuje se da je jedan od odgovora tačan, al' ja ga ne vidim...
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

Sledeća

Povratak na MATEMATIČKA LOGIKA

Ko je OnLine

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


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