Logika (Funkcije i Predikatski racun) ?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*[Ovu poruku je menjao kavens dana 23.01.2010. u 20:34 GMT+1]
