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

Zadatak iz matematicke logike

[es] :: Matematika :: Zadatak iz matematicke logike

[ Pregleda: 3738 | Odgovora: 5 ] > FB > Twit

Postavi temu Odgovori

Autor

Pretraga teme: Traži
Markiranje Štampanje RSS

bayone81
salz bajone
bologna

Član broj: 62997
Poruke: 1
*.cs.unibo.it.



Profil

icon Zadatak iz matematicke logike05.07.2005. u 17:06 - pre 205 meseci
Cao filozofi i matematicari. Imam jedan problem. Radi se o jednom tipu zadataka mat. logike, koji ne mogu da skapiram.

Ex - postoji x
Vx - svaki x

P = [ExA(x) --> VxB(x)] --> Vx(A(x) --> B(x)).

Da li je ova formula validna, zadovoljavajuca ili kontradiktorna? Ako je ispravna(validna), dokazati u proizvoljnom formalnom sistemu,ako je kontradiktorna dokazati formulu NOT P, ako je zadovoljavajuca(a da nije validna) dati jednu interpretaciju u kojoj je P tacna i jednu u kojoj je P netacna.

hvala unapred
aaaaaaaaaaaaaaaaaaaaaaaaaaaa
 
Odgovor na temu

KPYU
Karan Predrag

Član broj: 36769
Poruke: 143
*.nspoint.net.



Profil

icon Re: Zadatak iz matematicke logike08.07.2005. u 00:33 - pre 205 meseci
Formula je validna.
Prvo koristim zakon kontrapozicije



tj tvrđenje važi akko



Pošto je



to je



Takođe znamo da


kao i


te dobijamo



A ovo je valjano.
 
Odgovor na temu

Jorda
Beograd

Član broj: 25117
Poruke: 81
*.vdial.verat.net.



+1 Profil

icon Re: Zadatak iz matematicke logike09.07.2005. u 16:46 - pre 205 meseci
Samo jedno pitanje za KPYU:



Zar se u ovom zapisu implikacije ne koristi "ILI" umesto "I" ?

[Ovu poruku je menjao Jorda dana 09.07.2005. u 17:46 GMT+1]
 
Odgovor na temu

Nedeljko
Nedeljko Stefanović

Član broj: 314
Poruke: 8576
*.dial.InfoSky.Net.



+2775 Profil

icon Re: Zadatak iz matematicke logike09.07.2005. u 18:35 - pre 205 meseci
Mislilo se na
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.
 
Odgovor na temu

Jorda
Beograd

Član broj: 25117
Poruke: 81
*.vdial.verat.net.



+1 Profil

icon Re: Zadatak iz matematicke logike09.07.2005. u 22:52 - pre 205 meseci
Naravno, bila je negacija ispred, samo kad je navodio pravilo pogresio je
Pozdrav!
 
Odgovor na temu

Tijana
Tijana Zlatkovic
Zajecar

Član broj: 5313
Poruke: 10
*.smin-1.sezampro.yu.



Profil

icon Re: Zadatak iz matematicke logike12.12.2007. u 11:51 - pre 175 meseci
Moze li neko da mi malo pojasni kako se rade ovakvi zadaci?

1.Na skupu Ρ, svih ravni u prostoru definisana je relacija ρ sa: α ρ β α i β su ortogonalne. Naci najmanju relaciju ekvivalencije koja sadrzi relaciju ρ.

2.Naci najmanju relaciju ekvivalencije koja sadrzi relaciju deljivosti na skupu N\{0}.
help me!
 
Odgovor na temu

[es] :: Matematika :: Zadatak iz matematicke logike

[ Pregleda: 3738 | Odgovora: 5 ] > FB > Twit

Postavi temu Odgovori

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