Forum@DeGiorgi :: Pogledajte temu - zadatak iz matematicke logike

zadatak iz matematicke logike

through

FAQ

[^/[Print]\]

Forum@DeGiorgi -> Matematički kolegiji

#1: zadatak iz matematicke logike Autor/ica: ana1986,

Postano: 23:40 ned, 22. 11. 2009
—
treba mi pomoc!! kako rj ovaj zd?
F= -(-QvP)^(Pv -R)^(Q->R)
hvala Smile

#2: Autor/ica: ana1986,

Postano: 18:16 pon, 23. 11. 2009
—
triba dokazat da je formula valjana...

#3: Autor/ica: Swerz,

Postano: 19:03 pon, 23. 11. 2009
—
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

#4: Autor/ica: mhaberl,

Postano: 19:28 pon, 23. 11. 2009
—

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

#5: Autor/ica: Gost,

Postano: 1:04 pet, 5. 2. 2010
—
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)?

#6: Autor/ica: Jaja, Lokacija: Zagreb

Postano: 1:49 pet, 5. 2. 2010
—
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

#7: Autor/ica: Gost,

Postano: 15:35 pet, 5. 2. 2010
—
Jeli postoji ikakva taktika kako doakzati zadatke tipa ovoga; ili se naprosto nagada sto bi moga upotrijebiti

#8: Autor/ica: Atomised, Lokacija: Exotica

Postano: 15:47 pet, 5. 2. 2010
—

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

Forum@DeGiorgi -> Matematički kolegiji

output generated using printer-friendly topic mod. Vremenska zona: GMT + 01:00.

Stranica 1 / 1.