Tvrdjenje ErbranaDakle siguran sam da znate shta je Erbranov Univerzum (HU) Erbranov Atom (HA) i Erbranov Sistem (HS).
ono shto meni predstavlja problem je dokaz sledeceg tvrdjenja:
Neka je F skup predikatskih klauza. Sledeci uslovi su ekvivalentni:
1. F ima model
2. F ima model sa domenom HU
3. HS posmatran kao skup iskaznih formula ima model ako se kao iskazna slova posmatraju elementi iz HA
treba dokazati 1=>3, 3=>2.
chitam to i chitam ali ne shvatam.....
ako neko zna da objasni ovo na shvatljiviji nacin nego sto je u knjigama, nek navali....
takodje ako na netu ima objashnjeno, recite gde. (gledao sam na wikipedii i na mathworld.wolfram.com)
'rani bota pa šalji na forum
