izmenjeno 1 put, poslednji put kavens 23.01.2010. u 20:34
Izmene poruke
- kavens23.01.2010. u 20:34zapis iz teksta poruke
Pozdrav svima,
Treba mi mala pomoc(ne treba komplet uradjen zadatak,mada ako neko zna i moze sto da ne :) ) oko algebre/logike, tacnije oko 2 zadatka(1 iz funkcija a drugi iz predikatskog racuna):
1. Ako su A i B bijekcije,dokazati da su i AxBxA i BxAxB isto bijekcije. *znam da treba da dokazemo da su injekcija i sirjekcija,ali ne znam da li treba prvo da definisemo
pa da dokazujemo da je to "1-1" i "na" *
2.Neka su
relacijski binarni operator.I neka je data formula 
,odrediti model i valuaciju za datu formulu. *Nepoznanica mi je ovde to sto se ne pojavljuju kvantifikatori,u galvnom sam navikao na formule sa njima...Odredim za model da je D celi brojevi(mozda i racionalni) i za operator uzmem npr. mnozenje , sad mi se javlja drugi problem jeste valuacija jer ne znam/ne shvatam kako da je odredim...bar tako mislim*
Treba mi mala pomoc(ne treba komplet uradjen zadatak,mada ako neko zna i moze sto da ne :) ) oko algebre/logike, tacnije oko 2 zadatka(1 iz funkcija a drugi iz predikatskog racuna):
1. Ako su A i B bijekcije,dokazati da su i AxBxA i BxAxB isto bijekcije. *znam da treba da dokazemo da su injekcija i sirjekcija,ali ne znam da li treba prvo da definisemo
pa da dokazujemo da je to "1-1" i "na" *2.Neka su
relacijski binarni operator.I neka je data formula ,odrediti model i valuaciju za datu formulu. *Nepoznanica mi je ovde to sto se ne pojavljuju kvantifikatori,u galvnom sam navikao na formule sa njima...Odredim za model da je D celi brojevi(mozda i racionalni) i za operator uzmem npr. mnozenje , sad mi se javlja drugi problem jeste valuacija jer ne znam/ne shvatam kako da je odredim...bar tako mislim*