Search
 
 
  Engleski
 
 
 
Open in this window (click to change)
Forum@DeGiorgi: Početna
Forum za podršku nastavi na PMF-MO
Login Registracija FAQ Smajlići Članstvo Pretražnik Forum@DeGiorgi: Početna

zadatak iz matematicke logike (zadatak)

Moja sarma
 
Započnite novu temu   Odgovorite na temu   printer-friendly view    Forum@DeGiorgi: Početna -> Kolegiji siročići (oni koji nemaju svoj podforum) -> Matematički kolegiji
Prethodna tema :: Sljedeća tema  
Autor/ica Poruka
ana1986
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 16. 09. 2009. (17:24:01)
Postovi: (F)16
Sarma = la pohva - posuda
0 = 1 - 1
PostPostano: 23:40 ned, 22. 11. 2009    Naslov: zadatak iz matematicke logike Citirajte i odgovorite
treba mi pomoc!! kako rj ovaj zd?
F= -(-QvP)^(Pv -R)^(Q->R)
hvala :-)
treba mi pomoc!! kako rj ovaj zd?
F= -(-QvP)^(Pv -R)^(Q->R)
hvala Smile


[Vrh]
Korisnički profil Pošaljite privatnu poruku
ana1986
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 16. 09. 2009. (17:24:01)
Postovi: (F)16
Sarma = la pohva - posuda
0 = 1 - 1
PostPostano: 18:16 pon, 23. 11. 2009    Naslov: Citirajte i odgovorite
triba dokazat da je formula valjana...
triba dokazat da je formula valjana...


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Swerz
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 13. 02. 2009. (21:30:28)
Postovi: (182)16
Spol: muško
Sarma = la pohva - posuda
15 = 33 - 18
PostPostano: 19:03 pon, 23. 11. 2009    Naslov: Citirajte i odgovorite
Mozda se guram di mi nije mjesto al...
dali je je ovo zadatak?
[latex]f=\neg(\neg Q \vee P)\wedge (P\vee \neg R)\wedge (Q\implies R)[/latex]

Ak je, onda ta tvrdnja nije istinita, ak sam ja pobrkao loncice slobodno me ignorirajte :oops:
Mozda se guram di mi nije mjesto al...
dali je je ovo zadatak?


Ak je, onda ta tvrdnja nije istinita, ak sam ja pobrkao loncice slobodno me ignorirajte Embarassed


[Vrh]
Korisnički profil Pošaljite privatnu poruku
mhaberl
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 05. 09. 2009. (14:44:26)
Postovi: (2D)16
Spol: muško
Sarma: -
PostPostano: 19:28 pon, 23. 11. 2009    Naslov: Citirajte i odgovorite
[quote="ana1986"]triba dokazat da je formula valjana...[/quote]
Nije valjana (tj. nije tautologija).
npr. za interpretaciju I danu sa:
1. I(Q)=1, I(R)=0, I(P)-proizvoljno
2. I(P)=1, I(Q),I(R) - proizvoljno
3. I(P)=0, I(R)=1, I(Q)- proizvoljno

vrijedi I(F)=0

Ali ako se malo bolje pogleda vidi se da je F antitautologija, tj. za svaku interpretaciju I, vrijedi I(F)=0.
Drugim rijecima negacija od F je valjana formula. :wink:
ana1986 (napisa):
triba dokazat da je formula valjana...

Nije valjana (tj. nije tautologija).
npr. za interpretaciju I danu sa:
1. I(Q)=1, I(R)=0, I(P)-proizvoljno
2. I(P)=1, I(Q),I(R) - proizvoljno
3. I(P)=0, I(R)=1, I(Q)- proizvoljno

vrijedi I(F)=0

Ali ako se malo bolje pogleda vidi se da je F antitautologija, tj. za svaku interpretaciju I, vrijedi I(F)=0.
Drugim rijecima negacija od F je valjana formula. Wink


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Gost
PostPostano: 1:04 pet, 5. 2. 2010    Naslov: Citirajte i odgovorite
Ako tko zna neka pomogne:
[img]http://img202.imageshack.us/img202/3448/aksiomi.jpg[/img]
[img]http://img515.imageshack.us/img515/1710/logika.jpg[/img]
Moze mi netko pojasniti princip ovog dokazivanja. Prvo sto sam pomislio je da se dokaz svodi na sljedeci nacin : uzmemo da je A=A, B=A->A, C=A. Zatim to uvrstimo u aksiom A2, pa A1 pa primjenimo modus ponens. Medutim sto je sa 4. korakom na sto se primjenjuje aksiom (A1)?
Ako tko zna neka pomogne:


Moze mi netko pojasniti princip ovog dokazivanja. Prvo sto sam pomislio je da se dokaz svodi na sljedeci nacin : uzmemo da je A=A, B=A→A, C=A. Zatim to uvrstimo u aksiom A2, pa A1 pa primjenimo modus ponens. Medutim sto je sa 4. korakom na sto se primjenjuje aksiom (A1)?


[Vrh]
Jaja
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 26. 09. 2004. (12:06:48)
Postovi: (C3)16
Spol: žensko
Sarma = la pohva - posuda
17 = 20 - 3
Lokacija: Zagreb
PostPostano: 1:49 pet, 5. 2. 2010    Naslov: Citirajte i odgovorite
Dobro si pomislio. Sve je tako kako si rekao,a u točku 4 ne dobivas na temelju neceg prije već direktno iz aksioma A1 ako uzmes B=A. Sada primjenis modus ponens na 3 i 4 i dobijes da A->A
Dobro si pomislio. Sve je tako kako si rekao,a u točku 4 ne dobivas na temelju neceg prije već direktno iz aksioma A1 ako uzmes B=A. Sada primjenis modus ponens na 3 i 4 i dobijes da A->A



_________________
Don't worry, be happy!
[Vrh]
Korisnički profil Pošaljite privatnu poruku
Gost
PostPostano: 15:35 pet, 5. 2. 2010    Naslov: Citirajte i odgovorite
Jeli postoji ikakva taktika kako doakzati zadatke tipa ovoga; ili se naprosto nagada sto bi moga upotrijebiti
Jeli postoji ikakva taktika kako doakzati zadatke tipa ovoga; ili se naprosto nagada sto bi moga upotrijebiti


[Vrh]
Atomised
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 04. 09. 2007. (15:33:59)
Postovi: (399)16
Sarma = la pohva - posuda
70 = 95 - 25
Lokacija: Exotica
PostPostano: 15:47 pet, 5. 2. 2010    Naslov: Citirajte i odgovorite
[quote="Anonymous"]Jeli postoji ikakva taktika kako doakzati zadatke tipa ovoga; ili se naprosto nagada sto bi moga upotrijebiti[/quote]

PD se dosta da uvježbati, stvari nekako idu prirodnim tokom. :D
U RS su dokazi manje intuitivni i nitko (uključujući profesora) baš ni ne očekuje da se njima previše maltretiraš. :D
Anonymous (napisa):
Jeli postoji ikakva taktika kako doakzati zadatke tipa ovoga; ili se naprosto nagada sto bi moga upotrijebiti


PD se dosta da uvježbati, stvari nekako idu prirodnim tokom. Very Happy
U RS su dokazi manje intuitivni i nitko (uključujući profesora) baš ni ne očekuje da se njima previše maltretiraš. Very Happy


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Prethodni postovi:   
Započnite novu temu   Odgovorite na temu   printer-friendly view    Forum@DeGiorgi: Početna -> Kolegiji siročići (oni koji nemaju svoj podforum) -> Matematički kolegiji Vremenska zona: GMT + 01:00.
Stranica 1 / 1.

 
Forum(o)Bir:  
Ne možete otvarati nove teme.
Možete odgovarati na postove.
Ne možete uređivati Vaše postove.
Ne možete izbrisati Vaše postove.
Ne možete glasovati u anketama.
You cannot attach files in this forum
You can download files in this forum


Powered by phpBB © 2001, 2002 phpBB Group
Theme created by Vjacheslav Trushkin
HR (Cro) by Ančica Sečan