Srodne teme

14.04.2024. Re: Gde je Kejt? (samo pogrešni odgovori)
04.09.2002. cisco-primeri?
23.02.2016. ReactOS? NT/GNU operativni sistem?
09.11.2004. Sta je to logika BP i aplikacije ?
22.12.2004. Solaris 10 free - implikacije?
31.01.2005. Smisao zivota.... ja sam svoj pronasao... a vi?
13.03.2005. Primeri kodova za .NET
10.03.2013. ERwin i BPwin primeri, pomoc i saradnja
26.06.2005. Pravne implikacije u koriscenju XPDE desktop okru..
21.10.2005. primeri indesign

Navigacija

Brisanje liste

Lista poslednjih: 16, 32, 64, 128 poruka.

Logika, smisao i primeri implikacije

[es] :: Matematika :: Logika, smisao i primeri implikacije

Strane: < .. 1 2 3 4

[ Pregleda: 25165 | Odgovora: 65 ] > FB > Twit

Autor

Nedeljko
Nedeljko Stefanović

Član broj: 314
Poruke: 8632
*.dynamic.sbb.rs.

+2790 Profil

Re: Logika, smisao i primeri implikacije

^{14.04.2009. u 09:19 - pre 183 meseci}

U knjizi ti je dat ti je metod za dokazivanje tautologija. Ako ne umeš da dokažeš De Morganove zakone, onda nisi razumeo deo o dokazivanju tautologija. Niko ne može da ti raspiše svih beskonačno mnogo tautologija, ali ti može dati opšti algoritam za ispitivanje da li je data iskazna formula tautologija. Nije poenta u tome da đak nabubeca konačno mnogo tautologija iz knjige, već da nauči opšti slučaj.

Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.

Odgovor na temu

zzzz
milan kecman
bluka

Član broj: 11810
Poruke: 2154
*.broadband.blic.net.

+196 Profil

Re: Logika, smisao i primeri implikacije

^{14.04.2009. u 10:45 - pre 183 meseci}

I dalje čekam

(A U B)' = A' ∩ B'

bez De Morganovih zakona ?

Ako su kao aksiomi data dva operatora ("NE" i naprimjer "I") onda su svi ostali operatori izvedivi iz njih.Dakle samo izvođenje, korištenjem samo datih aksioma, je i dokaz.

Evo tog dokaza pomoću geometrijskog prikaza.

________________________________

Najbolja kritika formule za Sagnac effect:
https://www.omicsonline.org/op...090-0902-1000189.php?aid=78500

OK evo prave formule:P=2wft^2 [period]

Prikačeni fajlovi

DeMorgan.GIF - 4.53k

Odgovor na temu

holononi

Član broj: 163572
Poruke: 658
91.148.87.*

+5 Profil

Re: Logika, smisao i primeri implikacije

^{14.04.2009. u 13:56 - pre 183 meseci}

Citat:

Evo tog dokaza pomoću geometrijskog prikaza.

Veoma lepo i ubedljivo. Mislim da bi se srednješkolcima dosta olakšalo ovakvim skicama.

Ali ja sam glupav, hoću DOKAZ a ne da mi se crta ko debilu.

Odgovor na temu

Cabo
Lokanje u bircuzu

Član broj: 10942
Poruke: 684
*.rcub.bg.ac.yu.

+5 Profil

Re: Logika, smisao i primeri implikacije

^{15.04.2009. u 12:23 - pre 183 meseci}

Jel' u redu rešenje?

Kliknite da vidite kako da pišete matematičke formule u [tex]TeX[/tex]-u bez slanja slika

Odgovor na temu

Nedeljko
Nedeljko Stefanović

Član broj: 314
Poruke: 8632
*.dynamic.sbb.rs.

+2790 Profil

Re: Logika, smisao i primeri implikacije

^{15.04.2009. u 13:54 - pre 183 meseci}

Znak jednakosti bi trebalo zameniti znakom ekvivalencije.

Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.

Odgovor na temu

holononi

Član broj: 163572
Poruke: 658
91.148.90.*

+5 Profil

Re: Logika, smisao i primeri implikacije

^{15.04.2009. u 18:31 - pre 183 meseci}

Citat:

Lokanje u bircuzu

@Lokanje u bircuzu

Napredujemo, treba krenuti po definicijama i posmatrati proizvoljan element. Problem u tvom dokazu je što se u pretposlednjem koraku pozivaš na De Morganove zakone, a tražen je dokaz bez primene de Morganovih zakona.

Ali nemojte se sekirati, ima i univerzitetskih profesora koji bi trebalo a ne bi mogli to da dokažu.

Odgovor na temu

zzzz
milan kecman
bluka

Član broj: 11810
Poruke: 2154
*.broadband.blic.net.

+196 Profil

Re: Logika, smisao i primeri implikacije

^{15.04.2009. u 19:05 - pre 183 meseci}

holononi.Ajde probaj sam napraviti analitički dokaz.Evo malo uputa:
-Napraviti sve moguće tablice istine za dvije binarne varijable.Imaš 16 različitih funkcija.
-Napraviti isto za jednu varijablu.Ima 4 različite funkcije.
Diskusija i izbor minimalnoog broja funkcija pomoću kojih možeš izraziti ostale.

________________________________

Najbolja kritika formule za Sagnac effect:
https://www.omicsonline.org/op...090-0902-1000189.php?aid=78500

OK evo prave formule:P=2wft^2 [period]

Odgovor na temu

holononi

Član broj: 163572
Poruke: 658
91.148.88.*

+5 Profil

Re: Logika, smisao i primeri implikacije

^{15.04.2009. u 21:17 - pre 183 meseci}

Ovi skupovi imaju 67856936459634956634985693465634659636534956439856983659389709798070723239563894563658364563458634563405863450630 elemenata !

Kako da nacrtam toliku tablicu ?

Odgovor na temu

Nedeljko
Nedeljko Stefanović

Član broj: 314
Poruke: 8632
*.dynamic.sbb.rs.

+2790 Profil

Re: Logika, smisao i primeri implikacije

^{16.04.2009. u 08:08 - pre 183 meseci}

Citat:

holononi: @Lokanje u bircuzu

Napredujemo, treba krenuti po definicijama i posmatrati proizvoljan element. Problem u tvom dokazu je što se u pretposlednjem koraku pozivaš na De Morganove zakone, a tražen je dokaz bez primene de Morganovih zakona.

Ali nemojte se sekirati, ima i univerzitetskih profesora koji bi trebalo a ne bi mogli to da dokažu.

Šta ti zapravo hoćeš? Ako ne radiš matiš kroz aksiomatsku teoriju skupova, onda se logika podrazumeva. OK, ne mora neko da zna za De Morganove zakone da bi ovo ukapirao, već treba da zna postupak dokazivanja skupovnih identiteta, odnosno postupak dokazivanja tautologija i nikada ne mora da sazna kako se ti zakoni zovu. Ako hoćeš nešto što suštinski ne koristi De Morganove zakone, moraš formulisati neklasičnu logiku u kojoj ti zakoni ne važe, pa posmatrati problem u njoj. Međutim, tamo ni De Morganovi zakoni za skupove neće važiti, jer je to isto.

Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.

Odgovor na temu

Nedeljko
Nedeljko Stefanović

Član broj: 314
Poruke: 8632
*.dynamic.sbb.rs.

+2790 Profil

Re: Logika, smisao i primeri implikacije

^{16.04.2009. u 08:13 - pre 183 meseci}

Skupovne identitete sa dva skupa je dovoljno proveriti na podskupovima

i

skupa

, ali to nije dokazivanje De Morganovih zakona za skupove bez De Morganovih zakona za iskaznu logiku. Prava fomulacija problema "dokazati X bez Y" se može dobiti tek u nekom formalizmu (u kome Y ne važi).

Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.

Odgovor na temu

holononi

Član broj: 163572
Poruke: 658
91.148.93.*

+5 Profil

Re: Logika, smisao i primeri implikacije

^{16.04.2009. u 08:49 - pre 183 meseci}

Citat:

već treba da zna postupak dokazivanja skupovnih identiteta

... i eto rešenja.

Odgovor na temu

Nedeljko
Nedeljko Stefanović

Član broj: 314
Poruke: 8632
*.dynamic.sbb.rs.

+2790 Profil

Re: Logika, smisao i primeri implikacije

^{16.04.2009. u 11:11 - pre 183 meseci}

Pa, onda je ovo što je Cabo napisao OK. Druga je stvar što iskaz "ne koristiti De Morganove zakone" nema previše smisla. Moraš da koristiš ili njih ili nešto iz čega oni slede. Na primer:

,

,

,

.

Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.

Odgovor na temu

Cabo
Lokanje u bircuzu

Član broj: 10942
Poruke: 684
*.rcub.bg.ac.yu.

+5 Profil

Re: Logika, smisao i primeri implikacije

^{16.04.2009. u 15:06 - pre 183 meseci}

Citat:

holononi: @Lokanje u bircuzu

To je u odgovor na izraz „Lokacija:“.

Pun tekst bi trebalo da glasi (i glasio je, do pre koju godinu) „Lokacija: Lokanje u bircuzu“.

Što se tiče teme, pridružiću se Nedeljku u pitanju „šta ti zapravo hoćeš?“ Zašto bismo uopšte zanemarivali De Morganove zakone?

Kliknite da vidite kako da pišete matematičke formule u [tex]TeX[/tex]-u bez slanja slika

Odgovor na temu

holononi

Član broj: 163572
Poruke: 658
*.adsl.beotel.net.

+5 Profil

Re: Logika, smisao i primeri implikacije

^{16.04.2009. u 16:14 - pre 183 meseci}

Citat:

Zašto bismo uopšte zanemarivali De Morganove zakone

Neću ja ništa da zanemarim. Dokazi mogu da se izvedu na razne načine. A eto, ja zap'o za dokaz bez primene De Morganovih zakona. Šta je tu neobično?

_{[Ovu poruku je menjao holononi dana 16.04.2009. u 17:25 GMT+1]}

Odgovor na temu

Nedeljko
Nedeljko Stefanović

Član broj: 314
Poruke: 8632
*.dynamic.sbb.rs.

+2790 Profil

Re: Logika, smisao i primeri implikacije

^{16.04.2009. u 16:23 - pre 183 meseci}

Problem je u formulaciji "izvesti bez ovoga i onoga". Ja uvek mogu za dlaku da promenim De Morganove zakone i dodam nešto iz čega oni odmah slede i da dokažem teoremu preko toga. To je poenta ovoga

Citat:

Nedeljko: Pa, onda je ovo što je Cabo napisao OK. Druga je stvar što iskaz "ne koristiti De Morganove zakone" nema previše smisla. Moraš da koristiš ili njih ili nešto iz čega oni slede. Na primer:

,

,

,

.

Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.

Odgovor na temu

petarm
Petar Mali
Zrenjanin

Član broj: 20220
Poruke: 1879
94.189.241.*

+33 Profil

Re: Logika, smisao i primeri implikacije

^{17.04.2009. u 01:40 - pre 183 meseci}

Citat:

Nedeljko: Slabo primenljivo na teoriju relativnosti, kvantnu mehaniku, neeuklidske geometrije i neklasične logike. Tamo stečene predstave samo smetaju, pa je formalan pristup neophodan.

Netacno za teoriju relativnosti i KM. U fizici postoji i nesto sto se zove eksp. I taj eksp. nam daje te predstave! A formalan pristup je ipak u sprezi sa ovim predstavama!

http://www.svijetfizike.com/

Odgovor na temu

zzzz
milan kecman
bluka

Član broj: 11810
Poruke: 2154
*.broadband.blic.net.

+196 Profil

Re: Logika, smisao i primeri implikacije

^{17.04.2009. u 11:14 - pre 183 meseci}

holononi : "Neću ja ništa da zanemarim. Dokazi mogu da se izvedu na razne načine. A eto, ja zap'o za dokaz bez primene De Morganovih zakona. Šta je tu neobično?"

Na donjoj slici su prikazane sve moguće funkcije dviju binarnih varijabli.
Među njima uočimo i za nas najinteresantnije funkcije.To su "Ili" funkcija
i "I" funkcija.Veza među njima korištenjem još i negacije "Ne" se jednostavno
izvodi, i to što je izvedeno je De Morganov zakon.

________________________________

Najbolja kritika formule za Sagnac effect:
https://www.omicsonline.org/op...090-0902-1000189.php?aid=78500

OK evo prave formule:P=2wft^2 [period]

Prikačeni fajlovi

DeMorgan2.GIF - 7.76k

Odgovor na temu

Nedeljko
Nedeljko Stefanović

Član broj: 314
Poruke: 8632
195.222.97.*

+2790 Profil

Re: Logika, smisao i primeri implikacije

^{17.04.2009. u 11:56 - pre 183 meseci}

Citat:

petarm: Netacno za teoriju relativnosti i KM. U fizici postoji i nesto sto se zove eksp. I taj eksp. nam daje te predstave! A formalan pristup je ipak u sprezi sa ovim predstavama!

Ali izlaganje nije induktivno, već deduktivno. Govorim o pedagoškom pristupu. Eksperimenti su OK, kao i njihov formalan opis. Onaj pristup izlaganju koji postavljač teme pominje nije primenljiv na TR. Vidi na temi za TR na forumu za fiziku zbog čega.

Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.

Odgovor na temu

holononi

Član broj: 163572
Poruke: 658
*.adsl.beotel.net.

+5 Profil

Re: Logika, smisao i primeri implikacije

^{17.04.2009. u 14:02 - pre 183 meseci}

@zzzz

Dobro, dokazuješ De Morgan-ove zakone. Apsoluno ne sumnjam u njih. Problem je u sledećem:

Definišemo pojmove unije, preseka, razlike i komplementa skupova. Kako sada dokazati da je komplement unije jednak preseku komplemanta datih skupova a da se koriste isključivo uvedene definicije i aksiome neke od teorije skupova?

U odgovoru koji je ponudio @Cabo sve funkcioniše do pretposlednjeg koraka. Tada se iz teorije skupova "preskače" u iskazni račun. Naravno, ako su prethodno dokazani De Morganovi zakoni i pokazano da oni važe i na skupovima onda takav postupak i nije problem. Medjutim, u srednješkolskim knjigama to nije eksplicitno učinjeno.

Zato sam pokrenuo pitanje kako izvesti dokaz bez primene De Morganovih zakona. Problem je kako taj pretposlednji korak zadržati u okviru teorije skupova? Odgovor je sadržan u rešenju koje je ponudio @zzzz u svom postu od 14.04.2009. Samo što to sada treba matematički formalizovati.

Odgovor na temu

Nedeljko
Nedeljko Stefanović

Član broj: 314
Poruke: 8632
195.222.97.*

+2790 Profil

Re: Logika, smisao i primeri implikacije

^{18.04.2009. u 11:01 - pre 182 meseci}

Iz aksioma teorije skupova ne možeš izvesti ništa bez predikatske logike na koju se oslanja. Formula

,

gde je

binarni relacijski znak, je logička istina predikatskog računa, pa sledi iz njegovih aksioma i pravila izvođenja.

Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.

Odgovor na temu

[es] :: Matematika :: Logika, smisao i primeri implikacije

Strane: < .. 1 2 3 4

[ Pregleda: 25165 | Odgovora: 65 ] > FB > Twit

Srodne teme

08.02.2007. modelovanje podataka
27.03.2006. Neizrazita logika (fuzzy logic)
24.11.2006. Koristiti bazu - da/ne - logika programiranja
23.02.2007. Smisao zivota ?
04.06.2008. Sta je fazi logika?
05.01.2008. Graficki dizajn - CorelDRAW X3 ( Iskusni mastori ..
13.05.2008. google fotografije -- logika
02.10.2008. Koji je smisao Youngovih sema?
05.12.2008. GROUP BY korišcenje, podupiti kod GROUP BY, prim..

Navigacija

Lista poslednjih: 16, 32, 64, 128 poruka.