Mat. Logika (glavni test) (zadatak)

[Mupsa]

Moze mi neko objasnit kako se odredjuju funkcije na granama kad ne dodje do
kontradikcije?

Nosac M sam shvatio, ali evo konkretno na ova 2 primjera iz knjige kako
procitati strukturu za koju tvrdnja nije istinita?
Primjer1
Primjer2

Hvala!

[Smith]

Cini mi se da prvi primjer ne stima.

Pretpostavili smo da postoji struktura na kojoj je formula istinita i dobili da to zbilja moze biti. Ono sto smo dokazali jest da je formula ispunjiva, tj. istinita na nekoj strukturi (M,fi). Pogledamo lijevu granu (cijelu, zajedno s gornjim dijelom). Nosac je M={a,b,c} (tocnije, {a,b,c} mora biti njegov podskup, ali najlakse je uzeti upravo to). Vidimo da interpretacija fi mora zadovoljavati sljedece:

• (a,b)@fi(P)
  
• a!@fi(Q)
  
• (c,a)!@fi(P)
  
• (c,b)!@fi(P)
  
• (c,c)!@fi(P)
  

Van tih zahtjeva nije bitno kako interpretiras ostalo (pokusaj za zabavu izracunati na koliko struktura je formula istinita ).

No, drugi se cini dobar (kao i u prvom, nisam provjeravao korake, samo zakljucak u smislu "jedna grana ziva"→"to je to"). Slicno kao gore - pretpostavili smo da je formula lazna na nekoj strukturi i dobili da zbilja moze biti. Dakle, oboriva je. Jasno je kako dobiti nosac, samo jos gledas koji su uvjeti na interpretaciju i ostalo interpretiras po zelji (relacije u potpunosti definiraj, mora biti jasno sto jest u relaciji, a sto ne - zgodno je napisati tablicu ili nesto).

_________________
We only have one candle
To burn down to the handle...
- Sonata Arctica, Weballergy

[Gost]

jel zna neko kako dokazati da je svaki aksiom sistema rp valjana formula i da ponens cuva istinitost?

[Gost]

jel ima tko riješene sve zadatke iz vukovićeve skripte??u utorak imam kolokvij a neke zadatke ne znam riješiti a nema rješenja a ti najčešće budu.pa ako netko ima i može mi skenirati i poslati na mail bila bi beskrajno zahvalna .mail je perfectgirl24@net.hr
studentica iz Osijeka s Odjela za matematiku