[ ZaMpA @ 01.04.2006. 15:35 ] @
| Ovo bi trebalo da zna svako ko je polozio matemeticku logiku..(ja nisam josh pa zato i pitam) Dakle 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) |